-
DEA - Systèmes Temporisés et Hybrides
-
Slides
-
Tools
-
Articles
-
Timed automata
-
S.Yovine.
Model-checking
timed automata. In Embedded Systems, G. Rozenberg and F. Vaandrager
eds., Lecture Notes in Computer Science 1494, 1998.
-
S.Yovine.
Kronos: A verification tool for real-time systems. In Springer International
Journal of Software Tools for Technology Transfer, Vol. 1, Nber. 1/2,
October 1997.
-
T.A. Henzinger, X. Nicollin, J. Sifakis and S. Yovine.
Symbolic
model checking for real-time systems.
Information and Computation
111(2):193--244, 1994.
-
C.Daws, A.Olivero, S.Tripakis and S.Yovine.
The
tool Kronos. In Hybrid Systems III, Verification and Control,
Lecture Notes in Computer Science 1066, Springer-Verlag, 1996.
-
C.Daws, A.Olivero and S.Yovine.
Verifying
ET-LOTOS programs with KRONOS. In Proceedings of the 7th IFIP WG
G.1 International Conference of Formal Description Techniques FORTE'94,
pages 227-242, Bern, Switzerland, October 1994. Formal Description Techniques
VII, Chapman & Hall.
-
Hybrid systems
-
G. Lafferriere, G. Pappas, S. Yovine.
Symbolic
reachability computation of families of linear vector fields. Journal
of Symbolic Computation, 32(3):231-253, September 2001. Academic Press.
-
Y. Kesten, A. Pnueli, J. Sifakis and S. Yovine.
Decidable
Integration Graphs.
Information and Computation, 150:209--243,
1999. Academic Press.
-
R.Alur, C.Courcoubetis, N.Halbwachs, T.Henzinger, P.Ho, X.Nicollin, A.Olivero,
J.Sifakis, and S.Yovine.
The
algorithmic analysis of hybrid systems.
Theoretical Computer Science,
138:3--34, 1995.
Sergio Yovine
Last
modified: Fri Mar 14, 2003