On the costs and benefits of using partial-order methods for the verification of concurrent systems (invited paper)

Application of Partial-Order Methods to Reactive Programswith Event Memorization

Real-Time Systems

Fast formal analysis of requirements via “Topoi Diagrams”

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering

Mechanizing Proofs of Computation Equivalence

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification

A Mechanized Proof Environment for the Convenient Computations Proof Method

Formal Methods in System Design

ProbMela and verification of Markov decision processes

ACM SIGMETRICS Performance Evaluation Review

Quantitative analysis of distributed randomized protocols

Proceedings of the 10th international workshop on Formal methods for industrial critical systems

Source transformation, analysis and generation in TXL

Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Symmetry in temporal logic model checking

ACM Computing Surveys (CSUR)

Testing Distributed Systems Through Symbolic Model Checking

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

A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties

Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue

Source Transformation for Concurrency Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)