Concepedia
International Journal on Software Tools for Technology Transfer · 1997 · 2.1K citations · 6 references
Educational EntertainmentMashup (Music)Communication
6
An old-fashioned recipe for real time
Martı́n Abadi, Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1994 · 238 citations · Full text
Engineering, Verification, Concurrent System +17
HYTECH: the next generation
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · 2002 · 205 citations
New Hytech, New Implementation, Engineering +22
Efficient verification of real-time systems: compact data structure and state-space reduction
Kim G. Larsen, Fredrik Larsson, Paul Pettersson et al. · 2002 · 180 citations
Engineering, Reachability Problem, Verification +21
Compositional and symbolic model-checking of real-time systems
Kim G. Larsen, Paul Pettersson, Wang Yi · 2002 · 162 citations
Engineering, Verification, Computer-aided Verification +18
Two examples of verification of multirate timed automata with Kronos
Conrado Daws, Sergio Yovine · 2002 · 123 citations
Engineering, Verification, Formal Verification +16