| 2008 |
|---|
| 8 | EE | Emilie Balland,
Yohan Boichut,
Thomas Genet,
Pierre-Etienne Moreau:
Towards an Efficient Implementation of Tree Automata Completion.
AMAST 2008: 67-82 |
| 7 | EE | Yohan Boichut,
Roméo Courbis,
Pierre-Cyrille Héam,
Olga Kouchnarenko:
Finer Is Better: Abstraction Refinement for Rewriting Approximations.
RTA 2008: 48-62 |
| 6 | EE | 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) |
| 5 | EE | 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) |
| 2007 |
|---|
| 4 | EE | Yohan Boichut,
Thomas Genet,
Thomas P. Jensen,
Luka Le Roux:
Rewriting Approximations for Fast Prototyping of Static Analyzers.
RTA 2007: 48-62 |
| 2006 |
|---|
| 3 | EE | Yohan Boichut,
Pierre-Cyrille Héam,
Olga Kouchnarenko:
Handling Algebraic Properties in Automatic Analysis of Security Protocols.
ICTAC 2006: 153-167 |
| 2 | EE | Yohan Boichut,
Thomas Genet:
Feasible Trace Reconstruction for Rewriting Approximations.
RTA 2006: 123-135 |
| 2005 |
|---|
| 1 | EE | 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 |
