Roméo Courbis

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann
Formal Verification of Industrial Critical Software. FMICS (2015)
Roméo Courbis
Rewriting Approximations for Properties Verification over CCS Specifications. FSEN (2011)
Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
TAGED Approximations for Temporal Properties Model-Checking. CIAA (2009)
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
Handling Non Left-Linear Rules when Completing Tree Automata. Int. J. Found. Comput. Sci. 20 (5) (2009)
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
Handling Left-Quadratic Rules When Completing Tree Automata. Electron. Notes Theor. Comput. Sci. 223 (2008)
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA (2008)