Sergio Yovine
Sergio Yovine
Universidad ORT Uruguay & Universidad de Buenos Aires
Verified email at ort.edu.uy - Homepage
Title
Cited by
Cited by
Year
The algorithmic analysis of hybrid systems
R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ...
Theoretical computer science 138 (1), 3-34, 1995
24751995
Symbolic model checking for real-time systems
TA Henzinger, X Nicollin, J Sifakis, S Yovine
Cornell University, 1994
16431994
Kronos: A verification tool for real-time systems
S Yovine
International Journal on Software Tools for Technology Transfer 1 (1-2), 123-133, 1997
9411997
The tool KRONOS
C Daws, A Olivero, S Tripakis, S Yovine
International Hybrid Systems Workshop, 208-219, 1995
7051995
Kronos: A model-checking tool for real-time systems
M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
5141998
An approach to the description and analysis of hybrid systems
X Nicollin, A Olivero, J Sifakis, S Yovine
Hybrid Systems, 149-178, 1992
2801992
A new class of decidable hybrid systems
G Lafferriere, GJ Pappas, S Yovine
International Workshop on Hybrid Systems: Computation and Control, 137-151, 1999
2751999
Symbolic reachability computation for families of linear vector fields
G Lafferriere, GJ Pappas, S Yovine
Journal of Symbolic Computation 32 (3), 231-253, 2001
2612001
Model checking timed automata
S Yovine
School organized by the European Educational Forum, 114-152, 1996
2581996
Two examples of verification of multirate timed automata with Kronos
C Daws, S Yovine
Proceedings 16th IEEE Real-Time Systems Symposium, 66-75, 1995
2211995
Compiling real-time specifications into extended automata
X Nicollin, J Sifakis, S Yovine
IEEE transactions on Software Engineering 18 (9), 794-804, 1992
2181992
Analysis of timed systems using time-abstracting bisimulations
S Tripakis, S Yovine
Formal Methods in System Design 18 (1), 25-68, 2001
2172001
Reducing the number of clock variables of timed automata.
C Daws, S Yovine
rtss 96, 73, 1996
2071996
Integration graphs: a class of decidable hybrid systems
Y Kesten, A Pnueli, J Sifakis, S Yovine
Hybrid systems, 179-208, 1992
1981992
From ATP to timed graphs and hybrid systems
X Nicollin, J Sifakis, S Yovine
Workshop/School/Symposium of the REX Project (Research and Education in …, 1991
1891991
Compositional specification of timed systems
J Sifakis, S Yovine
STACS 96, 345-359, 1996
1651996
A framework for scheduler synthesis
K Altisen, G Goßler, A Pnueli, J Sifakis, S Tripakis, S Yovine
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No. 99CB37054), 154-163, 1999
1521999
Some progress in the symbolic verification of timed automata
M Bozga, O Maler, A Pnueli, S Yovine
International Conference on Computer Aided Verification, 179-190, 1997
1331997
Verifying et-lotos Programs with Kronos
C Daws, A Olivero, S Yovine
Formal Description Techniques VII, 227-242, 1995
1321995
On-the-fly symbolic model checking for real-time systems
A Bouajjani, S Tripakis, S Yovine
Proceedings Real-Time Systems Symposium, 25-34, 1997
1261997
The system can't perform the operation now. Try again later.
Articles 1–20