A
Alfredo Olivero
Researcher at Universidad Argentina de la Empresa
Publications - 12
Citations - 3411
Alfredo Olivero is an academic researcher from Universidad Argentina de la Empresa. The author has contributed to research in topics: Timed automaton & Model checking. The author has an hindex of 10, co-authored 12 publications receiving 3319 citations. Previous affiliations of Alfredo Olivero include University of the Republic.
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.
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.
Book ChapterDOI
Verifying ET-LOTOS programmes with KRONOS
TL;DR: This paper shows that real-time systems described in a reasonable subset of ET-LOTOS can be verified with KRONOS by compiling them into timed automata.