Controlling state explosion in reachability analysis

Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada

ACM Transactions on Software Engineering and Methodology (TOSEM)

An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis

IEEE Transactions on Parallel and Distributed Systems

Behaviour Analysis of Distributed Systems Using the Tracta Approach

Automated Software Engineering

Specification and analysis of timing requirements for real-time systems in the CBD approach

Real-Time Systems

Partial Order Reductions Using Compositional Confluence Detection

FM '09 Proceedings of the 2nd World Congress on Formal Methods

Refined interfaces for compositional verification

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Exp.Open 2.0: a flexible tool integrating partial order, compositional, and on-the-fly verification methods

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods