A toolbox for the verification of LOTOS programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis
IEEE Transactions on Parallel and Distributed Systems
A New Structural Induction Theorem for Rings of Temporal Petri Nets
IEEE Transactions on Software Engineering
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
IEEE Transactions on Software Engineering
Checking for CFFD-Preorder with Tester Processes
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Modeling and verification of parallel processes
Automatic verification for a class of distributed systems
Distributed Computing
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
Formal Methods in System Design
Information and Computation
Compositional failure-based semantic equivalences for Reo specifications
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
A distributed verification approach for modular Petri nets
Proceedings of the 2007 Summer Computer Simulation Conference
Compositional Failure-based Equivalence of Constraint Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic Verification with Multiple and Nested Parameters
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated multiparameterised verification by cut-offs
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Contexts, refinement and determinism
Science of Computer Programming
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Local Verification Using a Distributed State Space
Fundamenta Informaticae
| Hi-index | 0.00 |