Search results for "Partial-order methods"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Patrice Godefroid, Doron Peled, Mark G. Staskauskas	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Formal methods, validation, concurrent programs, reachability analysis, automatic verification, partial-order methods
2	Patrice Godefroid, Doron Peled, Mark G. Staskauskas	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns	Partial Order Methods for Statistical Model Checking and Simulation.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
1	Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous	Application of partial-order methods for the verification of closed-loop SDL systems.	SAC	2011	DBLP DOI BibTeX 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	Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman	Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.	FMSB	2008	DBLP DOI BibTeX RDF
1	Lee Naish	Resource-Oriented Deadlock Analysis.	ICLP	2007	DBLP DOI BibTeX RDF	deadlock analysis, committed choice nondeterminism, floundering, Concurrency, partial order, dining philosophers, coroutining
1	Frédéric Herbreteau, Grégoire Sutre, The Quang Tran	Unfolding Concurrent Well-Structured Transition Systems.	TACAS	2007	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Ernie Cohen	Optimistic synchronization-based state-space reduction.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Omega algebra, Model checking, Reduction, Partial-order methods
1	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier	Timed Unfoldings for Networks of Timed Automata.	ATVA	2006	DBLP DOI BibTeX RDF
1	Peter Niebert, Hongyang Qu	The Implementation of Mazurkiewicz Traces in POEM.	ATVA	2006	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén	SAT-Solving the Coverability Problem for Petri Nets.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	Petri nets, unfoldings, coverability, infinite state systems, partial-order methods
1	Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon	Modeling and Testing Agent Systems Based on Statecharts.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
1	Kimmo Varpaaniemi	Stubborn Sets for Priority Nets.	ISCIS	2004	DBLP DOI BibTeX RDF
1	Neeraj Mittal, Vijay K. Garg	Software Fault Tolerance of Distributed Programs Using Computation Slicing.	ICDCS	2003	DBLP DOI BibTeX RDF	pruning search-space, software-fault tolerance, testing and debugging, predicate detection, partial-order methods
1	Elsa L. Gunter, Anca Muscholl, Doron Peled	Compositional message sequence charts.	STTT	2003	DBLP DOI BibTeX RDF	Finite-state communication protocols, Message sequence charts, Partial-order methods
1	Scott D. Stoller	Model-checking multi-threaded distributed Java programs.	STTT	2002	DBLP DOI BibTeX RDF	Java, Model checking, Reduction, Locks, Partial-order methods
1	Frédéric Herbreteau, Franck Cassez, Olivier Roux	Application of Partial-Order Methods to Reactive Programs with Event Memorization.	Real-Time Systems	2001	DBLP DOI BibTeX RDF
1	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
1	Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu	Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods.	CAV	2000	DBLP DOI BibTeX RDF
1	Ulrich Ultes-Nitsche	A Persistent-Set Approach to Abstract Stat-Space Construction in Verification.	SOFSEM	1999	DBLP DOI BibTeX RDF
1	Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin	Efficient Verification using Generalized Partial Order Analysis.	DATE	1998	DBLP DOI BibTeX RDF	High-level Design Validation, Formal Verification, Functional Verification
1	François Vernadat, François Michel	Covering Step Graph Preserving Failure Semantics.	ICATPN	1997	DBLP DOI BibTeX RDF	partial-order, concurrent systems, state space exploration, verification methods, failure semantics
1	Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Partial-Order Reduction in Symbolic State Space Exploration.	CAV	1997	DBLP DOI BibTeX RDF
1	Patrice Godefroid	Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem		1996	DOI RDF
1	Bernard Willems, Pierre Wolper	Partial-Order Methods for Model Checking: From Linear Time to Branching Time.	LICS	1996	DBLP DOI BibTeX RDF
1	Kim Sunesen, Mogens Nielsen	Behavioural Equivalence for Infinite Systems - Partially Decidable!	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Behavioural Equivalence, Petri Nets, Decidability, Process Calculi, Partial Order Methods
1	Kunihiko Hiraishi	Reducted State Space Representation for Unbounded Vector State Spaces.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
1	François Vernadat, Pierre Azéma, François Michel	Covering Step Graph.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	partial-order, concurrent systems, state space exploration, verification methods
1	Pierre Wolper, Patrice Godefroid	Partial-Order Methods for Temporal Verification.	CONCUR	1993	DBLP DOI BibTeX RDF
1	David K. Probst, Hon Fung Li	Verifying Timed Behavior Automata with Nonbinary Delay Constraints.	CAV	1992	DBLP DOI BibTeX RDF
1	David K. Probst, Hon Fung Li	Partial-Order Model Checking: A Guide for the Perplexed.	CAV	1991	DBLP DOI BibTeX RDF	delay-insensitive system, partial-order representation, recurrence structure, model checking, state explosion, state encoding