- 4
Fabrice Kordon
4
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
- 4
- 2
- 2
- 1
- 1
- 4
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial ExampleLNCS Transactions on Petri Nets and Other Models of Concurrency, 2009, Lecture Notes in Computer Science, 5800 (III), pp.159-188. ⟨10.1007/978-3-642-04856-2_7⟩
Article dans une revue
hal-01298297v1
|
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example9th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN' 08), Oct 2008, Aarhus, Denmark. pp.183-202
Communication dans un congrès
hal-01303741v1
|
|
Design, Modeling and Analysis of ITS using UML and Petri Nets10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, WA, United States. pp.314-319, ⟨10.1109/ITSC.2007.4357718⟩
Communication dans un congrès
hal-01334867v1
|
|
An Approach to Model Variations of a Scenario: Application to Intelligent Transport SystemsFourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Jun 2006, Turku, Finland. pp.65-86
Communication dans un congrès
hal-01336640v1
|