Accéder directement au contenu

Fabrice Kordon

2
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

hubert-garavel
Image document

MCC’2015 – The Fifth Model Checking Contest

Fabrice Kordon , Hubert Garavel , Lom Messan Hillah , Emmanuel Paviot-Adet , Loïg Jezequel
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩
Article dans une revue hal-01361274v1

TOOLympics 2019: An Overview of Competitions in Formal Methods

Ezio Bartocci , Dirk Beyer , Paul Black , Grigory Fedyukovich , Hubert Garavel
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩
Communication dans un congrès hal-02094030v1