Search results for "Sriram Sankaranarayanan"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sriram Sankaranarayanan	Change-Of-Bases Abstractions for Non-Linear Systems	CoRR	2012	DBLP BibTeX RDF
1	Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang	A Bit Too Precise? Bounded Verification of Quantized Digital Filters.	TACAS	2012	DBLP DOI BibTeX RDF
1	Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma	Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.	CC	2012	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Georgios E. Fainekos	Falsification of temporal properties of hybrid systems using the cross-entropy method.	HSCC	2012	DBLP DOI BibTeX RDF
1	Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan	Symbolic modular deadlock analysis.	Autom. Softw. Eng.	2011	DBLP DOI BibTeX RDF
1	Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos	Combining Time and Frequency Domain Specifications for Periodic Signals.	RV	2011	DBLP DOI BibTeX RDF
1	Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos, Sriram Sankaranarayanan	S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems.	TACAS	2011	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki	DC2: A framework for scalable, scope-bounded software verification.	ASE	2011	DBLP DOI BibTeX RDF
1	Huxley Bennett, Sriram Sankaranarayanan	Model Counting Using the Inclusion-Exclusion Principle.	SAT	2011	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Hadjar Homaei, Clayton Lewis	Model-Based Dependability Analysis of Programmable Drug Infusion Pumps.	FORMATS	2011	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Ashish Tiwari	Relational Abstractions for Continuous and Hybrid Systems.	CAV	2011	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan	Automatic abstraction of non-linear systems using change of bases transformations.	HSCC	2011	DBLP DOI BibTeX RDF
1	Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan	The Flow-Insensitive Precision of Andersen's Analysis in Practice.	SAS	2011	DBLP DOI BibTeX RDF
1	Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan	Access Nets: Modeling Access to Physical Spaces.	VMCAI	2011	DBLP DOI BibTeX RDF
1	Michael Colón, Sriram Sankaranarayanan	Generalizing the Template Polyhedral Domain.	ESOP	2011	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta	Numerical stability analysis of floating-point computations using software model checking.	MEMOCODE	2010	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang	Scalable and precise program analysis at NEC.	FMCAD	2010	DBLP BibTeX RDF
1	Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke	Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.	FMCAD	2010	DBLP BibTeX RDF
1	William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Program analysis via satisfiability modulo path programs.	POPL	2010	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
1	Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	testing, robustness, hybrid systems, metric temporal logic
1	Sriram Sankaranarayanan	Automatic invariant generation for hybrid systems using ideal fixed points.	HSCC	2010	DBLP DOI BibTeX RDF	verification, hybrid systems, invariants, conservation laws, algebraic geometry
1	Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang	Foreword: Special issue on numerical software verification.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
1	Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta	Semantic Reduction of Thread Interleavings in Concurrent Programs.	TACAS	2009	DBLP DOI BibTeX RDF
1	Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan	Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.	ASE	2009	DBLP DOI BibTeX RDF	Concurrent Libraries, Static Analysis, Program Analysis, Deadlock Detection, SMT solvers
1	Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov	Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities.	CSF	2009	DBLP DOI BibTeX RDF	network security, static analysis, Denial-of-service
1	Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Robustness of Model-Based Simulations.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.	CAV	2009	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna	Constructing invariants for hybrid systems.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Grobner bases, Verification, Analysis, Hybrid systems, Invariants, Polynomials, Algebraic geometry, Groebner bases
1	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic	Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.	TACAS	2008	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta	Dynamic inference of likely data preconditions over predicates by tree learning.	ISSTA	2008	DBLP DOI BibTeX RDF	machine learning, verification, decision trees, sat, software specification
1	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic	A Policy Iteration Technique for Time Elapse over Template Polyhedra.	HSCC	2008	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta	SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.	SAS	2008	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Mining library specifications using inductive logic programming.	ICSE	2008	DBLP DOI BibTeX RDF	machine learning., verification, datalog, inductive logic programming, software specification
1	Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Program Analysis Using Symbolic Ranges.	SAS	2007	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic	State space exploration using feedback constraint generation and Monte-Carlo sampling.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	model-checking, verification, monte-carlo, statistical sampling
1	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna	Fixed Point Iteration for Computing the Time Elapse Operator.	HSCC	2006	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta	Static Analysis in Disjunctive Numerical Domains.	SAS	2006	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna	Efficient Strongly Relational Polyhedral Analysis.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma	Collecting Statistics Over Runtime Executions.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	program profiling, temporal logic, specification languages, runtime verification, runtime monitoring
1	Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna	LOLA: Runtime Monitoring of Synchronous Systems.	TIME	2005	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna	Scalable Analysis of Linear Systems Using Mathematical Programming.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Henny Sipma, Zohar Manna	Non-linear loop invariant generation using Gröbner bases.	POPL	2004	DBLP DOI BibTeX RDF	Gröbner bases, verification, program analysis, constraint programming, symbolic computation, ideals, invariant generation
1	Sriram Sankaranarayanan, Henny Sipma, Zohar Manna	Constructing Invariants for Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna	Constraint-Based Linear-Relations Analysis.	SAS	2004	DBLP DOI BibTeX RDF
1	César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna	Event Correlation: Language and Semantics.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Henny Sipma, Zohar Manna	Petri Net Analysis Using Invariant Generation.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
1	Michael Colón, Sriram Sankaranarayanan, Henny Sipma	Linear Invariant Generation Using Non-linear Constraint Solving.	CAV	2003	DBLP DOI BibTeX RDF
1	Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma	Collecting Statistics over Runtime Executions.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan	Min-max Computation Tree Logic.	Artif. Intell.	2001	DBLP DOI BibTeX RDF

Publications of "Sriram Sankaranarayanan" ( http://dblp.L3S.de/Authors/Sriram_Sankaranarayanan )