Olga Kouchnarenko

	2012
37		Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez: Relaxing B Sharing Restrictions within CSP||B. Software Composition 2012: 35-50
	2011
36		Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko: Loops and Overloops for Tree Walking Automata. CIAA 2011: 166-177
35		Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko: Combining Proof and Model-checking to Validate Reconfigurable Architectures. Electr. Notes Theor. Comput. Sci. 279(2): 43-57 (2011)
	2010
34		Julien Dormoy, Olga Kouchnarenko: Event-based adaptation policies for Fractal components. AICCSA 2010: 1-8
33		Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix: Using Temporal Logic for Dynamic Reconfigurations of Components. FACS 2010: 200-217
32		Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko: SAT Solvers for Queries over Tree Automata with Constraints. ICST Workshops 2010: 343-348
31		Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko: Specifying generic Java programs: two case studies. LDTA 2010: 8
30		Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot: Component Simulation-based Substitutivity Managing QoS Aspects. Electr. Notes Theor. Comput. Sci. 260: 109-123 (2010)
29		Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko: Composition of Services with Constraints. Electr. Notes Theor. Comput. Sci. 263: 31-46 (2010)
28		Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot: Component simulation-based substitutivity managing QoS and composition issues. Sci. Comput. Program. 75(10): 898-917 (2010)
	2009
27		Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: TAGED Approximations for Temporal Properties Model-Checking. CIAA 2009: 135-144
26		Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: How to Tackle Integer Weighted Automata Positivity. RP 2009: 79-92
25		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)
24		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
23		Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières: Towards Validating a Platoon of Cristal Vehicles Using CSP||B. AMAST 2008: 139-144
22		Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières: Using CSP||B Components: Application to a Platoon of Vehicles. FMICS 2008: 103-118
21		Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA 2008: 48-62
20		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)
19		Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko: Verification of class liveness properties with java modelling language. IET Software 2(6): 500-514 (2008)
18		Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Approximation-based Tree Regular Model-Checking. Nord. J. Comput. 14(3): 216-241 (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: 30 (1996)

Coauthor Index

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

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page