Yohan Boichut

22 papers A* 1C 5Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2024 C conf
SAT-Based Automated Completion for Reachability Analysis.
CIAA
Yohan Boichut, Vincent Hugot, Adrien Boiret
2019 C conf
Modeling Concurrent Behaviors as Words.
VECoS
Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho
2019 J jnl
Towards more precise rewriting approximations.
J. Comput. Syst. Sci.
Yohan Boichut, Jacques Chabin, Pierre Réty
2018 — conf
Approximating Any Logic Program by a CS-Program.
WRLA
Yohan Boichut, Vivien Pelletier, Pierre Réty
2016 — conf
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems.
WRLA
Yohan Boichut, Vivien Pelletier, Pierre Réty
2015 C conf
Towards More Precise Rewriting Approximations.
LATA
Yohan Boichut, Jacques Chabin, Pierre Réty
2013 — conf
Over-approximating Descendants by Synchronized Tree Languages.
RTA
Yohan Boichut, Jacques Chabin, Pierre Réty
2012 C conf
Equational Abstraction Refinement for Certified Tree Regular Model Checking.
ICFEM
Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay
2011 — conf
Characterizing Conclusive Approximations by Logical Formulae.
RP
Yohan Boichut, Thi-Bich-Hanh Dao, Valérie Murat
2011 J jnl
Functional term rewriting systems towards symbolic model-checking.
Int. J. Crit. Comput. Based Syst.
Yohan Boichut, Jean-Michel Couvreur, Duy-Tùng Nguyên
2009 J jnl
Handling Non Left-Linear Rules when Completing Tree Automata.
Int. J. Found. Comput. Sci.
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
2009 — conf
How to Tackle Integer Weighted Automata Positivity.
RP
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
2009 — conf
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives.
INFINITY
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
2008 J jnl
A theoretical limit for safety verification techniques with regular fix-point computations.
Inf. Process. Lett.
Yohan Boichut, Pierre-Cyrille Héam
2008 J jnl
Approximation-based Tree Regular Model-Checking.
Nord. J. Comput.
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
2008 — conf
Finer Is Better: Abstraction Refinement for Rewriting Approximations.
RTA
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
2008 — conf
Handling Left-Quadratic Rules When Completing Tree Automata.
RP
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
2008 — conf
Towards an Efficient Implementation of Tree Automata Completion.
AMAST
Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
2007 — conf
Rewriting Approximations for Fast Prototyping of Static Analyzers.
RTA
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux
2006 — conf
Feasible Trace Reconstruction for Rewriting Approximations.
RTA
Yohan Boichut, Thomas Genet
2006 C conf
Handling Algebraic Properties in Automatic Analysis of Security Protocols.
ICTAC
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
2005 A* conf
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
CAV
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