- 4
- 4
- 1
Fabrice Kordon
9
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
- 9
- 8
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 9
Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. pp.5018-5025, ⟨10.1109/ACC.2009.5160020⟩
Communication dans un congrès
hal-00772677v1
|
|
Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩
Communication dans un congrès
hal-01303699v1
|
|
Tutorial on Formal Methods for Distributed and Cooperative Systems3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. pp.362--365, ⟨10.1007/11921240_25⟩
Communication dans un congrès
hal-00340483v1
|
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
|
|
Méthodes formelles pour les systèmes répartis et coopératifsHermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information
Ouvrages
hal-00084193v1
|
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Chapitre d'ouvrage
hal-01288072v1
|
|
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Chapitre d'ouvrage
hal-01282495v1
|
|
Introduction généraleMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.1-6, 2006, 2-7462-1447-4
Chapitre d'ouvrage
hal-01351774v1
|