Search results for "Sagar Chaki"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan	Parametric Verification of Address Space Separation.	POST	2012	DBLP DOI BibTeX RDF
1	Sagar Chaki, Arie Gurfinkel, Ofer Strichman	Regression Verification for Multi-threaded Programs.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Sagar Chaki, Arie Gurfinkel	Automated assume-guarantee reasoning for omega-regular systems and specifications.	ISSE	2011	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Sagar Chaki, Samir Sapra	Efficient Predicate Abstraction of Program Summaries.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Sagar Chaki, Cory Cohen, Arie Gurfinkel	Supervised learning for provenance-similarity of binaries.	KDD	2011	DBLP DOI BibTeX RDF
1	Sagar Chaki, James Ivers	Software model checking without source code.	ISSE	2010	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Sagar Chaki	Combining predicate and numeric abstraction for software model checking.	STTT	2010	DBLP DOI BibTeX RDF
1	Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri	Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	small model theorem, SecVisor, security, model checking, hypervisor, reference monitor, parametric verification
1	Arie Gurfinkel, Sagar Chaki	Boxes: A Symbolic Abstract Domain of Boxes.	SAS	2010	DBLP DOI BibTeX RDF
1	Ipek Ozkaya, J. Andrés Díaz Pace, Arie Gurfinkel, Sagar Chaki	Using Architecturally Significant Requirements for Guiding System Evolution.	CSMR	2010	DBLP DOI BibTeX RDF
1	Sagar Chaki, Arie Gurfinkel, Ofer Strichman	Decision diagrams for linear arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Sagar Chaki, Anupam Datta	ASPIER: An Automated Framework for Verifying Security Protocol Implementations.	CSF	2009	DBLP DOI BibTeX RDF	model checking, verification, security protocol, abstraction refinement
1	William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps	Verifying Information Flow Control over Unbounded Processes.	FM	2009	DBLP DOI BibTeX RDF
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	Sagar Chaki, Ofer Strichman	Three optimizations for Assume-Guarantee reasoning with L*.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Learning, Software verification, Compositionality, Assume-Guarantee
1	Arie Gurfinkel, Sagar Chaki	Combining Predicate and Numeric Abstraction for Software Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Sagar Chaki, Christian Schallhart, Helmut Veith	Verification Across Intellectual Property Boundaries	CoRR	2007	DBLP BibTeX RDF
1	Sagar Chaki, Ofer Strichman	Optimized L*-Based Assume-Guarantee Reasoning.	TACAS	2007	DBLP DOI BibTeX RDF
1	Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger	Model-Driven Construction of Certified Binaries.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Sagar Chaki, Christian Schallhart, Helmut Veith	Verification Across Intellectual Property Boundaries.	CAV	2007	DBLP DOI BibTeX RDF
1	Murray Stokely, Sagar Chaki, Joël Ouaknine	Parallel Assignments in Software Model Checking.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman	Error explanation with distance metrics.	STTT	2006	DBLP DOI BibTeX RDF	Error explanation, Model checking, Fault localization, Automated debugging
1	Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili	Verifying Concurrent Message-Passing C Programs with Recursive Calls.	TACAS	2006	DBLP DOI BibTeX RDF
1	Sagar Chaki	SAT-Based Software Certification.	TACAS	2006	DBLP DOI BibTeX RDF
1	Sagar Chaki, Nishant Sinha	Assume-Guarantee Reasoning for Deadlock.	FMCAD	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	Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith	An Iterative Framework for Simulation Conformance.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith	State/Event Software Verification for Branching-Time Specifications.	IFM	2005	DBLP DOI BibTeX RDF	Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement
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	Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau	The ComFoRT Reasoning Framework.	CAV	2005	DBLP DOI 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, Alex Groce, Somesh Jha, Helmut Veith	Modular Verification of Software Components in C.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav	Efficient Verification of Sequential and Concurrent C Programs.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
1	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina	Automated, compositional and iterative deadlock detection.	MEMOCODE	2004	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	Sagar Chaki, Alex Groce, Ofer Strichman	Explaining abstract counterexamples.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	model checking, fault localization, predicate abstraction
1	Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke	Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman	Predicate Abstraction with Minimum Predicates.	CHARME	2003	DBLP DOI BibTeX RDF
1	Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith	Integrating Publish/Subscribe into a Mobile Teamwork Support Platform.	SEKE	2003	DBLP BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith	Modular Verification of Software Components in C. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
1	Sagar Chaki, Sriram K. Rajamani, Jakob Rehof	Types as models: model checking message-passing programs.	POPL	2002	DBLP DOI BibTeX RDF
1	Thomas Ball, Sagar Chaki, Sriram K. Rajamani	Parameterized Verification of Multithreaded Software Libraries.	TACAS	2001	DBLP DOI BibTeX RDF
1	Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith	Efficient Filtering in Publish-Subscribe Systems Using Binary Decision.	ICSE	2001	DBLP DOI BibTeX RDF

Publications of "Sagar Chaki" ( http://dblp.L3S.de/Authors/Sagar_Chaki )