Roméo Courbis

According to our database, Roméo Courbis authored at least 7 papers between 2008 and 2015.

Collaborative distances:

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

2015

Formal Verification of Industrial Critical Software.

Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2011

Contributions à l'analyse de systèmes par approximation d'ensembles réguliers.

Roméo Courbis

PhD thesis, 2011

Rewriting Approximations for Properties Verification over CCS Specifications.

Roméo Courbis

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2009

Handling Non Left-Linear Rules when Completing Tree Automata.

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Int. J. Found. Comput. Sci., 2009

TAGED Approximations for Temporal Properties Model-Checking.

Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Implementation and Application of Automata, 2009

2008

Handling Left-Quadratic Rules When Completing Tree Automata.

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Finer Is Better: Abstraction Refinement for Rewriting Approximations.

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008