Accéder directement au contenu

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

968342

Generation of Distributed Programs in their Target Execution Environment

Frédéric Gilliers , Fabrice Kordon , Jean-Pierre Velu
15th IEEE International Workshop on Rapid System Prototyping, Jun 2004, Geneva, Switzerland. pp.127-134, ⟨10.1109/IWRSP.2004.1311107⟩
Communication dans un congrès hal-01520296v1

Model Checking of Highlevelobject Oriented Specifications : The LfP Experience

Frédéric Gilliers , François Bréant , Denis Poitrenaud , Fabrice Kordon
3rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), Oct 2004, Aarhus, Denmark. pp.149-168
Communication dans un congrès hal-01520299v1

Modélisation et vérification de systèmes répartis :une approche intégrée avec LfP

Dan Regep , Yann Thierry-Mieg , Frédéric Gilliers , Fabrice Kordon
Approches 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 Systems

Frédéric Gilliers , Fabrice Kordon , Dan Regep
2002 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

Modeling and Verifying Behavioral Aspects

François Bréant , Jean-Michel Couvreur , Frédéric Gilliers , Fabrice Kordon , Isabelle Mounier
Formal Methods for Embedded Distributed Systems - How to master the complexity, Kluwer Academic Publishers, pp.171-211, 2004, 1-4020-7996-6
Chapitre d'ouvrage hal-01520010v1