S
Sergio Yovine
Researcher at Cornell University
Publications - 42
Citations - 7775
Sergio Yovine is an academic researcher from Cornell University. The author has contributed to research in topics: Timed automaton & Hybrid system. The author has an hindex of 31, co-authored 41 publications receiving 7630 citations.
Papers
More filters
Journal ArticleDOI
The algorithmic analysis of hybrid systems
Rajeev Alur,Costas Courcoubetis,Nicolas Halbwachs,Thomas A. Henzinger,Pei Ho,Xavier Nicollin,Alfredo Olivero,Joseph Sifakis,Sergio Yovine +8 more
TL;DR: A general framework for the formal specification and algorithmic analysis of hybrid systems is presented, which considers symbolic model-checking and minimization procedures that are based on the reachability analysis of an infinite state space.
Journal ArticleDOI
Symbolic model checking for real-time systems
TL;DR: It is shown that the expressiveness of the timed μ-calculus is incomparable to theexpressiveness of timed CTL, which does not impair the symbolic verification of "implementable" real-time programs-those whose safety constraints are machine-closed with respect to diverging time and whose fairness constraints are restricted to finite upper bounds on clock values.
Book ChapterDOI
The tool KRONOS
TL;DR: Both approaches presented in this paper considerably improve Kronos performance and functionalities and improve the quality of the Kronos operating system.
Book ChapterDOI
Kronos: A Model-Checking Tool for Real-Time Systems
TL;DR: Kronos as discussed by the authors is a software tool aiming at assisting designers of real-time systems to develop projects meeting the specified requirements, which can be used to assist realtime systems in their development.