Sergio Yovine

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

Computing, Computer Science, Mathematics +17

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text

Computing, Computer Science, Formal Methods +16

KRONOS: a verification tool for real-time systems

Sergio Yovine · International Journal on Software Tools for Technology Transfer · 1997 · 584 citations

Computing, Computer Engineering, Computer Science +14

Symbolic model checking for real-time systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · 2003 · 300 citations

Computing, Computer Science, Formal Methods +16

Symbolic Reachability Computation for Families of Linear Vector Fields

Gerardo Lafferriere, George J. Pappas, Sergio Yovine · Journal of Symbolic Computation · 2001 · 220 citations

Computing, Computer Science, Mathematics +10