Partition Refinement in Real-Time Model Checking

Analysis of Timed Systems Using Time-Abstracting Bisimulations

Formal Methods in System Design

Reachability Analysis of Probabilistic Systems by Successive Refinements

PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification

Linear Parametric Model Checking of Timed Automata

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Transformation of UML Specification to XTG

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

TReX: A Tool for Reachability Analysis of Complex Systems

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification

Difference Decision Diagrams

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic

Parametric real-time model checking using splitting trees

Nordic Journal of Computing

Clock difference diagrams

Nordic Journal of Computing

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems

Formal Methods in System Design

Analysis of Real-Time Systems with CTL Model Checkers

Electronic Notes in Theoretical Computer Science (ENTCS)

Predicate Diagrams for the Verification of Real-Time Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Moby/DC - a tool for model-checking parametric real-time specifications

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems

Parametric model checking with verICS

Transactions on Petri nets and other models of concurrency IV