Property Preserving Abstractions under Parallel Composition

Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness

Proceedings of the twentieth annual ACM symposium on Principles of distributed computing

Towards integrated verification of timed transition models

Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)

Real-time model checking is really simple

CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods

Towards Integrated Verification of Timed Transition Models

Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)