Conrado Daws
University of Twente(NL)
Publications by Year
Research Areas
Formal Methods in Verification, Real-Time Systems Scheduling, Software Testing and Debugging Techniques, Embedded Systems Design Techniques, Petri Nets in System Modeling
Most-Cited Works
- → The tool Kronos(1996)461 cited
- → Kronos: A model-checking tool for real-time systems(1998)324 cited
- → Model checking of real-time reachability properties using abstractions(1998)187 cited
- → Symbolic and Parametric Model Checking of Discrete-Time Markov Chains(2005)182 cited
- → Reducing the number of clock variables of timed automata(2002)135 cited
- → Two examples of verification of multirate timed automata with Kronos(2002)123 cited
- → Verifying ET-LOTOS programs with KRONOS(1995)54 cited
- Verifying ET-LOTOS programmes with KRONOS.(1994)
- → Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM(2004)46 cited