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

beatrice-berard

Modeling complex systems with VeriJ

Yan Zhang , Béatrice Bérard , Lom Messan Hillah , Fabrice Kordon , Yann Thierry-Mieg
5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. pp.34-45
Communication dans un congrès hal-01288126v1

{Compositional Analysis of Discrete Time Petri nets}

Yann Thierry-Mieg , Béatrice Bérard , Fabrice Kordon , Didier Lime , Olivier Henri Roux
1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. pp.17-31
Communication dans un congrès hal-01282489v1

Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams

Yan Zhang , Béatrice Bérard , Fabrice Kordon , Yann Thierry-Mieg
11th International Workshop on Discrete Event Systems (WODES'10), Sep 2010, Berlin, Germany. pp.281-286, ⟨10.3182/20100830-3-DE-4013.00047⟩
Communication dans un congrès hal-01293801v1

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