The SCEAS System
Navigation Menu

Search the dblp DataBase


Sébastien Bornot: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sébastien Bornot, Joseph Sifakis, Stavros Tripakis
    Modeling Urgency in Timed Systems. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:103-129 [Conf]
  2. Sébastien Bornot, Ralf Huuck, Ben Lukoschus
    Statische Analysetechniken für speicherprogrammierbare Steuerungen. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:175-181 [Conf]
  3. Sébastien Bornot, Joseph Sifakis
    Relating Time Progress and Deadlines in Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:286-300 [Conf]
  4. Sébastien Bornot, Joseph Sifakis
    On the Composition of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:49-63 [Conf]
  5. Sébastien Bornot, Ralf Huuck, Ben Lukoschus
    Verification of Sequential Function Charts Using SMV. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  6. Sébastien Bornot, Gregor Gößler, Joseph Sifakis
    On the Construction of Live Timed Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:109-126 [Conf]
  7. Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou
    Black Box Unfolding with Local First Search. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:386-400 [Conf]
  8. Sébastien Bornot, Joseph Sifakis
    An Algebraic Framework for Urgency. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:163, n:1, pp:172-202 [Journal]

Search in 0.127secs, Finished in 0.129secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002