Finer Is Better: Abstraction Refinement for Rewriting Approximations. - Yohan Boichut; Roméo Courbis; Pierre-Cyrille Héam; Olga Kouchnarenko (RTA, 2008)

Handling Left-Quadratic Rules When Completing Tree Automata. - Yohan Boichut; Roméo Courbis; Pierre-Cyrille Héam; Olga Kouchnarenko (RP, 2008)

TAGED Approximations for Temporal Properties Model-Checking. - Roméo Courbis; Pierre-Cyrille Héam; Olga Kouchnarenko (CIAA, 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)

Rewriting Approximations for Properties Verification over CCS Specifications. - Roméo Courbis (FSEN, 2011)

Contributions à l'analyse de systèmes par approximation d'ensembles réguliers. - Roméo Courbis (2011)

Formal Verification of Industrial Critical Software. - Marielle Petit-Doche; Nicolas Breton; Roméo Courbis; Yoann Fonteneau; Matthias Güdemann (FMICS, 2015)