- 5
Fabrice Kordon
5
Documents
Présentation
My research work is related to distributed systems, software engineering and formal methods.
My goal is to provide verification tools dedicated to distributed systems and usable by engineers with little knowledge of the underlying techniques.
So, I try to make a bridge between standard specification notation such as UML or AADL and optimized verification techniques based on Model Checking and the Analysis of structural properties of the system. My work mainly relies on Petri Nets
I also try to provide prototype implementations of these techniques in dedicated verification tools. It is thus possible to assess these with realistic problems. So far, I tackle applications such Middleware, Intelligent Transport Systems, Intrusion Detection Systems, or wireless sensor networks that are typical examples of complex distributed systems.
Publications
- 5
- 2
- 1
- 1
- 1
- 5
Modélisation et vérification de systèmes répartis :une approche intégrée avec LfPApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2003, Rennes, France
Communication dans un congrès
hal-01530423v1
|
|
A Model Based Development Approach for Distributed Embedded Systems2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the Future, Oct 2002, Venice, Italy. pp.137-151, ⟨10.1007/978-3-540-24626-8_9⟩
Communication dans un congrès
hal-01544445v1
|
|
Formal Verification of Embedded Distributed Systems in a Prototyping ApproachInternational Workshop on Engineering Automation for Software Intensive System Integration, Jun 2001, Monterey, United States. pp.ONLINE
Communication dans un congrès
hal-01571064v1
|
|
LfP : A specification language for rapid prototyping of concurrent systems12th IEEE International Workshop on Rapid System Prototyping, Jun 2001, Monterey, United States. pp.90-96, ⟨10.1109/IWRSP.2001.933844⟩
Communication dans un congrès
hal-01571157v1
|
|
Using MetaScribe to prototype an UML to C++/Ada95 code generator11th IEEE International Workshop on Rapid System Prototyping, Jun 2000, Paris, France. pp.128-133, ⟨10.1109/IWRSP.2000.855209⟩
Communication dans un congrès
hal-01573111v1
|