- 4
- 2
Fabrice Kordon
6
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
- 6
- 6
- 4
- 6
Distributed Systems Design and AlgorithmsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages
hal-00779937v1
|
|
Models and Analysis in Distributed SystemsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages
hal-00779944v1
|
|
Systèmes répartis en action : de l'embarqué aux systèmes à large échelleHermes, 2008, Traités IC2 - Informatique et systèmes d'information
Ouvrages
hal-01304950v1
|
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Chapitre d'ouvrage
hal-01282495v1
|
|
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Chapitre d'ouvrage
hal-01288072v1
|
|
Introduction généraleSystèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermès, pp.15-19, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4
Chapitre d'ouvrage
hal-01304954v1
|