Volgen
Sergio Yovine
Sergio Yovine
Universidad ORT Uruguay & Universidad de Buenos Aires
Geverifieerd e-mailadres voor ort.edu.uy - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
26251995
Symbolic model checking for real-time systems
TA Henzinger, X Nicollin, J Sifakis, S Yovine
Information and computation 111 (2), 193-244, 1994
17101994
Kronos: A verification tool for real-time systems
S Yovine
Int. J. Softw. Tools Technol. Transf. 1 (1-2), 123-133, 1997
9871997
The tool KRONOS
C Daws, A Olivero, S Tripakis, S Yovine
International Hybrid Systems Workshop, 208-219, 1995
7231995
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
5531998
Symbolic reachability computation for families of linear vector fields
G Lafferriere, GJ Pappas, S Yovine
Journal of Symbolic Computation 32 (3), 231-253, 2001
2882001
A new class of decidable hybrid systems
G Lafferriere, GJ Pappas, S Yovine
International Workshop on Hybrid Systems: Computation and Control, 137-151, 1999
2831999
An approach to the description and analysis of hybrid systems
X Nicollin, A Olivero, J Sifakis, S Yovine
Hybrid Systems, 149-178, 1992
2811992
Model checking timed automata
S Yovine
School organized by the European Educational Forum, 114-152, 1996
2591996
Analysis of timed systems using time-abstracting bisimulations
S Tripakis, S Yovine
Formal Methods in System Design 18 (1), 25-68, 2001
2342001
Two examples of verification of multirate timed automata with Kronos
C Daws, S Yovine
Proceedings 16th IEEE Real-Time Systems Symposium, 66-75, 1995
2241995
Compiling real-time specifications into extended automata
X Nicollin, J Sifakis, S Yovine
IEEE transactions on Software Engineering 18 (9), 794-804, 1992
2201992
Reducing the number of clock variables of timed automata.
C Daws, S Yovine
rtss 96, 73, 1996
2181996
Integration graphs: a class of decidable hybrid systems
Y Kesten, A Pnueli, J Sifakis, S Yovine
Hybrid systems, 179-208, 1992
2031992
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
1861991
Compositional specification of timed systems
J Sifakis, S Yovine
STACS 96, 345-359, 1996
1691996
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
1601999
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
1371997
On-the-fly symbolic model checking for real-time systems
A Bouajjani, S Tripakis, S Yovine
Proceedings Real-Time Systems Symposium, 25-34, 1997
1331997
Verifying et-lotos Programs with Kronos
C Daws, A Olivero, S Yovine
Formal Description Techniques VII, 227-242, 1995
1331995
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20