Yohan Boichut

Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay: Equational Abstraction Refinement for Certified Tree Regular Model Checking. ICFEM 2012: 299-315

Yohan Boichut, Jean-Michel Couvreur, Duy-Tung Nguyen: Functional term rewriting systems towards symbolic model-checking. IJCCBS 2(3/4): 378-408 (2011)

Yohan Boichut, Thi-Bich-Hanh Dao, Valérie Murat: Characterizing Conclusive Approximations by Logical Formulae. RP 2011: 72-84

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. Electr. Notes Theor. Comput. Sci. 239: 57-72 (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): 837-849 (2009)

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: How to Tackle Integer Weighted Automata Positivity. RP 2009: 79-92

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Left-Quadratic Rules When Completing Tree Automata. Electr. Notes Theor. Comput. Sci. 223: 61-70 (2008)

Yohan Boichut, Pierre-Cyrille Héam: A theoretical limit for safety verification techniques with regular fix-point computations. Inf. Process. Lett. 108(1): 1-2 (2008)

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Approximation-based Tree Regular Model-Checking. Nord. J. Comput. 14(3): 216-241 (2008)

Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau: Towards an Efficient Implementation of Tree Automata Completion. AMAST 2008: 67-82

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

Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux: Rewriting Approximations for Fast Prototyping of Static Analyzers. RTA 2007: 48-62

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Algebraic Properties in Automatic Analysis of Security Protocols. ICTAC 2006: 153-167

Yohan Boichut, Thomas Genet: Feasible Trace Reconstruction for Rewriting Approximations. RTA 2006: 123-135

Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285