Search results for "Nishant Sinha"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Nishant Sinha, Chao Wang	On interference abstractions.	POPL	2011	DBLP DOI BibTeX RDF
1	Nishant Sinha	Modular bug detection with inertial refinement.	FMCAD	2010	DBLP 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	Rajeeb Dey, Nishant Sinha, Priyanka Chaubey, Sandip Ghosh, Goshaidas Ray	Active sway control of a single pendulum gantry crane system using output-delayed feedback control technique.	ICARCV	2010	DBLP DOI BibTeX RDF
1	Nishant Sinha, Chao Wang	Staged concurrent program analysis.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang	Static data race detection for concurrent programs with asynchronous calls.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	asynchronous programs, static data race detection, bootstrapping, pointer analysis
1	Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha	Verification of evolving software via component substitutability analysis.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Automata learning, Software engineering, Model checking, Predicate abstraction, Compositional verification, Assume-guarantee reasoning
1	Nishant Sinha	Symbolic Program Analysis Using Term Rewriting and Generalization.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Nishant Sinha, Edmund M. Clarke	SAT-Based Compositional Verification Using Lazy Learning.	CAV	2007	DBLP DOI BibTeX RDF
1	Sagar Chaki, Nishant Sinha	Assume-Guarantee Reasoning for Deadlock.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Aarti Gupta, Nishant Sinha	Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.	CAV	2006	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha	Concurrent software verification with states, events, and deadlocks.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
1	Edmund M. Clarke, Natasha Sharygina, Nishant Sinha	Program Compatibility Approaches.	FMCO	2005	DBLP DOI BibTeX RDF
1	Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha	Dynamic Component Substitutability Analysis.	FM	2005	DBLP DOI BibTeX RDF	Verification of Evolving Software, Learning Regular Sets, Assume/Guarantee Reasoning, Software Model Checking
1	Edmund M. Clarke, Himanshu Jain, Nishant Sinha	Grand Challenge: Model Check Software.	VISSAS	2005	DBLP BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati	Automated Assume-Guarantee Reasoning for Simulation Conformance.	CAV	2005	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha	State/Event-Based Software Model Checking.	IFM	2004	DBLP DOI BibTeX RDF
1	Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli	Range Allocation for Separation Logic.	CAV	2004	DBLP DOI BibTeX RDF
1	Flavio Lerda, Nishant Sinha, Michael Theobald	Symbolic Model Checking of Software.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Debasis Samanta, Nishant Sinha, Ajit Pal	Synthesis of High Performance Low Power Dynamic CMOS Circuits.	VLSI Design	2002	DBLP DOI BibTeX RDF

Publications of "Nishant Sinha" ( http://dblp.L3S.de/Authors/Nishant_Sinha )