Sébastien Bornot

According to our database, Sébastien Bornot authored at least 9 papers between 1997 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Black Box Unfolding with Local First Search.

Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2000

An Algebraic Framework for Urgency.

Sébastien Bornot, Joseph Sifakis

Inf. Comput., 2000

On the Construction of Live Timed Systems.

Sébastien Bornot, Gregor Gößler, Joseph Sifakis

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verification of Sequential Function Charts Using SMV.

Sébastien Bornot, Ralf Huuck, Ben Lukoschus

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Statische Analysetechniken für speicherprogrammierbare Steuerungen.

Sébastien Bornot, Ralf Huuck, Ben Lukoschus

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1998

De la composition de systèmes temporisés. (On the Composition of Timed Systems).

Sébastien Bornot

PhD thesis, 1998

On the Composition of Hybrid Systems.

Sébastien Bornot, Joseph Sifakis

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997

Relating Time Progress and Deadlines in Hybrid Systems.

Sébastien Bornot, Joseph Sifakis

Proceedings of the Hybrid and Real-Time Systems, 1997

Modeling Urgency in Timed Systems.

Sébastien Bornot, Joseph Sifakis, Stavros Tripakis

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997