Yohan Boichut

	2011
14		Yohan Boichut, Thi-Bich-Hanh Dao, Valérie Murat: Characterizing Conclusive Approximations by Logical Formulae. RP 2011: 72-84
13		Yohan Boichut, Jean-Michel Couvreur, Duy-Tung Nguyen: Functional term rewriting systems towards symbolic model-checking. IJCCBS 2(3/4): 378-408 (2011)
	2009
12		Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: How to Tackle Integer Weighted Automata Positivity. RP 2009: 79-92
11		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)
10		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)
	2008
9		Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau: Towards an Efficient Implementation of Tree Automata Completion. AMAST 2008: 67-82
8		Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA 2008: 48-62
7		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)
6		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)
5		Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Approximation-based Tree Regular Model-Checking. Nord. J. Comput. 14(3): 216-241 (2008)
	2007
4		Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux: Rewriting Approximations for Fast Prototyping of Static Analyzers. RTA 2007: 48-62
	2006
3		Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Algebraic Properties in Automatic Analysis of Security Protocols. ICTAC 2006: 153-167
2		Yohan Boichut, Thomas Genet: Feasible Trace Reconstruction for Rewriting Approximations. RTA 2006: 123-135
	2005
1		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

Coauthor Index

1	Alessandro Armando	[1]
2	Emilie Balland	[9]
3	David A. Basin	[1]
4	Yannick Chevalier	[1]
5	Luca Compagna	[1]
6	Roméo Courbis	[7] [8] [10]
7	Jean-Michel Couvreur	[13]
8	Jorge Cuéllar (Jorge Ricardo Cuellar)	[1]
9	Thi-Bich-Hanh Dao	[14]
10	Paul Hankes Drielsma	[1]
11	Thomas Genet	[2] [4] [9]
12	Pierre-Cyrille Héam	[1] [3] [5] [6] [7] [8] [10] [11] [12]
13	Thomas P. Jensen	[4]
14	Olga Kouchnarenko	[1] [3] [5] [7] [8] [10] [11] [12]
15	Jacopo Mantovani	[1]
16	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[1]
17	Pierre-Etienne Moreau	[9]
18	Valérie Murat	[14]
19	Duy-Tung Nguyen	[13]
20	David von Oheimb	[1]
21	Luka Le Roux	[4]
22	Michaël Rusinowitch	[1]
23	Judson Santiago	[1]
24	Mathieu Turuani	[1]
25	Luca Viganò	[1]
26	Laurent Vigneron	[1]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page