Saving Space by Fully Exploiting Invisible Transitions
Formal Methods in System Design
Using shape analysis to reduce finite-state models of concurrent Java programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Relaxed Visibility Enhances Partial Order Reduction
Formal Methods in System Design
An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation
Formal Methods in System Design
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
``Next'' Heuristic for On-the-Fly Model Checking
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Stutter-Invariant Languages, omega-Automata, and Temporal Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
On Stubborn Sets in the Verification of Linear Time Temporal Properties
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Stubborn Sets for Standard Properties
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Partial Order Verification of Programmable Logic Controllers
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
An expressively complete linear time temporal logic for Mazurkiewicz traces
Information and Computation - Special issue: LICS'97
Partial-Order Methods for Model Checking: From Linear Time to Branching Time
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Enhancing Partial-Order Reduction via Process Clustering
Proceedings of the 16th IEEE international conference on Automated software engineering
Journal of Computer Science and Technology
Cluster-Based Partial-Order Reduction
Automated Software Engineering
Difficult Configurations—On the Complexity of LTrL
Formal Methods in System Design
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Formal Methods in System Design
More efficient on-the-fly LTL verification with Tarjan's algorithm
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Narrowing Petri Net State Spaces Using the State Equation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Permutation rewriting and algorithmic verification
Information and Computation
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Efficient Controllability Analysis of Open Nets
Web Services and Formal Methods
ACM Computing Surveys (CSUR)
Exploring the Scope for Partial Order Reduction
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Specification Languages for Stutter-Invariant Regular Properties
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Partial Order Reduction for Probabilistic Branching Time
Electronic Notes in Theoretical Computer Science (ENTCS)
On commutativity based Edge Lean search
Annals of Mathematics and Artificial Intelligence
On-the-fly stuttering in the construction of deterministic ω-automata
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
True state-space complexity prediction: by the proxel-based simulation method
IIT'09 Proceedings of the 6th international conference on Innovations in information technology
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Partial order reduction for markov decision processes: a survey
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Bounded rational search for on-the-fly model checking of LTL properties
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Transparent partial order reduction
Formal Methods in System Design
Towards distributed verification of petri nets properties
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Schedule insensitivity reduction
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Stubborn sets for simple linear time properties
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Narrowing Petri Net State Spaces Using the State Equation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets
Fundamenta Informaticae
On commutativity based edge lean search
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
AMC: verifying user interface properties for vehicular applications
Proceeding of the 11th annual international conference on Mobile systems, applications, and services
| Hi-index | 0.00 |