Validating timed UML models by simulation and verification

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

Dentistry, Health Promotion, Restitution +1

The STATEMATE semantics of statecharts

David Harel, A. Naamad · ACM Transactions on Software Engineering and Methodology · 1996 · 1K citations

Computing, Computer Science, Formal Methods +14

LSCs: Breathing Life into Message Sequence Charts

Werner Damm, David Harel · Formal Methods in System Design · 2001 · 822 citations

Computing, Data Science, Data Analytics +4