- 6
Fabrice Kordon
6
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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
FrameKit, an Ada Framework for a Fast Implementation of CASE EnvironmentsAda Letters, 1998, XVIII (5), pp.57-66. ⟨10.1145/291712.291755⟩
Article dans une revue
hal-01198700v1
|
FrameKit: A Generic Platform offering High-Level Standardization Procedure for the Prototyping of CASE Environments11th International Conference on Software Engineering and its Applications, Dec 1998, Paris, France. pp.91-99
Communication dans un congrès
hal-01624603v1
|
|
Implementation of Genericity for customizable CASE environmentsCARI '98, Oct 1998, Dakar, Senegal. pp.765-776
Communication dans un congrès
hal-01575050v1
|
|
FrameKit and the prototyping of CASE environments8th International Workshop on Rapid System Prototyping, Jun 1997, Raleigh-Durham, United States. pp.91-97, ⟨10.1109/IWRSP.1997.618846⟩
Communication dans un congrès
hal-01629203v1
|
|
FrameKit, an Ada Framework for a Fast Implementation of CASE Environments[Research Report] lip6.1998.034, LIP6. 1998
Rapport
hal-02547779v1
|
|
Implementation of Genericity for customizable CASE environments[Research Report] lip6.1998.026, LIP6. 1998
Rapport
hal-02547757v1
|