Search results for "directed model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Stefan Edelkamp, Stefan Leue, Willem Visser	06172 Abstracts Collection -- Directed Model Checking.	Directed Model Checking	2006	DBLP BibTeX RDF
3	Stefan Edelkamp, Stefan Leue, Willem Visser	06172 Executive Summary -- Directed Model Checking.	Directed Model Checking	2006	DBLP BibTeX RDF
2	Klaus Dräger, Bernd Finkbeiner, Andreas Podelski	Directed model checking with distance-preserving abstractions.	STTT	2009	DBLP DOI BibTeX RDF
2	Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski	Transition-Based Directed Model Checking.	TACAS	2009	DBLP DOI BibTeX RDF
2	Martin Wehrle, Malte Helmert	The Causal Graph Revisited for Directed Model Checking.	SAS	2009	DBLP DOI BibTeX RDF
2	Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen	Fast Directed Model Checking Via Russian Doll Abstraction.	TACAS	2008	DBLP DOI BibTeX RDF
2	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar	Survey on Directed Model Checking.	MoChArt	2008	DBLP DOI BibTeX RDF
2	Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann	Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF
2	Stefan Edelkamp, Stefan Leue, Willem Visser (eds.)	Directed Model Checking, 26.04. - 29.04.2006	Directed Model Checking	2007	DBLP BibTeX RDF
2	Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann	Adapting an AI Planning Heuristic for Directed Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
2	Stefan Edelkamp, Shahid Jabbar	Large-Scale Directed Model Checking LTL.	SPIN	2006	DBLP DOI BibTeX RDF
2	Klaus Dräger, Bernd Finkbeiner, Andreas Podelski	Directed Model Checking with Distance-Preserving Abstractions.	SPIN	2006	DBLP DOI BibTeX RDF
2	Shahid Jabbar, Stefan Edelkamp	Parallel External Directed Model Checking with Linear I/O.	VMCAI	2006	DBLP DOI BibTeX RDF
2	Chandrasekhar Boyapati, Paul T. Darga	Efficient Software Model Checking of Data Structure Properties.	Directed Model Checking	2006	DBLP BibTeX RDF
2	Shahid Jabbar, Stefan Edelkamp	I/O Efficient Directed Model Checking.	VMCAI	2005	DBLP DOI BibTeX RDF
2	Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue	Partial Order Reduction in Directed Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
1	Martin Wehrle, Sebastian Kupferschmid	Context-Enhanced Directed Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
1	Michael Leuschel, Jens Bendisposto	Directed Model Checking for B: An Evaluation and New Techniques.	SBMF	2010	DBLP DOI BibTeX RDF
1	Sebastian Kupferschmid	Directed model checking for timed automata.		2009	RDF
1	Antti Valmari	Software model checking is a rich research field.	STTT	2009	DBLP DOI BibTeX RDF	Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods
1	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction for general state exploring algorithms.	STTT	2009	DBLP DOI BibTeX RDF
1	Michael C. Martin, Monica S. Lam	Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking.	USENIX Security Symposium	2008	DBLP BibTeX RDF
1	Jan-Georg Smaus, Jörg Hoffmann	Relaxation Refinement: A New Method to Generate Heuristic Functions.	MoChArt	2008	DBLP DOI BibTeX RDF	Directed model checking, timed automata, predicate abstraction, abstraction refinement
1	Sujatha Kashyap, Vijay K. Garg	Producing Short Counterexamples Using "Crucial Events".	CAV	2008	DBLP DOI BibTeX RDF
1	Sara Gradara, Antonella Santone, Maria Luisa Villani	Formal Verification of Concurrent Systems via Directed Model Checking.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Hardness for Explicit State Software Model Checking Benchmarks.	SEFM	2007	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Generating Counter-Examples Through Randomized Guided Search.	SPIN	2007	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Shahid Jabbar	Action Planning for Directed Model Checking of Petri Nets.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Anton Wijs, Bert Lisser	Distributed Extended Beam Search for Quantitative Model Checking.	MoChArt	2006	DBLP DOI BibTeX RDF	directed model checking, distributed model checking, scheduling, beam search
1	Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski	Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction and trail improvement in directed model checking.	STTT	2004	DBLP DOI BibTeX RDF	Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction
1	Karen Yorav, Orna Grumberg	Syntax-directed model checking of sequential programs.	J. Log. Algebr. Program.	2002	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Trail-directed model checking.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	D. G. McVitie, L. B. Wilson	The Stable Marriage Problem.	Commun. ACM	1971	DBLP DOI BibTeX RDF