Michaël Adélaïde

According to our database, Michaël Adélaïde authored at least 3 papers between 2000 and 2004.

Collaborative distances:

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

2004

On the Urgency Expressiveness.

Michaël Adélaïde, Claire Pagetti

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2002

A Class of Decidable Parametric Hybrid Systems.

Michaël Adélaïde, Olivier F. Roux

Proceedings of the Algebraic Methodology and Software Technology, 2002

2000

Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata.

Michaël Adélaïde, Olivier F. Roux

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000