Search results for "Arnaud Lanoix"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko	Combining Proof and Model-checking to Validate Reconfigurable Architectures.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	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.	2010	DBLP DOI BibTeX RDF
1	Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix	Using Temporal Logic for Dynamic Reconfigurations of Components.	FACS	2010	DBLP DOI BibTeX RDF
1	Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix	Using Event-B to Verify the Kmelia Components and Their Assemblies.	ASM	2010	DBLP DOI BibTeX RDF
1	Samuel Colin, Arnaud Lanoix, Jeanine Souquières	Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Arnaud Lanoix, Jeanine Souquières	Trustworthy Assembly of Components using the B Refinement.	e-Informatica	2008	DBLP BibTeX RDF
1	Arnaud Lanoix, Samuel Colin, Jeanine Souquières	Développement formel par composants Assemblage et vérification à l'aide de B.	Technique et Science Informatiques	2008	DBLP BibTeX RDF
1	Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières	Towards Validating a Platoon of Cristal Vehicles Using CSP\|\|B.	AMAST	2008	DBLP DOI BibTeX RDF	CSP?B, distributed systems, formal methods, case study, platooning
1	Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières	Using CSP\|\|B Components: Application to a Platoon of Vehicles.	FMICS	2008	DBLP DOI BibTeX RDF	verification, formal methods, specification, case study, CSP, B, compositional modelling
1	Arnaud Lanoix	Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles.	TASE	2008	DBLP DOI BibTeX RDF	Multi-agents systems, Verification, Specification, Event-B, Platooning
1	Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières	Enhancing Dependability of Component-Based Systems.	Ada-Europe	2007	DBLP DOI BibTeX RDF
1	Olga Kouchnarenko, Arnaud Lanoix	How to Verify and Exploit a Refinement of Component-Based Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	LTL properties, verification, composition, refinement, modules, component-based systems
1	Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières	An Operator-based Approach to Incremental Development of Conform Protocol State Machines.	Trustworthy Software	2006	DBLP BibTeX RDF
1	Olga Kouchnarenko, Arnaud Lanoix	Verifying Invariants of Component-Based Systems through Refinement.	AMAST	2004	DBLP DOI BibTeX RDF
1	Olga Kouchnarenko, Arnaud Lanoix	Refinement and Verification of Synchronized Component-Based Systems.	FME	2003	DBLP DOI BibTeX RDF

Publications of "Arnaud Lanoix" ( http://dblp.L3S.de/Authors/Arnaud_Lanoix )