Olga Kouchnarenko

	2009
25		Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: TAGED Approximations for Temporal Properties Model-Checking. CIAA 2009: 135-144
24		Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: How to Tackle Integer Weighted Automata Positivity. RP 2009: 79-92
23		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)
	2008
22		Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières: Towards Validating a Platoon of Cristal Vehicles Using CSP||B. AMAST 2008: 139-144
21		Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières: Using CSP||B Components: Application to a Platoon of Vehicles. FMICS 2008: 103-118
20		Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA 2008: 48-62
19		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)
18		Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko: Verification of class liveness properties with java modelling language. IET Software 2(6): 500-514 (2008)
	2007
17		Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot: How to Handle QoS Aspects in Web Services Substitutivity Verification. WETICE 2007: 333-338
	2006
16		Jacques Julliand, Olga Kouchnarenko: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings Springer 2006
15		Olga Kouchnarenko, Arnaud Lanoix: How to Verify and Exploit a Refinement of Component-Based Systems. Ershov Memorial Conference 2006: 297-309
14		Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Algebraic Properties in Automatic Analysis of Security Protocols. ICTAC 2006: 153-167
	2005
13		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
	2004
12		Olga Kouchnarenko, Arnaud Lanoix: Verifying Invariants of Component-Based Systems through Refinement. AMAST 2004: 289-303
	2003
11		Olga Kouchnarenko, Arnaud Lanoix: Refinement and Verification of Synchronized Component-Based Systems. FME 2003: 341-358
10		Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko: How to Compute the Refinement Relation for Parameterized Systems. MEMOCODE 2003: 103-112
9		Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Refinement Preserves PLTL Properties. ZB 2003: 408-420
	2002
8		Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair: Automatic Approximation for the Verification of Cryptographic Protocols. FASec 2002: 33-48
7		Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko: Synchronized Parallel Composition of Event Systems in B. ZB 2002: 436-457
6		Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko: Raffiner pour vérifier des systèmes paramétrés. Technique et Science Informatiques 21(8): 1121-1149 (2002)
	2001
5		Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME 2001: 2-19
	2000
4		Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko: Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE 2000: 266-283
3		Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. ZB 2000: 230-249
	1997
2		Olga Kouchnarenko, Ph. Schnoebelen: A Formal Framework for the Analysis of Recursive-Parallel Programs. PaCT 1997: 45-59
	1996
1		Olga Kouchnarenko, Ph. Schnoebelen: A model for recursive-parallel programs. Electr. Notes Theor. Comput. Sci. 5: (1996)

Coauthor Index

1	Alessandro Armando	[13]
2	David A. Basin	[13]
3	Françoise Bellegarde (Françoise Bellegarde-Webb)	[3] [4] [5] [6] [7] [10]
4	Yohan Boichut	[13] [14] [19] [20] [23] [24]
5	Gérard Cécé	[8]
6	Celina Charlet	[6] [10]
7	Yannick Chevalier	[13]
8	Samuel Colin	[21] [22]
9	Luca Compagna	[13]
10	Roméo Courbis	[19] [20] [25]
11	Jorge Cuéllar	[13]
12	Christophe Darlot	[3] [5] [9]
13	Paul Hankes Drielsma	[13]
14	Alain Giorgetti	[18]
15	Julien Groslambert	[18]
16	Pierre-Cyrille Héam	[13] [14] [17] [19] [20] [23] [24] [25]
17	Jacques Julliand	[3] [4] [5] [7] [9] [16] [18]
18	Arnaud Lanoix	[11] [12] [15] [21] [22]
19	Jacopo Mantovani	[13]
20	Sebastian Mödersheim	[13]
21	Frédéric Oehl	[8]
22	David von Oheimb	[13]
23	Michaël Rusinowitch	[13]
24	Judson Santiago	[13]
25	Ph. Schnoebelen	[1] [2]
26	David Sinclair	[8]
27	Jeanine Souquières	[21] [22]
28	Mathieu Turuani	[13]
29	Luca Viganò	[13]
30	Laurent Vigneron	[13]
31	Jérôme Voinot	[17]

Colors in the list of coauthors