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

pierre-henri-wuillemin
Image document

Automation and intelligent scheduling of distributed system functional testing

 Lom Messan Hillah , Ariele-Paolo Maesano , Fabio de Rosa , Fabrice Kordon , Pierre-Henri Wuillemin
International Journal on Software Tools for Technology Transfer, 2017, 19 (3), pp.281-308. ⟨10.1007/s10009-016-0440-3⟩
Article dans une revue hal-01397009v1
Image document

Service functional testing automation with intelligent scheduling and planning

 Lom Messan Hillah , Ariele-Paolo Maesano , Libero Maesano , Fabio de Rosa , Fabrice Kordon
Symposium on Applied Computing (SAC), ACM, Apr 2016, Pisa, Italy. pp.1605-1610
Communication dans un congrès hal-01306954v1

The MIDAS Cloud Platform for Testing SOA Applications

 Steffen Herbold , Jens Grabowski , Patrick Harms , Lom Messan Hillah , Fabrice Kordon
8th International IEEE Conference on Software Testing, Verification and Validation (ICST), Apr 2015, Graz, Austria. pp.1-8, ⟨10.1109/ICST.2015.7102636⟩
Communication dans un congrès hal-01212852v1