KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

  title={KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)},
  author={Marius Bozga and Conrado Daws and Oded Maler and Alfredo Olivero and Stavros Tripakis and Sergio Yovine},
Education • 10/1995 – 12/1998: PhD in Computer Science, Joseph Fourier University, Grenoble, France. Dissertation: The formal analysis of timed systems in practice. Advisor: Dr. Joseph Sifakis (Turing Award 2007). • 10/1994 – 07/1995: M.S. in Computer Science and Mathematics, Ecole Normale Supérieure of Paris, Ecole Polytechnique, Universities of Paris VI, VII and XI. • 10/1988 – 12/1993: Bachelor degree and postgraduate studies in Computer Science and Mathematics, University of Crete at… CONTINUE READING
Highly Cited
This paper has 71 citations. REVIEW CITATIONS


Publications citing this paper.

71 Citations

Citations per Year
Semantic Scholar estimates that this publication has 71 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 23 references

Minimum-Time Reachability for Timed

AutomataPeter Niebert, Stavros Tripakisy, Sergio Yovine

A Framework for Scheduler Synthesis

K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis
20th IEEE Real-Time Systems Symposium (RTSS’99), pages 154–163. IEEE Computer Society, December • 1999

KRONOS: a Model-Checking Tool for Real-Time Systems (tool presentation)

M. Bozga, C. Daws, +3 authors S. Yovine
A.P. Ravn and H. Rischel, editors, 5th Intl. Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT’98), volume 1486 of LNCS, pages 298–302. Springer, September • 1998

Similar Papers

Loading similar papers…