- 7
Fabrice Kordon
7
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
- 7
- 3
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
Formal Framework to improve the reliability of concurrent and collaborative learning gamesEAI Endorsed Transactions on Serious Games, 2014, 14 (2), pp.e4. ⟨10.4108/sg.1.2.e4⟩
Article dans une revue
hal-01174632v1
|
Have you found the error? A Formal Framework for Learning Game Verification9th 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 Reliability7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. pp.80-87
Communication dans un congrès
hal-01216093v1
|
|
Modular Approach to Specify and Validate an Electrical Fligh Control SystemFormal Method Europe (FME '2001), Mar 2001, Berlin, Germany. pp.590-610, ⟨10.1007/3-540-45251-6_34⟩
Communication dans un congrès
hal-01571083v1
|
|
A Survey: Applying Formal Methods to a Software Intensive System6th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), Oct 2001, Boco Raton, FL, United States. pp.55-64, ⟨10.1109/HASE.2001.966807⟩
Communication dans un congrès
hal-01571075v1
|
|
Formal Verification of Embedded Distributed Systems in a Prototyping ApproachInternational Workshop on Engineering Automation for Software Intensive System Integration, Jun 2001, Monterey, United States. pp.ONLINE
Communication dans un congrès
hal-01571064v1
|
Modeling and Verifying Behavioral AspectsFormal Methods for Embedded Distributed Systems - How to master the complexity, Kluwer Academic Publishers, pp.171-211, 2004, 1-4020-7996-6
Chapitre d'ouvrage
hal-01520010v1
|