Partial Orders and Verification of Real-Time systems

Application of Partial-Order Methods to Reactive Programswith Event Memorization

Real-Time Systems

Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness

Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking

Partial Order Reduction for Model Checking of Timed Automata

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory

Partial Order Path Technique for Checking Parallel Timed Automata

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2

Towards Bounded Model Checking for the Universal Fragment of TCTL

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2

Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets

ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets

A Partial Order Method for the Verification of Time Petri Nets

FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems

Real-Time Systems

ACTLS properties and Bounded Model Checking

Fundamenta Informaticae

Bounded Model Checking for the Existential Fragment of TCTL_{-G} and Diagonal Timed Automata

Fundamenta Informaticae

Bounded Model Checking for the Existential Fragment of TCTL$_{-G}$ and Diagonal Timed Automata

Fundamenta Informaticae

ACTLS properties and Bounded Model Checking

Fundamenta Informaticae