Accéder directement au contenu

Fabrice Kordon

3
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

thibault-carron

Have you found the error? A Formal Framework for Learning Game Verification

Amel Yessad , Isabelle Mounier , Jean-Marc Labat , Fabrice Kordon , Thibault Carron
9th European Conference on Technology Enhanced Learning, Sep 2014, Graz, Austria. pp.476-481, ⟨10.1007/978-3-319-11200-8_45⟩
Communication dans un congrès hal-01215670v1

Toward Improvement of Serious Game Reliability

Thibault Carron , Fabrice Kordon , Jean-Marc Labat , Isabelle Mounier , Amel Yessad
7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. pp.80-87
Communication dans un congrès hal-01216093v1