Search results for "state explosion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Sachoun Park, Gihwon Kwon	Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.	ICCSA	2006	DBLP DOI BibTeX RDF	Model checking, Dependency analysis, Model reduction, State explosion problem
3	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
2	Edmund M. Clarke	My 27-year Quest to Overcome the State Explosion Problem.	LICS	2009	DBLP DOI BibTeX RDF
2	Pavel Parizek, 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
2	Edmund M. Clarke	Model Checking - My 27-Year Quest to Overcome the State Explosion Problem.	LPAR	2008	DBLP DOI BibTeX RDF
2	Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch	Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.	STTT	2008	DBLP DOI BibTeX RDF	Sweep-line, Coloured Petri Nets, State explosion, State space methods, DCCP
2	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
2	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
2	Lars Michael Kristensen, Karsten Schmidt 0004, Antti Valmari	Question-guided stubborn set methods for state properties.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Stubborn set methods, Petri nets, Partial-order reduction, State space methods, State explosion problem
2	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	Reduced Models for Efficient CCS Verification.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	model checking, CCS, state explosion problem
2	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
2	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
2	Gihwon Kwon	Applying Model Checking Techniques to Game Solving.	SERA	2003	DBLP DOI BibTeX RDF	game solving, Model checking, counterexample, state explosion problem
2	Stéphane Demri, François Laroussinie, Ph. Schnoebelen	A Parametric Analysis of the State Explosion Problem in Model Checking.	STACS	2002	DBLP DOI BibTeX RDF
2	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
2	Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith	Progress on the State Explosion Problem in Model Checking.	Informatics	2001	DBLP DOI BibTeX RDF
2	Fabrice Derepas, Paul Gastin, David Plainfossé	Avoiding State Explosion for Distributed Systems with Timestamps.	FME	2001	DBLP DOI BibTeX RDF
2	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
2	François Laroussinie, Ph. Schnoebelen	The State Explosion Problem from Trace to Bisimulation Equivalence.	FoSSaCS	2000	DBLP DOI BibTeX RDF
2	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
2	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
2	Rance Cleaveland	Pragmatics of Model Checking: An STTT Special Section.	STTT	1999	DBLP DOI BibTeX RDF	Model checking, Temporal logic, State explosion, System verification
2	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
2	Jian Chen, Richard H. Carver	Selecting and mapping test sequences from formal specifications of concurrent programs. (PDF / PS)	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
2	Carl I. Birkinshaw, Peter R. Croll	Modelling the client-server behaviour of parallel real-time systems using Petri nets.	HICSS	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
2	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
2	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
1	Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol	Reducing State Explosion with Context Modeling for Model-Checking.	HASE	2011	DBLP DOI BibTeX RDF
1	Michelle L. Goodstein, Evangelos Vlachos, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry	Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring.	ASPLOS	2010	DBLP DOI BibTeX RDF	dynamic program monitoring, parallel programming, static analysis, data flow analysis
1	Yang Ge, Parth Malani, Qinru Qiu	Distributed task migration for thermal management in many-core systems.	DAC	2010	DBLP DOI BibTeX RDF	prediction, distributed control, dynamic thermal management
1	Michael Emmi, Rupak Majumdar, Roman Manevich	Parameterized verification of transactional memories.	PLDI	2010	DBLP DOI BibTeX RDF	parameterized verification, transactional memory
1	Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit	An algorithm to generate the context-sensitive synchronized control flow graph.	SAC	2010	DBLP DOI BibTeX RDF	CSCFG, CSP
1	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
1	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
1	Sami Evangelista, Michael Westergaard, Lars Michael Kristensen	The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	explicit state model checking, hash compaction, delayed duplicate detection, state space reduction, state explosion problem
1	Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa	The impact of EFSM composition on functional ATPG.	DDECS	2009	DBLP DOI BibTeX RDF
1	Thomas Reinbacher, Martin Horauer, Bastian Schlich	Using 3-valued memory representation for state space reduction in embedded assembly code model checking.	DDECS	2009	DBLP DOI BibTeX RDF
1	Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim	Efficient large-scale model checking.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Jaco Geldenhuys, Henri Hansen, Antti Valmari	Exploring the Scope for Partial Order Reduction.	ATVA	2009	DBLP DOI BibTeX RDF
1	Orna Grumberg	3-Valued Abstraction for (Bounded) Model Checking.	ATVA	2009	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang	INFAMY: An Infinite-State Markov Model Checker.	CAV	2009	DBLP DOI BibTeX RDF
1	Frédéric Lang, Radu Mateescu	Partial Order Reductions Using Compositional Confluence Detection.	FM	2009	DBLP DOI BibTeX RDF
1	Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero	Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.	FORMATS	2009	DBLP DOI BibTeX RDF
1	Hanifa Boucheneb, Abdessamad Imine	On Model-Checking Optimistic Replication Algorithms.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Wenhui Zhang	Bounded Semantics of CTL and SAT-Based Verification.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Astrid Rakow	Decompositional Petri Net Reductions.	IFM	2009	DBLP DOI BibTeX RDF
1	Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi	A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Service composition, symbolic execution, test-case generation, orchestration, transition systems, WS-BPEL, formal testing
1	Martin Wehrle, Malte Helmert	The Causal Graph Revisited for Directed Model Checking.	SAS	2009	DBLP DOI BibTeX RDF
1	E. Allen Emerson	Model Checking: Progress and Problems.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Richard J. Trefler, Thomas Wahl	Extending Symmetry Reduction by Exploiting System Architecture.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Ariel Cohen 0002, Kedar S. Namjoshi	Local proofs for global safety properties.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Local proofs, Model checking, Compositionality, Local reasoning
1	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction for general state exploring algorithms.	STTT	2009	DBLP DOI BibTeX RDF
1	Klaus Dräger, Bernd Finkbeiner, Andreas Podelski	Directed model checking with distance-preserving abstractions.	STTT	2009	DBLP DOI BibTeX RDF
1	Yung-Pin Cheng, Chun-Yu Lee	ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way.	DMS	2008	DBLP BibTeX RDF
1	Enrique Alba, J. Francisco Chicano, Marco Ferreira, Juan Antonio Gómez Pulido	Finding deadlocks in large concurrent Java programs using genetic algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	memory operator, genetic algorithm, model checking, graph search
1	Tertia Hörne, John A. van der Poll	Planning as model checking: the performance of ProB vs NuSMV.	SAICSIT Conf.	2008	DBLP DOI BibTeX RDF	tableaux theorem proving, model checking, planning, satisfiability, BDDs, constraint logic programming
1	Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke	Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Assume-guarantee reasoning
1	Youcef Hammal	A modular state exploration and compatibility checking of UML dynamic diagrams.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Carlos Renato Vázquez, Laura Recalde, Manuel Silva	Stochastic continuous-state approximation of Markovian Petri net systems.	CDC	2008	DBLP DOI BibTeX RDF
1	Zuohua Ding, Kao Zhang	Performance Analysis of Concurrent Programs Using Ordinary Differential Equations.	COMPSAC	2008	DBLP DOI BibTeX RDF	continuous Petri net, Performance analysis, concurrent program, differential equation
1	Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti	A participant testing strategy for service orchestrations.	ICDIM	2008	DBLP DOI BibTeX RDF
1	Yanlan Ding, Guiping Su	A Reduction method for Verification of Security Protocol through CPN.	ICNSC	2008	DBLP DOI BibTeX RDF
1	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Pre-testing Flash Device Driver through Model Checking Techniques.	ICST	2008	DBLP DOI BibTeX RDF	Model Checking, Testing, Embedded Software
1	WanXia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang	Efficient Verification of Parameterized Cache Coherence Protocols.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Zhijian Wang	A Subsystem Division Method by Clustering.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Zhihui Luo, David A. Bell, Barry McCollum, Qingxiang Wu	Learning to select relevant perspective in a dynamic environment.	IJCNN	2008	DBLP DOI BibTeX RDF
1	Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen	Theory framework for event structure slicing.	ISCC	2008	DBLP DOI BibTeX RDF
1	Tao Huang, Anthony Chung	Finding Narrow Input/Output (NIO) Sequences by Model Checking.	SERA	2008	DBLP DOI BibTeX RDF	Communication protoocls, model checking, protocol engineering, protocol testing
1	Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang	Verifying programmable logic controllers with abstraction.	SIES	2008	DBLP DOI BibTeX RDF
1	Corinna Spermann, Michael Leuschel	ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.	TASE	2008	DBLP DOI BibTeX RDF	Model Checking, Model Checking, Tool Support, Tool Support, B-Method, B-Method, Symmetry Reduction
1	Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana	Reverse Engineering Finite State Machines from Rich Internet Applications.	WCRE	2008	DBLP DOI BibTeX RDF
1	Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar	Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Kais Klai, Denis Poitrenaud	MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.	Petri Nets	2008	DBLP DOI BibTeX RDF
1	Markus Lumpe, Lars Grunske, Jean-Guy Schneider	State Space Reduction Techniques for Component Interfaces.	CBSE	2008	DBLP DOI BibTeX RDF
1	Pavlína Vareková, Ivana Cerná	Model Checking of Control-User Component-Based Parametrised Systems.	CBSE	2008	DBLP DOI BibTeX RDF
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	Lihua Duan, Jessica Chen	An Approach to Testing with Embedded Context Using Model Checker.	ICFEM	2008	DBLP DOI BibTeX RDF	context-based testing, finite state machines, conformance testing, test sequences, distinguishing sequences
1	Robert Mittermayr, Johann Blieberger	Static Partial-Order Reduction of Concurrent Systems in Polynomial Time.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar	Survey on Directed Model Checking.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Nazha Abed, Stavros Tripakis, Jean-Marc Vincent	Resource-Aware Verification Using Randomized Exploration of Large State Spaces.	SPIN	2008	DBLP DOI BibTeX RDF
1	Harald Fecher, Sharon Shoham	State Focusing: Lazy Abstraction for the Mu-Calculus.	SPIN	2008	DBLP DOI BibTeX RDF
1	Radu Mateescu, Emilie Oudot	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.	SPIN	2008	DBLP DOI BibTeX RDF
1	Daniela Weinberg	Efficient Controllability Analysis of Open Nets.	WS-FM	2008	DBLP DOI BibTeX RDF	Petri nets, Business process analysis, Process verification and validation, Formal models in business process management
1	Gonzalo Mejia, Carlos Montoya	A Petri Net based algorithm for minimizing total tardiness in flexible manufacturing systems.	Annals OR	2008	DBLP DOI BibTeX RDF	Scheduling, Petri Nets, Heuristic search, Flexible manufacturing systems, Beam search
1	François Laroussinie, Jeremy Sproston	State explosion in almost-sure probabilistic reachability.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
1	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
1	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Model-checking the preservation of temporal properties upon feature integration.	STTT	2007	DBLP DOI BibTeX RDF	Model checking, Feature, State-explosion problem, Property preservation
1	Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby	Semantics driven dynamic partial-order reduction of MPI-based parallel programs.	PADTAD	2007	DBLP DOI BibTeX RDF	concurrent program semantics, transition independence, model checking, MPI, partial-order reduction
1	Koushik Sen	Effective random testing of concurrent programs.	ASE	2007	DBLP DOI BibTeX RDF	concurrent programs, random testing
1	Madanlal Musuvathi, Shaz Qadeer	Iterative context bounding for systematic testing of multithreaded programs.	PLDI	2007	DBLP DOI BibTeX RDF	context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs
1	Georg Gottlob, Reinhard Pichler, Fang Wei	Monadic datalog over finite structures with bounded treewidth.	PODS	2007	DBLP DOI BibTeX RDF	datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition
1	Gautier Loyauté, Rémi Forax, Gilles Roussel	A Java toolkit for the design and the automatic checking of server architectures.	PPPJ	2007	DBLP DOI BibTeX RDF	Java toolkit, software engineering, formal model, automatic generation, internet server
1	Binsan Khadka, Boleslaw Mikolajczak	Transformation from live sequence charts to colored Petri nets.	SCSC	2007	DBLP DOI BibTeX RDF	loosely coupled distributed systems, colored petri nets, message sequence charts, live sequence charts
1	Victor Khomenko, Mark Schäfer, Walter Vogler	Output-Determinacy and Asynchronous Circuit Synthesis.	ACSD	2007	DBLP DOI BibTeX RDF	output-determinacy, OR-causality, decomposition, asynchronous circuits, STG
1	Matthias Weidlich, Gero Decker, Mathias Weske	Efficient Analysis of BPEL 2.0 Processes Using p-Calculus.	APSCC	2007	DBLP DOI BibTeX RDF
1	Wei Dong, Ji Wang, Zhichang Qi, Ni Rong	Compositional Verification of UML Dynamic Models.	APSEC	2007	DBLP DOI BibTeX RDF
1	Pavel Parizek, Frantisek Plasil	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
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space.	ICDCS	2007	DBLP DOI BibTeX RDF
1	Björn Wachter, Lijun Zhang, Holger Hermanns	Probabilistic Model Checking Modulo Theories.	QEST	2007	DBLP DOI BibTeX RDF
1	Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape	Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid.	QSIC	2007	DBLP DOI BibTeX RDF