Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks

Electronic Notes in Theoretical Computer Science (ENTCS)

TAPAs: A Tool for the Analysis of Process Algebras

Transactions on Petri Nets and Other Models of Concurrency I

A bisimulation-based approach to the analysis of human-computer interaction

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems

A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata

FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems

An evaluation of timed scenario notations

Journal of Systems and Software

Formal verification of use case maps with real time extensions

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems

Early schedulability analysis with timed use case maps

SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles

The two variable per inequality abstract domain

Higher-Order and Symbolic Computation

On the verification of hybrid DEVS models

Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium

Principles of Discrete Event System Specification model verification

Simulation