Accéder directement au contenu

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

serge-haddad

Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains

 Serge Haddad , Fabrice Kordon , Laure Petrucci , Jean-François Pradat-Peyre , Nicolas Trèves
28th 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 Theory

 Béatrice Bérard , Serge Haddad , Lom Messan Hillah , Fabrice Kordon , Yann Thierry-Mieg
9th 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 Systems

 Christine Choppy , Serge Haddad , Hanna Klaudel , Fabrice Kordon , Laure Petrucci
3rd 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 Algorithms

 Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages hal-00779937v1

Models and Analysis in Distributed Systems

 Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Haddad, 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ératifs

 Serge Haddad , Fabrice Kordon , Laure Petrucci
Hermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information
Ouvrages hal-00084193v1

General introduction

 Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Distibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Chapitre d'ouvrage hal-01288072v1

Introduction

 Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Models and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Chapitre d'ouvrage hal-01282495v1

Introduction générale

 Serge Haddad , Fabrice Kordon , Laure Petrucci
Mé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