dblp.uni-trier.dewww.uni-trier.de

Sébastien Bornot

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Gregor Gößler [5]
2Ralf Huuck [6] [7]
3Ben Lukoschus [6] [7]
4Rémi Morin [8]
5Peter Niebert [8]
6Joseph Sifakis [1] [2] [3] [4] [5]
7Stavros Tripakis [2]
8Sarah Zennou [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)