A theoretical limit for safety verification techniques with regular fix-point computations, Information Processing Letters, vol.108, issue.1, pp.1-2, 2008. ,
DOI : 10.1016/j.ipl.2008.03.012
URL : https://hal.archives-ouvertes.fr/inria-00328487
Term Rewriting and All That, 1998. ,
Réécriture d'automates certifiée pour la vérification de modèles, Thèse de doctorat, 2010. ,
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590
Tree Automata Techniques and Applications, 2008. ,
Abstract Interpretation in a Nutshell, Journal of Symbolic Computation, vol.45, pp.574-597, 2010. ,
« Regular Tree Languages and Rewrite Systems, pp.157-175, 1995. ,
« Reachability analysis of rewriting for Software verification ». Thèse d'habilitation à diriger des recherches, 2009. ,
Decidable approximations of sets of descendants and sets of normal forms, Proc. 9th RTA Conf., Tsukuba (Japan), volume 1379 of LNCS, pp.151-165, 1997. ,
DOI : 10.1007/BFb0052368
URL : https://hal.archives-ouvertes.fr/inria-00073364
Simple Word Problems in Universal Algebras, Computational Problems in Abstract Algebra. Sous la dir. de J. Leech, pp.263-267, 1970. ,
DOI : 10.1007/978-3-642-81955-1_23
Principles of Program Analysis, pp.209-280, 2005. ,
DOI : 10.1007/978-3-662-03811-6
« Inferring regular languages in polynomial update time ». Dans : Pattern Recognition and Image Analysis, pp.49-61, 1992. ,
Analyse d'alias par interprétation abstraite ». Rapport de stage, Université de Rennes, vol.1, 2009. ,
Ensemble de termes accessibles en réécriture : aux frontières de la régularité, 2011. ,
Selected Mathematical Papers of Axel Thue, 1977. ,
,,When nobody else dreamed of these things??? ??? Axel Thue und die Termersetzung, Informatik-Spektrum, vol.72, issue.5, pp.504-508, 2010. ,
DOI : 10.1007/s00287-010-0468-9
Die Lösung eines Spezialfalles eines generellen logischen Problems, Kristiania Videnskabs-Selskabets Skrifter, I. Matematisk-Naturvidenskabelig klasse, 1910. ,