Arnaud Lanoix

Publications

Citations

H-Index

2006

Active since

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Arnaud Lanoix is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in engineering, software design, and systems engineering.

Top concepts

EngineeringSoftware DesignSystems EngineeringAutomationVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware Testing

Publications per year

2006–2011

Publications

Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles

Arnaud Lanoix · 2008 · 35 citations

Engineering, Situated Multi-agent System, Autonomous Agent System +17

Combining Proof and Model-checking to Validate Reconfigurable Architectures

Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko · Electronic Notes in Theoretical Computer Science · 2011 · 32 citations · Full text

Engineering, Verification, Validate Reconfigurable Architectures +20

Component Adaptation: Specification and Verification

Inès Mouakher, Arnaud Lanoix, Jeanine Souquières · 2006 · 21 citations · Full text

Rows per page

1–3 of 3