Arnaud Lanoix

	2012
16		Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez: Relaxing B Sharing Restrictions within CSP||B. Software Composition 2012: 35-50
	2011
15		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
14		Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix: Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM 2010: 410
13		Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix: Using Temporal Logic for Dynamic Reconfigurations of Components. FACS 2010: 200-217
12		Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix: Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. Electr. Notes Theor. Comput. Sci. 263: 5-30 (2010)
	2009
11		Samuel Colin, Arnaud Lanoix, Jeanine Souquières: Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. Electr. Notes Theor. Comput. Sci. 203(7): 23-35 (2009)
	2008
10		Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières: Towards Validating a Platoon of Cristal Vehicles Using CSP||B. AMAST 2008: 139-144
9		Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières: Using CSP||B Components: Application to a Platoon of Vehicles. FMICS 2008: 103-118
8		Arnaud Lanoix: Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. TASE 2008: 297-304
7		Arnaud Lanoix, Samuel Colin, Jeanine Souquières: Développement formel par composants Assemblage et vérification à l'aide de B. Technique et Science Informatiques 27(8): 1007-1032 (2008)
6		Arnaud Lanoix, Jeanine Souquières: Trustworthy Assembly of Components using the B Refinement. e-Informatica 2(1): 9-28 (2008)
	2007
5		Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières: Enhancing Dependability of Component-Based Systems. Ada-Europe 2007: 41-54
	2006
4		Olga Kouchnarenko, Arnaud Lanoix: How to Verify and Exploit a Refinement of Component-Based Systems. Ershov Memorial Conference 2006: 297-309
3		Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières: An Operator-based Approach to Incremental Development of Conform Protocol State Machines. Trustworthy Software 2006
	2004
2		Olga Kouchnarenko, Arnaud Lanoix: Verifying Invariants of Component-Based Systems through Refinement. AMAST 2004: 289-303
	2003
1		Olga Kouchnarenko, Arnaud Lanoix: Refinement and Verification of Synchronized Component-Based Systems. FME 2003: 341-358

Coauthor Index

1	Pascal André	[12] [14]
2	Gilles Ardourel	[12] [14]
3	Christian Attiogbé	[12] [14]
4	Samuel Colin	[7] [9] [10] [11] [16]
5	Julien Dormoy	[13] [15]
6	Denis Hatebur	[5]
7	Maritta Heisel	[5]
8	Olga Kouchnarenko	[1] [2] [4] [9] [10] [13] [15] [16]
9	Dieu Donné Okalas Ossami	[3]
10	Vincent Poirriez	[16]
11	Jeanine Souquières	[3] [5] [6] [7] [9] [10] [11]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page