| 2002 |
|---|
| 8 | EE | Sé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 |
| 5 | EE | Sé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 |
|---|
| 2 | EE | Sé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 |
