Lower and upper bounds in zone-based abstractions of timed automata

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

A theory of timed automata

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

Computing, Computer Science, Formal Methods +9

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

An algebraic definition of simulation between programs

Robin Milner · Defense Technical Information Center (DTIC) · 1971 · 533 citations

Computing, Computer Science, Algorithms +11

Scheduling with timed automata

Yasmina Abdeddaı ̈m, Eugène Asarin, Oded Maler · Theoretical Computer Science · 2005 · 195 citations

Computing, Computer Science, Computer Systems +9