Back to INDEX   Publications of Vincent Hugot   Conference articles Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. Loops and overloops for tree walking automata. In CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata, volume 6807 of LNCS, Blois, France, pages 166--177, July 2011. Springer. [bibtex] Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. SAT Solvers for Queries over Tree Automata with Constraints. In CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, Paris, France, pages 343--348, April 2010. IEEE Computer Society Press. [bibtex] Internal reports Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. Random Generation of Positive TAGEDs wrt. the Emptiness Problem. Research Report RR-7441, INRIA, November 2010. Note: 43 pages. Keywords: tree automata with constraints, TAGED, membership problem, emptiness problem, random generation, difficult cases. [Abstract] [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