Search results for "Natasha Sharygina"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	An abstraction refinement approach combining precise and approximated techniques.	STTT	2012	DBLP DOI BibTeX RDF
1	Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina	Lazy Abstraction with Interpolants for Arrays.	LPAR	2012	DBLP DOI BibTeX RDF
1	Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi	A model checking-based approach for security policy verification of mobile systems.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening	Loop Summarization and Termination Analysis.	TACAS	2011	DBLP DOI BibTeX RDF
1	Roberto Bruttomesso, Edgar Pek, Natasha Sharygina	A flexible schema for generating explanations in lazy theory propagation.	MEMOCODE	2010	DBLP DOI BibTeX RDF
1	Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich	The OpenSMT Solver.	TACAS	2010	DBLP DOI BibTeX RDF
1	Roderick Bloem, Natasha Sharygina (eds.)	Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23	FMCAD	2010	DBLP BibTeX RDF
1	Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger	Termination Analysis with Compositional Transition Invariants.	CAV	2010	DBLP DOI BibTeX RDF
1	Simone Rollini, Roberto Bruttomesso, Natasha Sharygina	An Efficient and Flexible Approach to Resolution Proof Reduction.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich	Flexible interpolation with local proof transformations.	ICCAD	2010	DBLP DOI BibTeX RDF
1	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger	Loopfrog: A Static Analyzer for ANSI-C Programs.	ASE	2009	DBLP DOI BibTeX RDF
1	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	The synergy of precise and fast abstractions for program verification.	SAC	2009	DBLP DOI BibTeX RDF	CEGAR, predicate abstraction, abstraction refinement
1	Roberto Bruttomesso, Natasha Sharygina	A scalable decision procedure for fixed-width bit-vectors.	ICCAD	2009	DBLP BibTeX RDF
1	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	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	Nicolas Blanc, Daniel Kroening, Natasha Sharygina	Scoot: A Tool for the Analysis of SystemC Models.	TACAS	2008	DBLP DOI BibTeX RDF
1	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger	Loop Summarization Using Abstract Transformers.	ATVA	2008	DBLP DOI BibTeX RDF
1	Byron Cook, Daniel Kroening, Natasha Sharygina	Verification of Boolean programs with unbounded thread creation.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	VCEGAR: Verilog CounterExample Guided Abstraction Refinement.	TACAS	2007	DBLP DOI BibTeX RDF
1	Natasha Sharygina, Daniel Kröning	Model Checking with Abstraction for Web Services.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
1	Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi	Automated Verification of Security Policies in Mobile Code.	IFM	2007	DBLP DOI BibTeX RDF
1	Daniel Kroening, Natasha Sharygina	Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.	DATE	2007	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou	Specification and verification of component-based systems 2007.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	verification, object-oriented, specification, component-based systems
1	Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina	Specification and verification of component-based systems 2007.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	verification, object-oriented, specification, component-based systems
1	Daniel Kroening, Natasha Sharygina	Approximating Predicate Images for Bit-Vector Logic.	TACAS	2006	DBLP DOI BibTeX RDF
1	Byron Cook, Daniel Kroening, Natasha Sharygina	Over-Approximating Boolean Programs with Unbounded Thread Creation.	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	Daniel Kroening, Natasha Sharygina	Formal verification of SystemC by automatic hardware/software partitioning.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav	SATABS: SAT-Based Predicate Abstraction for ANSI-C.	TACAS	2005	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Natasha Sharygina, Nishant Sinha	Program Compatibility Approaches.	FMCO	2005	DBLP DOI BibTeX RDF
1	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word level predicate abstraction and refinement for verifying RTL verilog.	DAC	2005	DBLP DOI BibTeX RDF	SAT, predicate abstraction, verilog
1	Byron Cook, Daniel Kroening, Natasha Sharygina	Symbolic Model Checking for Asynchronous Boolean Programs.	SPIN	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	Byron Cook, Daniel Kroening, Natasha Sharygina	Cogent: Accurate Theorem Proving for Program Verification.	CAV	2005	DBLP DOI BibTeX RDF
1	Natasha Sharygina	Guest Editorial.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav	Predicate Abstraction of ANSI-C Programs Using SAT.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	ANSI-C, SAT, predicate abstraction
1	Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin	Lessons Learned from Model Checking a NASA Robot Controller.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	component-oriented software development, executable design specifications, abstraction, software verification, compositional reasoning
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	Byron Cook, Daniel Kroening, Natasha Sharygina	Accurate Theorem Proving for Program Verification.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Natasha Sharygina, James C. Browne	Model Checking Software via Abstraction of Loop Transitions.	FASE	2003	DBLP DOI BibTeX RDF
1	Natasha Sharygina, James C. Browne, Robert P. Kurshan	A Formal Object-Oriented Analysis for Software Reliability: Design for Verification.	FASE	2001	DBLP DOI BibTeX RDF
1	Natasha Sharygina, Doron Peled	A Combined Testing and Verification Approach for Software Reliability.	FME	2001	DBLP DOI BibTeX RDF

Publications of "Natasha Sharygina" ( http://dblp.L3S.de/Authors/Natasha_Sharygina )