Sébastien Bornot

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou
Black Box Unfolding with Local First Search. TACAS (2002)
Sébastien Bornot, Joseph Sifakis
An Algebraic Framework for Urgency. Inf. Comput. 163 (1) (2000)
Sébastien Bornot, Gregor Gößler, Joseph Sifakis
On the Construction of Live Timed Systems. TACAS (2000)
Sébastien Bornot, Ralf Huuck, Ben Lukoschus
Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT (2000)
Sébastien Bornot, Ralf Huuck, Ben Lukoschus
Verification of Sequential Function Charts Using SMV. PDPTA (2000)
Sébastien Bornot, Joseph Sifakis
On the Composition of Hybrid Systems. HSCC (1998)
Sébastien Bornot, Joseph Sifakis
Relating Time Progress and Deadlines in Hybrid Systems. HART (1997)
Sébastien Bornot, Joseph Sifakis, Stavros Tripakis
Modeling Urgency in Timed Systems. COMPOS (1997)