Sergio Yovine
Publications by Year
Research Areas
Formal Methods in Verification, Real-Time Systems Scheduling, Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Petri Nets in System Modeling
Most-Cited Works
- → The algorithmic analysis of hybrid systems(1995)1,871 cited
- → Symbolic Model Checking for Real-Time Systems(1994)823 cited
- → KRONOS: a verification tool for real-time systems(1997)581 cited
- → The tool Kronos(1996)461 cited
- → Kronos: A model-checking tool for real-time systems(1998)324 cited
- → Symbolic Reachability Computation for Families of Linear Vector Fields(2001)218 cited
- → A New Class of Decidable Hybrid Systems(1999)205 cited
- → An approach to the description and analysis of hybrid systems(1993)180 cited
- → Model checking timed automata(1998)158 cited