Back to INDEX

  Publications of Roméo Courbis  

Articles in journal or book chapters
  1. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Non Left-Linear Rules When Completing Tree Automata. IJFCS, Intern. Journal of Foundations of Computer Science, 20(5):837--849, 2009. [bibtex]


Conference articles
  1. Roméo Courbis. Rewriting Approximations For Properties Verification Over CCS Specifications. In FSEN'11, 4th Int. Conf. of Fundamentals of Software Ingeneering, volume * of LNCS, Tehran, Iran, pages ***--***, April 2011. Springer. Note: To appear. [bibtex]


  2. A. Caciula, Roméo Courbis, Violeta Felea, Pierre-Cyrille Héam, and R. Ionescu. Une approche parallèle et distribuée pour la complétion d'automates d'arbre. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 43--46, June 2010. Note: Papier court. [bibtex]


  3. Roméo Courbis, Pierre-Cyrille Héam, Pierre Jourdan, and Olga Kouchnarenko. Approximations par réécriture pour deux problèmes indécidables. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 7--10, June 2010. Note: Papier court. [bibtex]


  4. Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. TAGED Approximations for Temporal Properties Model-Checking. In Sebastian Maneth, editor, CIAA'09, 14th Int. Conf. and Application of Automata, volume 5642 of LNCS, Sydney, Australia, pages 135--144, July 2009. Springer. [bibtex]


  5. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Finer is better: Abstraction Refinement for Rewriting Approximations. In A. Voronkov, editor, RTA'08, 19th int. conf. on Rewriting Techniques and Applications, volume 5117 of LNCS, Hagenberg, Austria, pages 48--62, July 2008. Springer. [bibtex]


  6. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Left-Quadratic Rules When Completing Tree Automata. In RP'08 proceedings, Workshop on Reachability Problems in Computational Models, volume 223 of ENTCS, Electronic Notes in Theoretical Computer Science, Liverpool, United Kingdom, pages 61--70, 2008. Elsevier. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html