Search results for "reachability analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
3	Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane	Reachability analysis using multiway decision graphs in the HOL theorem prover.	SAC	2008	DBLP DOI BibTeX RDF	reachability analysis, HOL, multiway decision graphs
3	Rajeev Alur, Thao Dang, Franjo Ivancic	Predicate abstraction for reachability analysis of hybrid systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	hybrid systems, Reachability analysis, predicate abstraction
3	Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong	Reachability Analysis over Term Rewriting Systems.	J. Autom. Reasoning	2004	DBLP DOI BibTeX RDF	completion algorithm, Timbuk, tree automaton, term rewriting, reachability analysis
3	Sridhar Iyer, S. Ramesh	Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	object-oriented programming, static analysis, Concurrent programs, reachability analysis
3	Karsten Schmidt 0004	Integrating Low Level Symmetries into Reachability Analysis.	TACAS	2000	DBLP DOI BibTeX RDF	symmetries, reachability analysis, automorphisms
3	Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk	Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.	DSN	2000	DBLP DOI BibTeX RDF	Simultaneous Reachability Analysis, Extended Finite State Machine Model, Race Conditions, Deadlock Detection
3	Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater	Model Checking of Workflow Schemas. (PDF / PS)	EDOC	2000	DBLP DOI BibTeX RDF	workflow schemas, error-prone process, primitive syntactic verification, automata-based method, compositional reachability analysis, model checking, formal methods, formal verification, robustness, correctness, reachability analysis, liveness properties
3	Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi	Verifying temporal constraints on data in multi-rate transactions using timed automata.	RTCSA	2000	DBLP DOI BibTeX RDF	temporal constraint verification, multi-rate transactions, nonpreemptive execution order, scheduling, real-time systems, real-time systems, program verification, transaction processing, computational models, timed automata, data dependencies, schedulability analysis, reachability analysis, reachability analysis, automata theory, end-to-end latency
3	Shing-Chi Cheung, Jeff Kramer	Checking Safety Properties Using Compositional Reachability Analysis.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	compositional reachability analysis, distributed systems, model checking, static analysis, safety properties
3	Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios	AC++ Data Model Supporting Reachability Analysis and Dead Code Detection.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	dead code detection, program database, reverse engineering, C++, static analysis, conceptual modeling, reachability analysis, software repository
3	Sridhar Iyer, S. Ramesh	A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs.	APSEC	1997	DBLP DOI BibTeX RDF	Concurrent and distributed systems, software analysis and design, object-oriented programming, reachability analysis
3	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	Efficient verification of real-time systems: compact data structure and state-space reduction. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure
3	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
3	B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini	Reachability and Timing Analysis in Data Flow Networks: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	data flow networks, computer control systems, performance, safety, timing analysis, reachability analysis, reachability analysis
2	Michael Huth, Orna Grumberg	Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.	STTT	2009	DBLP DOI BibTeX RDF	Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems
2	Yoshiaki Kuwata, Lars Blackmore, Michael T. Wolf, Nanaz Fathpour, Claire Newman, Alberto Elfes	Decomposition algorithm for global reachability analysis on a time-varying graph with an application to planetary exploration.	IROS	2009	DBLP DOI BibTeX RDF
2	Andrey Rybalchenko, Rishabh Singh	Subsumer-First: Steering Symbolic Reachability Analysis.	SPIN	2009	DBLP DOI BibTeX RDF
2	Colas Le Guernic, Antoine Girard	Reachability Analysis of Hybrid Systems Using Support Functions.	CAV	2009	DBLP DOI BibTeX RDF
2	Artur Boronat, Reiko Heckel, José Meseguer	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
2	Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen	Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.	STTT	2009	DBLP DOI BibTeX RDF	Edge-valued decision diagrams, Petri net, Formal verification, BDDs, Reachability analysis, Bounded model checking, Asynchronous design, ADDs
2	Margus Veanes, Nikolaj Bjørner, Alexander Raschke	An SMT Approach to Bounded Reachability Analysis of Model Programs.	FORTE	2008	DBLP DOI BibTeX RDF
2	Maria Prandini, Jianghai Hu	Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction.	CDC	2008	DBLP DOI BibTeX RDF
2	Roland Groz, Keqin Li 0002, Alexandre Petrenko, Muzammil Shahbaz	Modular System Verification by Inference, Testing and Reachability Analysis.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
2	Xutao Du, Chunxiao Xing, Lizhu Zhou	Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	web service interface, verification, web service composition, reachability analysis
2	Manuela L. Bujorianu, John Lygeros, Rom Langerak	Reachability Analysis of Stochastic Hybrid Systems by Optimal Control.	HSCC	2008	DBLP DOI BibTeX RDF	Stochastic hybrid systems, reachability problem, Markov processes, optimal stopping
2	Antoine Girard, Colas Le Guernic	Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.	HSCC	2008	DBLP DOI BibTeX RDF
2	Young Dae Kim, Chan Kyou Hwang, Jae-Hyoung Yoo	On-Line Network Reachability Analysis Using Forward Information Base Emulation.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Network Reachability, BGP, OSPF, ISIS, IGP
2	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia	Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
2	Sean Safarpour, Andreas G. Veneris, Hratch Mangassarian	Trace Compaction using SAT-based Reachability Analysis.	ASP-DAC	2007	DBLP DOI BibTeX RDF
2	Aabhas V. Paliwal, Nabil R. Adam, Basit Shafiq, Christof Bornhövd	Policy based Web Service Orchestration and Goal Reachability Analysis using MSC and CP Nets.	CEC/EEE	2007	DBLP DOI BibTeX RDF
2	William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski	Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Orna Grumberg, Tamir Heyman, Assaf Schuster	A work-efficient distributed algorithm for reachability analysis.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Distributed reachability, Distributed BDDs, Symbolic model checking
2	Yongsun Choi, Xinlei Zhao, Kwanhee Han	Hierarchical Reachability Analysis for Workflow-Nets.	CSCWD	2006	DBLP DOI BibTeX RDF
2	Abdelaziz Guerrouat, Harald Richter	A Combined Approach for Reachability Analysis.	ICSEA	2006	DBLP DOI BibTeX RDF	testing and validation, formal specifications, Formal methods, reachability analysis
2	Marius Kloetzer, Calin Belta	Reachability Analysis of Multi-affine Systems.	HSCC	2006	DBLP DOI BibTeX RDF
2	Xenofon D. Koutsoukos, Derek Riley	Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
2	Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry	Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
2	Michael Luttenberger	Reachability Analysis of Procedural Programs with Affine Integer Arithmetic.	CIAA	2006	DBLP DOI BibTeX RDF
2	Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond	Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis.	Business Process Management	2006	DBLP DOI BibTeX RDF	Workflow verification, Cancellation, OR-joins, Reset nets, YAWL
2	David Ward, Fabio Somenzi	Decomposing image computation for symbolic reachability analysis using control flow information.	ICCAD	2006	DBLP DOI BibTeX RDF
2	Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad	Extended Timed Automata and Time Petri Nets.	ACSD	2006	DBLP DOI BibTeX RDF	Conciseness, Timed Automata, Reachability Analysis, Time Petri Nets
2	Spring Berman, Ádám M. Halász, Vijay Kumar, Stephen Pratt	Algorithms for the Analysis and Synthesis of a Bio-inspired Swarm Robotic System.	Swarm Robotics	2006	DBLP DOI BibTeX RDF	abstractions of swarms, insect house hunting, synthesis, reachability analysis, stochastic simulation, multiscale modeling
2	Themistoklis Haniotakis, Spyros Tragoudas, G. Pani	Reduced Test Application Time Based on Reachability Analysis.	ISQED	2005	DBLP DOI BibTeX RDF
2	Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader	Production Scheduling by Reachability Analysis - A Case Study.	IPDPS	2005	DBLP DOI BibTeX RDF
2	Sabine M. Böhm	H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL.	DSN	2005	DBLP DOI BibTeX RDF
2	Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster	Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation.	CHARME	2005	DBLP DOI BibTeX RDF
2	Mustapha Bourahla, Mohamed Benmohamed	Efficient partition of state space for parallel reachability analysis.	AICCSA	2005	DBLP DOI BibTeX RDF
2	Prasanna Thati, José Meseguer	Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.	CALCO	2005	DBLP DOI BibTeX RDF
2	Yacine Zemali	Controlled Reachability Analysis in AI Planning: Theory and Practice.	KI	2005	DBLP DOI BibTeX RDF
2	Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek	Reachability Analysis of Multithreaded Software with Asynchronous Communication.	FSTTCS	2005	DBLP DOI BibTeX RDF
2	Guy Edward Gallasch, Bing Han, Jonathan Billington	Sweep-Line Analysis of TCP Connection Management.	ICFEM	2005	DBLP DOI BibTeX RDF	TCP Connection Management, Sweep-line analysis, Verification, Coloured Petri Nets, Reachability analysis, State Space methods
2	Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén	Forward Reachability Analysis of Timed Petri Nets.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
2	William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski	Quantum logic synthesis by symbolic reachability analysis.	DAC	2004	DBLP DOI BibTeX RDF	model checking, formal verification, quantum computing, satisfiability, reversible logic
2	Amit Bhatia, Emilio Frazzoli	Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
2	Ahmed Bouajjani, Antoine Meyer	Symbolic Reachability Analysis of Higher-Order Context-Free Processes.	FSTTCS	2004	DBLP DOI BibTeX RDF
2	Johan Bengtsson, Wang Yi	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.	ICFEM	2003	DBLP DOI BibTeX RDF
2	Enric Pastor, Marco A. Peña	Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems.	CHARME	2003	DBLP DOI BibTeX RDF
2	Amit Goel, Randal E. Bryant	Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis.	DATE	2003	DBLP DOI BibTeX RDF
2	Orna Grumberg, Tamir Heyman, Assaf Schuster	A Work-Efficient Distributed Algorithm for Reachability Analysis.	CAV	2003	DBLP DOI BibTeX RDF
2	Tatiana Rybina, Andrei Voronkov	A Logical Reconstruction of Reachability.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	reachability analysis, infinite-state systems, model theory, theoretical foundations
2	Guillaume Gardey, Olivier H. Roux, Olivier F. Roux	Using Zone Graph Method for Computing the State Space of a Time Petri Net.	FORMATS	2003	DBLP DOI BibTeX RDF	Verification, Reachability Analysis, Time Petri Nets, State Space, Zone
2	Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi	Automatic Formal Model Generation and Analysis of SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF	state space explosion problem, SDL, reachability analysis, high-level Petri nets
2	Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire Tomlin	Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction.	HiPC	2002	DBLP DOI BibTeX RDF
2	Rolf Drechsler, Daniel Große	Reachability Analysis for Formal Verification of SystemC.	DSD	2002	DBLP DOI BibTeX RDF
2	Rajeev Alur, Thao Dang, Franjo Ivancic	Reachability Analysis of Hybrid Systems via Predicate Abstraction.	HSCC	2002	DBLP DOI BibTeX RDF
2	Yu Lei, Kuo-Chung Tai	Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs.	ISSRE	2002	DBLP DOI BibTeX RDF
2	Lars Michael Kristensen, Thomas Mailund	A Generalised Sweep-Line Method for Safety Properties.	FME	2002	DBLP DOI BibTeX RDF	explicit state space exploration methods, state space reduction methods, practical use and tool support, reachability analysis, theoretical foundations
2	Peter Buchholz, Peter Kemper	Efficient Computation and Representation of Large Reachability Sets for Composed Automata.	Discrete Event Dynamic Systems	2002	DBLP DOI BibTeX RDF	automata networks, Kronecker representation, ordered natural decision diagrams, reachability analysis, equivalence
2	Dirk Beyer	Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.	CHARME	2001	DBLP DOI BibTeX RDF	Real-time systems, Formal verification, Timed Automata
2	Dirk Beyer	Improvements in BDD-Based Reachability Analysis of Timed Automata.	FME	2001	DBLP DOI BibTeX RDF	Real-time systems, Formal verification, Timed automata, BDDs, Discretization
2	S. Reda, Ayman M. Wahba, Ashraf M. Salem, Dominique Borrione, M. Ghonaimy	On the use of don't cares during symbolic reachability analysis.	ISCAS	2001	DBLP DOI BibTeX RDF
2	Marko Mäkelä	Optimising Enabling Tests and Unfoldings of Algebraic System Nets.	ICATPN	2001	DBLP DOI BibTeX RDF	reachability analysis, unification, high-level Petri nets, unfolding
2	Haoxun Chen, Hans-Michael Hanisch	Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model.	Discrete Event Dynamic Systems	2001	DBLP DOI BibTeX RDF	condition /event systems, state reachability analysis, Petri nets, hybrid systems, modular modeling
2	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Improving symbolic reachability analysis by means of activityprofiles.	IEEE Trans. on CAD of Integrated Circuits and Systems	2000	DBLP DOI BibTeX RDF
2	Parosh Aziz Abdulla, Per Bjesse, Niklas Eén	Symbolic Reachability Analysis Based on SAT-Solvers.	TACAS	2000	DBLP DOI BibTeX RDF
2	Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta	SAT-Based Image Computation with Application in Reachability Analysis.	FMCAD	2000	DBLP DOI BibTeX RDF
2	Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi	Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.	ICATPN	2000	DBLP DOI BibTeX RDF	DSS1, SDL, reachability analysis, high-level Petri nets, protocol verification, ISDN
2	Oleg Botchkarev, Stavros Tripakis	Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.	HSCC	2000	DBLP DOI BibTeX RDF	ellipsoidal approximations, verification, hybrid systems, reachability analysis
2	Béatrice Bérard, Laurent Fribourg	Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic.	CONCUR	1999	DBLP DOI BibTeX RDF
2	Patrice Boisieau, Olivier Roux	Splitting reachability analysis in hybrid automata.	ECRTS	1999	DBLP DOI BibTeX RDF
2	Youpyo Hong, Peter A. Beerel	Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares.	DATE	1999	DBLP DOI BibTeX RDF
2	Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech	Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.	CAV	1999	DBLP DOI BibTeX RDF
2	Mark R. Greenstreet, Ian Mitchell	Reachability Analysis Using Polygonal Projections.	HSCC	1999	DBLP DOI BibTeX RDF
2	Jörg Preußig, Olaf Stursberg, Stefan Kowalewski	Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis.	HSCC	1999	DBLP DOI BibTeX RDF
2	In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi	Least fixpoint approximations for reachability analysis.	ICCAD	1999	DBLP BibTeX RDF
2	Karsten Strehl	Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification.	RTCSA	1999	DBLP DOI BibTeX RDF	timed reachability analysis, real-time symbolic model checking, Formal verification, timed automata, binary decision diagrams
2	Ahmed Bouajjani, Peter Habermehl	Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract).	ICALP	1997	DBLP DOI BibTeX RDF
2	Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer	Verification of Liveness Properties Using Compositional Reachability Analysis.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	Bu¨chi automata, reachability analysis, labelled transition systems, distributed computing systems, compositional verification, liveness properties
2	Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou	Analysing the behaviour of distributed software architectures: a case study.	FTDCS	1997	DBLP DOI BibTeX RDF	distributed software architecture, software behaviour analysis, behavioural specifications, compositional reachability analysis, composite system models, active badge system, distributed processing, case study, software components, labelled transition systems
2	Keith P. Pomakis, Joanne M. Atlee	Reachability Analysis of Feature Interactions: A Progress Report.	ISSTA	1996	DBLP DOI BibTeX RDF
2	Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno	Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation.	ICNP	1996	DBLP DOI BibTeX RDF
2	Felice Balarin	Approximate reachability analysis of timed automata. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	approximate reachability analysis, unsafe states, incorrect system, discrete state components, real-time systems, formal verification, Boolean functions, computation, timed automata, finite automata, finite state automata, timing information
2	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Improved reachability analysis of large finite state machines.	ICCAD	1996	DBLP DOI BibTeX RDF	Sequential Logic Synthesis and Verification
2	Tino Pyssysalo, Leo Ojala	Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism.	EUROMICRO	1996	DBLP DOI BibTeX RDF	high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system
2	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	A new compositional method for condensed state-space verification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion
2	Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri	An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking
2	Matthew B. Dwyer, Lori A. Clarke	A Compact Petri Net Representation and Its Implications for Analysis.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	coarsened representations, Petri nets, reachability analysis, program representations, Software validation
2	Farn Wang	Reachability Analysis at Procedure Level through Timing Coincidence.	CONCUR	1995	DBLP DOI BibTeX RDF
2	Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama	Handles and Reachability Analysis of Free Choice Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF