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

943094

Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow

 Yann Ben Maissa , Fabrice Kordon , Salma Mouline , Yann Thierry-Mieg
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2013, VIII, pp.24-47. ⟨10.1007/978-3-642-40465-8_2⟩
Article dans une revue hal-00840204v1
Image document

Modeling and Analyzing Wireless Sensor Networks with VeriSensor

 Yann Ben Maissa , Fabrice Kordon , Salma Mouline , Yann Thierry-Mieg
Petri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. pp.60-76
Communication dans un congrès hal-00822408v1
Image document

Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification

 Fabrice Kordon , Béatrice Berard , Yann Thierry-Mieg , Yann Ben Maissa
Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Jul 2012, Dagstuhl, Germany. pp.38-39
Communication dans un congrès hal-00822416v1