Accéder directement au contenu

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

968343

Heuristics for Checking Liveness Properties with Partial Order Reductions

Alexandre Duret-Lutz , Fabrice Kordon , Denis Poitrenaud , Etienne Renault
Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.340-356, ⟨10.1007/978-3-319-46520-3_22⟩
Communication dans un congrès hal-01368309v1

Parallel Explicit Model Checking for Generalized Büchi Automata

Etienne Renault , Alexandre Duret-Lutz , Fabrice Kordon , Denis Poitrenaud
21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, Apr 2015, London, United Kingdom. pp.613-627, ⟨10.1007/978-3-662-46681-0_56⟩
Communication dans un congrès hal-01216666v1

Hierarchical Set Decision Diagrams and Regular Models

Yann Thierry-Mieg , Denis Poitrenaud , Alexandre Hamez , Fabrice Kordon
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2009, York, United Kingdom. pp.1-15, ⟨10.1007/978-3-642-00768-2_1⟩
Communication dans un congrès hal-01294397v1

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

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