Follow
Arnaud Lanoix
Arnaud Lanoix
Verified email at univ-nantes.fr - Homepage
Title
Cited by
Cited by
Year
Ionization of multiwire proportional chamber gas by double photon absorption
J Bourotte, B Sadoulet
Nuclear Instruments and Methods 173 (3), 463-470, 1980
741980
Using temporal logic for dynamic reconfigurations of components
J Dormoy, O Kouchnarenko, A Lanoix
International Workshop on Formal Aspects of Component Software, 200-217, 2010
642010
Event-B specification of a situated multi-agent system: Study of a platoon of vehicles
A Lanoix
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008
562008
Combining proof and model-checking to validate reconfigurable architectures
A Lanoix, J Dormoy, O Kouchnarenko
Electronic Notes in Theoretical Computer Science 279 (2), 43-57, 2011
442011
Component adaptation: Specification and verification
I Mouakher, A Lanoix, J Souquieres
11th International Workshop on Component Oriented Programming-WCOP 2006, 8, 2006
342006
Using CSP|| B components: application to a platoon of vehicles
S Colin, A Lanoix, O Kouchnarenko, J Souquières
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
312008
Refinement and verification of synchronized component-based systems
O Kouchnarenko, A Lanoix
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
232003
Enhancing dependability of component-based systems
A Lanoix, D Hatebur, M Heisel, J Souquieres
International Conference on Reliable Software Technologies, 41-54, 2007
222007
Towards validating a platoon of cristal vehicles using csp|| b
S Colin, A Lanoix, O Kouchnarenko, J Souquières
Algebraic Methodology and Software Technology: 12th International Conference …, 2008
212008
Using assertions to enhance the correctness of kmelia components and their assemblies
P André, G Ardourel, C Attiogbé, A Lanoix
Electronic Notes in Theoretical Computer Science 263, 5-30, 2010
202010
Runtime verification of temporal patterns for dynamic reconfigurations of components
J Dormoy, O Kouchnarenko, A Lanoix
International Workshop on Formal Aspects of Component Software, 115-132, 2011
172011
Generic expression in B of the influence/reaction model: Specifying and verifying situated multi-agent systems
O Simonin, A Lanoix, S Colin, A Scheuer, F Charpillet
INRIA, 2007
122007
Specifying in b the influence/reaction model to study situated mas: Application to vehicles platooning
O Simonin, A Lanoix, A Scheuer, F Charpillet
V2CS: First International workshop on Verification and Validation of multi …, 2011
112011
Verifying invariants of component-based systems through refinement
O Kouchnarenko, A Lanoix
Algebraic Methodology and Software Technology: 10th International Conference …, 2004
112004
How to verify and exploit a refinement of component-based systems
O Kouchnarenko, A Lanoix
Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007
102007
Trustworthy interface compliancy: data model adaptation using B refinement
S Colin, A Lanoix, J Souquières
Electronic Notes in Theoretical Computer Science 203 (7), 23-35, 2009
92009
Trustworthy interface compliancy: data model adaptation using B refinement
S Colin, A Lanoix, J Souquières
Electronic Notes in Theoretical Computer Science 203 (7), 23-35, 2009
92009
Extending OpenAPI 3.0 to build web services from their specification
D Sferruzza, J Rocheteau, C Attiogbé, A Lanoix
International Conference on Web Information Systems and Technologies, 2018
82018
Component substitution through dynamic reconfigurations
A Lanoix, O Kouchnarenko
arXiv preprint arXiv:1404.0848, 2014
82014
When structural refinement of components keeps temporal properties over reconfigurations
J Dormoy, O Kouchnarenko, A Lanoix
International Symposium on Formal Methods, 171-186, 2012
82012
The system can't perform the operation now. Try again later.
Articles 1–20