David L. Dill

A theory of timed automata

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

Computing, Computer Science, Formal Methods +9

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

Model-checking for real-time systems

Rajeev Alur, Costas Courcoubetis, David L. Dill · 2002 · 894 citations

Computing, Computer Engineering, Computer Science +15

Model-Checking in Dense Real-Time

Rajeev Alur, Costas Courcoubetis, David L. Dill · Information and Computation · 1993 · 829 citations

Computing, Computer Engineering, Computer Science +10

EXE

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski et al. · 2006 · 789 citations

Computing, Computer Science, Programming Languages +14