- 5
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
- 1
- 1
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
Heuristics for Checking Liveness Properties with Partial Order ReductionsAutomated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.340-356, ⟨10.1007/978-3-319-46520-3_22⟩
Communication dans un congrès
hal-01368309v1
|
|
Parallel Explicit Model Checking for Generalized Büchi Automata21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, Apr 2015, London, United Kingdom. pp.613-627, ⟨10.1007/978-3-662-46681-0_56⟩
Communication dans un congrès
hal-01216666v1
|
|
Hierarchical Set Decision Diagrams and Regular Models15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2009, York, United Kingdom. pp.1-15, ⟨10.1007/978-3-642-00768-2_1⟩
Communication dans un congrès
hal-01294397v1
|
|
Model Checking of Highlevelobject Oriented Specifications : The LfP Experience3rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), Oct 2004, Aarhus, Denmark. pp.149-168
Communication dans un congrès
hal-01520299v1
|
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
|