Yohan Boichut

According to our database, Yohan Boichut authored at least 21 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SAT-Based Automated Completion for Reachability Analysis.

Yohan Boichut, Vincent Hugot, Adrien Boiret

Proceedings of the Implementation and Application of Automata, 2024

2019

Towards more precise rewriting approximations.

Yohan Boichut, Jacques Chabin, Pierre Réty

J. Comput. Syst. Sci., 2019

Modeling Concurrent Behaviors as Words.

Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

2018

Approximating Any Logic Program by a CS-Program.

Yohan Boichut, Vivien Pelletier, Pierre Réty

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

2016

Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems.

Yohan Boichut, Vivien Pelletier, Pierre Réty

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

2013

Over-approximating Descendants by Synchronized Tree Languages.

Yohan Boichut, Jacques Chabin, Pierre Réty

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

Equational Abstraction Refinement for Certified Tree Regular Model Checking.

Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Functional term rewriting systems towards symbolic model-checking.

Yohan Boichut, Jean-Michel Couvreur, Duy-Tùng Nguyên

Int. J. Crit. Comput. Based Syst., 2011

Characterizing Conclusive Approximations by Logical Formulae.

Yohan Boichut, Thi-Bich-Hanh Dao, Valérie Murat

Proceedings of the Reachability Problems - 5th International Workshop, 2011

2009

Handling Non Left-Linear Rules when Completing Tree Automata.

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Int. J. Found. Comput. Sci., 2009

Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives.

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Joint Proceedings of the 8th, 2009

How to Tackle Integer Weighted Automata Positivity.

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2008

Approximation-based Tree Regular Model-Checking.

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Nord. J. Comput., 2008

A theoretical limit for safety verification techniques with regular fix-point computations.

Yohan Boichut, Pierre-Cyrille Héam

Inf. Process. Lett., 2008

Handling Left-Quadratic Rules When Completing Tree Automata.

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Finer Is Better: Abstraction Refinement for Rewriting Approximations.

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Towards an Efficient Implementation of Tree Automata Completion.

Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Rewriting Approximations for Fast Prototyping of Static Analyzers.

Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

Feasible Trace Reconstruction for Rewriting Approximations.

Yohan Boichut, Thomas Genet

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

Handling Algebraic Properties in Automatic Analysis of Security Protocols.

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Theoretical Aspects of Computing, 2006

2005

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005