Search results for "state-explosion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Sachoun Park, Gihwon Kwon	Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.	ICCSA (5)	2006	DBLP DOI BibTeX RDF	Model checking, Dependency analysis, Model reduction, State explosion problem
57	David K. Probst, Hon Fung Li	Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.	CAV	1990	DBLP DOI BibTeX RDF	delay-insensitive system, branching point, recurrence structure, behavior machine, behavior state, model checking, state explosion, partial-order semantics
50	Edmund M. Clarke	My 27-year Quest to Overcome the State Explosion Problem.	LICS	2009	DBLP DOI BibTeX RDF
50	Edmund M. Clarke	Model Checking - My 27-Year Quest to Overcome the State Explosion Problem.	LPAR	2008	DBLP DOI BibTeX RDF
50	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
46	Lars Michael Kristensen, Karsten Schmidt 0004, Antti Valmari	Question-guided stubborn set methods for state properties.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Stubborn set methods, Petri nets, Partial-order reduction, State space methods, State explosion problem
45	Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch	Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Sweep-line, Coloured Petri Nets, State explosion, State space methods, DCCP
42	Pavel Parízek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
41	Fabrice Derepas, Paul Gastin, David Plainfossé	Avoiding State Explosion for Distributed Systems with Timestamps.	FME	2001	DBLP DOI BibTeX RDF
41	Gihwon Kwon	Applying Model Checking Techniques to Game Solving.	SERA	2003	DBLP DOI BibTeX RDF	game solving, Model checking, counterexample, state explosion problem
41	Rance Cleaveland	Pragmatics of Model Checking: An STTT Special Section.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Model checking, Temporal logic, State explosion, System verification
41	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model-checking, temporal logic, abstraction, symmetry, automata, state explosion
40	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
39	Antonella Santone	Heuristic Search + Local Model Checking in Selective mu-Calculus.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	local model checking, model checking, temporal logic, heuristic search, State explosion, AND/OR graph
38	Sridhar Alagar, Subbarayan Venkatesan	Techniques to Tackle State Explosion in Global Predicate Detection.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	global intervals, Distributed systems, lattice, space complexity, global states, global predicates
37	Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu 0004, Helmut Veith	Progress on the State Explosion Problem in Model Checking.	Informatics	2001	DBLP DOI BibTeX RDF
37	Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler	Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System.	CBSE	2006	DBLP DOI BibTeX RDF
33	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
33	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	Reduced Models for Efficient CCS Verification.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	model checking, CCS, state explosion problem
33	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou	Reduction Methods for Real-Time Systems Using Delay Time Petri Nets.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion
33	Ahmed Khoumsi	A new method for testing real time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time systems testing, test sequence executability, test sequence execution, real-time systems, constraints, automatic test pattern generation, program testing, timed automata, conformance testing, conformance testing, sequences, test case generation, automata theory, state explosion, test architecture, test sequence generation, continuous-time systems
33	Jian Chen, Richard H. Carver	Selecting and mapping test sequences from formal specifications of concurrent programs.	HASE	1996	DBLP DOI BibTeX RDF	test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem
33	Carl I. Birkinshaw, Peter R. Croll	Modelling the client-server behaviour of parallel real-time systems using Petri nets.	HICSS (2)	1995	DBLP DOI BibTeX RDF	client-server behaviour modelling, parallel real-time systems, communication behaviour, potential livelock, client-server behaviour graph, real-time systems, computational complexity, parallel programming, Petri nets, Petri nets, parallel machines, deadlock, client-server systems, hard real-time system, timeliness, communication structure, state explosion problem
32	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
30	François Laroussinie, Philippe Schnoebelen	The State Explosion Problem from Trace to Bisimulation Equivalence.	FoSSaCS	2000	DBLP DOI BibTeX RDF
30	Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose	Controlling State Explosion in Static Simulation by Selective Composition.	VLSI Design	1999	DBLP DOI BibTeX RDF
29	Santosh Biswas, Siddhartha Mukhopadhyay, Amit Patra	Optimization of the Theory of FDD of DES for Alleviation of the State Explosion Problem and Development of CAD Tools for On-line Testing of Digital VLSI Circuits.	IOLTS	2004	DBLP DOI BibTeX RDF
29	Stéphane Demri, François Laroussinie, Philippe Schnoebelen	A Parametric Analysis of the State Explosion Problem in Model Checking.	STACS	2002	DBLP DOI BibTeX RDF
28	Joel P. Self, Eric G. Mercer	On-the-Fly Dynamic Dead Variable Analysis.	SPIN	2007	DBLP DOI BibTeX RDF
26	Qingwei Wu, Michael S. Hsiao	State Variable Extraction and Partitioning to Reduce Problem Complexity for ATPG and Design Validation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
25	Anuja Arora, Madhavi Sinha	Avoiding state explosion problem of generated AJAX web application state machine using BDD.	IC3	2013	DBLP DOI BibTeX RDF
25	Yanlan Ding, Guiping Su	A Reduction method for Verification of Security Protocol through CPN.	ICNSC	2008	DBLP DOI BibTeX RDF
25	James C. Corbett	Evaluating Deadlock Detection Methods for Concurrent Software.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Concurrency analysis, inequality necessary conditions, empirical evaluation, symbolic model checking, state space reduction, Ada tasking
25	James C. Corbett	An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs.	ISSTA	1994	DBLP DOI BibTeX RDF	Ada
25	Sami Evangelista, Michael Westergaard, Lars Michael Kristensen	The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	explicit state model checking, hash compaction, delayed duplicate detection, state space reduction, state explosion problem
25	Zuohua Ding	Static Analysis of Concurrent Programs Using Ordinary Differential Equations.	ICTAC	2009	DBLP DOI BibTeX RDF	Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion
25	Jia Mei, Huaikou Miao, Pan Liu	A Novel Approach for On-the-Fly Test Cases Synthesis.	SNPD	2009	DBLP DOI BibTeX RDF	synchronous product, test cases synthesis, state-explosion, On-The-Fly
25	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Model-checking the preservation of temporal properties upon feature integration.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model checking, Feature, State-explosion problem, Property preservation
25	Hanifa Boucheneb, Hind Rakkay	A more efficient time Petri net state space abstraction preserving linear properties.	ACSD	2007	DBLP DOI BibTeX RDF	state class graph, partial order techniques, independent transitions, relevant execution path, Time Petri nets, state explosion problem
25	Twan Basten, Dragan Bosnacki, Marc Geilen	Cluster-Based Partial-Order Reduction.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
25	Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin	Watchdog Transformations for Property-Oriented Model-Checking.	FME	2003	DBLP DOI BibTeX RDF	Watchdog Transformation, Model-Checking, Compression, CSP, FDR, State Explosion Problem
25	Twan Basten, Dragan Bosnacki	Enhancing Partial-Order Reduction via Process Clustering.	ASE	2001	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
25	Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer	Automated systematic testing for constraint-based interactive services.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	constraint-based languages, model checking, verification, testing, state explosion, state-space reduction, interactive services
25	Xiaoqun Du, Scott A. Smolka, Rance Cleaveland	Local Model Checking and Protocol Analysis.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion
25	Henrik Reif Andersen, Jørn Lind-Nielsen	Partial Model Checking of Modal Equations: A Survey.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Modal ?-calculus, Model checking, Verification, State explosion
25	Jonathan S. Ostroff	Composition and Refinement of Discrte Real-Time Systems.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	timed logic, model-checking, temporal logic, refinement, abstraction, modules, state explosion
25	Hong Liu 0004, Raymond E. Miller	Reachability Problems for Cyclic Protocols.	ICCCN	1995	DBLP DOI BibTeX RDF	Fair Reachability Analysis, Verification, Communication Protocols, Reachability Analysis, State Explosion
24	Inhye Kang, Insup Lee 0001	An Efficient State Space Generation for Analysis of Real-Time Systems.	ISSTA	1996	DBLP DOI BibTeX RDF
24	Gihwon Kwon, Taehoon Lee	Solving Box-Pushing Games via Model Checking with Optimizations.	ATVA	2004	DBLP DOI BibTeX RDF
24	Shing-Chi Cheung, Jeff Kramer	Context Constraints for Compositional Reachability Analysis.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	compositional techniques, context constraints, distributed systems, concurrency, static analysis, validation, reachability analysis, labeled transition systems, state space reduction
23	Inhye Kang, Insup Lee 0001, Young-Si Kim	An Efficient State Space Generation for the Analysis of Real-Time Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	real-time systems analysis, state space minimization, Formal specification, timed automata, reachability analysis
21	Kais Klai, Denis Poitrenaud	MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.	Petri Nets	2008	DBLP DOI BibTeX RDF
21	Conrado Daws, Stavros Tripakis	Model Checking of Real-Time Reachability Properties Using Abstractions.	TACAS	1998	DBLP DOI BibTeX RDF
21	Teo Puig Walz, Sunil Kumar Reddy Mopuru, Georg Vogelbacher, Alexander Richter, Fabian Höflinger, Ivo Häring, Jörg Finger, Alexander Stolz	Markov Modelling for Autonomous Vehicle Safety Assessment: Numerical Modularization to Avoid System State-Explosion.	ITSC	2023	DBLP DOI BibTeX RDF
21	Daniel Aceituna, Hyunsook Do	Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements.	Requir. Eng.	2019	DBLP DOI BibTeX RDF
21	Tatsuya Abe 0001, Tomoharu Ugawa, Toshiyuki Maeda	Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models.	VSTTE	2017	DBLP DOI BibTeX RDF
21	Tatsuya Abe 0001, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto	Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.	CoRR	2016	DBLP BibTeX RDF
21	Tatsuya Abe 0001, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto	Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.	SETTA	2016	DBLP DOI BibTeX RDF
21	Latif Salum	Avoiding state explosion in a class of Petri nets.	Expert Syst. Appl.	2015	DBLP DOI BibTeX RDF
21	Alexander S. Kamkin	Projecting transition systems: Overcoming state explosion in concurrent system verification.	Program. Comput. Softw.	2015	DBLP DOI BibTeX RDF
21	Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol	Reducing State Explosion with Context Modeling for Model-Checking.	HASE	2011	DBLP DOI BibTeX RDF
21	Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani	Model Checking and the State Explosion Problem.	LASER Summer School	2011	DBLP DOI BibTeX RDF
21	Edmund M. Clarke	Model Checking - My 27-year Quest to Overcome the State Explosion Problem.	NASA Formal Methods	2009	DBLP BibTeX RDF
21	Yung-Pin Cheng, Chun-Yu Lee	ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way.	DMS	2008	DBLP BibTeX RDF
21	François Laroussinie, Jeremy Sproston	State explosion in almost-sure probabilistic reachability.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
21	Stéphane Demri, François Laroussinie, Philippe Schnoebelen	A parametric analysis of the state-explosion problem in model checking.	J. Comput. Syst. Sci.	2006	DBLP DOI BibTeX RDF
21	Richard Achmatowicz	Combating state explosion in the detection of dynamic properties of distributed computations.		2005	RDF
21	Martin Mach, Frantisek Plásil	Addressing State Explosion in Behavior Protocol Verification.	SNPD	2004	DBLP BibTeX RDF
21	Nicoletta De Francesco, Antonella Santone	A Formula-Driven Modular Attack on State Explosion.	Int. J. Found. Comput. Sci.	2002	DBLP DOI BibTeX RDF
21	Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian	Simulation-Verification: Biting at the State Explosion Problem.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Modechart, simulation, Real-time systems, verification, formal methods, specification, requirements analysis, timing constraints
21	Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin	Attacking Symbolic State Explosion.	CAV	2001	DBLP DOI BibTeX RDF
21	Amir Pnueli	Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion.	CAV	2000	DBLP DOI BibTeX RDF
21	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.	Softw. Pract. Exp.	1999	DBLP DOI BibTeX RDF
21	Michael W. Mislove	Trace Theory and State Explosion.	PDPTA	1999	DBLP BibTeX RDF
21	Patrice Godefroid	Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem		1996	DOI RDF
21	Antti Valmari	The State Explosion Problem.	Petri Nets	1996	DBLP DOI BibTeX RDF
21	Jens Knoop, Bernhard Steffen, Jürgen Vollmer 0001	Parallelism for Free: Bitvector Analyses -> No State Explosion!	TACAS	1995	DBLP DOI BibTeX RDF
21	Sridhar Alagar, Subbarayan Venkatesan	Techniques to Tackle State Explosion in global Predicate Detection.	ICPADS	1994	DBLP DOI BibTeX RDF
21	Antti Valmari	A Stubborn Attack on State Explosion.	Formal Methods Syst. Des.	1992	DBLP DOI BibTeX RDF
21	Kenneth L. McMillan	Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits.	CAV	1992	DBLP DOI BibTeX RDF
21	Antti Valmari	A Stubborn Attack On State Explosion.	CAV	1990	DBLP DOI BibTeX RDF
21	Edmund M. Clarke	Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem.	CAV	1990	DBLP DOI BibTeX RDF
21	David K. Probst, Hon Fung Li	Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.	CAV (DIMACS/AMS volume)	1990	DBLP DOI BibTeX RDF
21	Antti Valmari	A Stubborn Attack on State Explosion.	CAV (DIMACS/AMS volume)	1990	DBLP DOI BibTeX RDF
21	Edmund M. Clarke	Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem.	CAV (DIMACS/AMS volume)	1990	DBLP DOI BibTeX RDF
21	Edmund M. Clarke, Orna Grumberg	Avoiding The State Explosion Problem in Temporal Logic Model Checking.	PODC	1987	DBLP DOI BibTeX RDF
20	Batsayan Das, Dipankar Sarkar 0001, Santanu Chattopadhyay	Model checking on state transition diagram.	ASP-DAC	2004	DBLP DOI BibTeX RDF	CTL model checking, Finite State Machine (FSM), State Transition Diagram (STD), Kripke structure
20	Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue	Partial Order Reduction in Directed Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
20	Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno	Symbolic Model Checking for Self-Stabilizing Algorithms.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	distributed algorithms, Self-stabilization, symbolic model checking, automatic verification
20	Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi	A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking.	CONCUR	1996	DBLP DOI BibTeX RDF
20	Edmund M. Clarke, Somesh Jha	Symmetry and Induction in Model Checking.	Computer Science Today	1995	DBLP DOI BibTeX RDF
19	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
19	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Symbolic guided search for CTL model checking.	DAC	2000	DBLP DOI BibTeX RDF
18	Qingwei Wu, Michael S. Hsiao	State Variable Extraction to Reduce Problem Complexity for ATPG and Design Validation.	ITC	2004	DBLP DOI BibTeX RDF
18	Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache	Parallel State Space Construction for Model-Checking.	SPIN	2001	DBLP DOI BibTeX RDF	state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
17	Michael Emmi, Rupak Majumdar, Roman Manevich	Parameterized verification of transactional memories.	PLDI	2010	DBLP DOI BibTeX RDF	parameterized verification, transactional memory
17	Frédéric Lang, Radu Mateescu 0001	Partial Order Reductions Using Compositional Confluence Detection.	FM	2009	DBLP DOI BibTeX RDF
17	Alper Sen 0001, Vijay K. Garg	Formal Verification of Simulation Traces Using Computation Slicing.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Simulation, formal verification, temporal logic, partial order, runtime verification, lattice theory
17	Pavel Parízek, Frantisek Plásil	Partial Verification of Software Components: Heuristics for Environment Construction.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF	concurrency errors, model checking, static analysis, software components, Java PathFinder
17	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space.	ICDCS	2007	DBLP DOI BibTeX RDF