Stéphane Rassart

According to our database, Stéphane Rassart authored at least 2 papers between 1997 and 1998.

Collaborative distances:

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

1998

On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).

Bernard Boigelot, Stéphane Rassart, Pierre Wolper

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997

An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract).

Bernard Boigelot, Louis Bronne, Stéphane Rassart

Proceedings of the Computer Aided Verification, 9th International Conference, 1997