Accéder directement au contenu

Fabrice Kordon

8
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

1004005

Revisiting COTS Middleware for DRE System

Jérôme Hugues , Laurent Pautet , Fabrice Kordon
International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), May 2005, Seattle, United States. pp.72-79, ⟨10.1109/ISORC.2005.46⟩
Communication dans un congrès hal-01489155v1

Rapid Development Methodology for Customized Middleware

Thomas Vergnaud , Jérôme Hugues , Laurent Pautet , Fabrice Kordon
16th IEEE International Workshop on Rapid System Prototyping (RSP'05), Jun 2005, Montreal, Canada. pp.111-117, ⟨10.1109/RSP.2005.42⟩
Communication dans un congrès hal-01490881v1

Towards Proof-Based Real-Time Distribution Middleware

Jérôme Hugues , Fabrice Kordon , Laurent Pautet
13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. pp.51-70
Communication dans un congrès hal-01489156v1

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues , Yann Thierry-Mieg , Fabrice Kordon , Laurent Pautet , Souheib Baarir
9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Sep 2004, Linz, Austria. pp.139-157
Communication dans un congrès hal-01520379v1

PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed Applications

Thomas Vergnaud , Jérôme Hugues , Laurent Pautet , Fabrice Kordon
9th International Conference on Reliable Software Technologies - Ada-Europe 2004, Jun 2004, Palma de Mallorca, Spain. pp.106-119, ⟨10.1007/978-3-540-24841-5_8⟩
Communication dans un congrès hal-01520674v1

Refining Middleware Functions for Verification Purpose

Jérôme Hugues , Fabrice Kordon , Laurent Pautet
Workshop on Software Engineering for Embedded Systems, Sep 2003, Chicago, United States
Communication dans un congrès hal-01529288v1

Contributions to middleware architectures to prototype distribution infrastructures

Jérôme Hugues , Laurent Pautet , Fabrice Kordon
14th IEEE International Workshop on Rapid System Prototyping (RSP'03), Jun 2003, San Diego, CA, United States. pp.124-131, ⟨10.1109/IWRSP.2003.1207039⟩
Communication dans un congrès hal-01529290v1

A case study of Middleware to Middleware: MOM and ORB interoperability

Jérôme Hugues , Fabrice Kordon , Laurent Pautet , Thomas Quinot
4th International Symposium on Distributed Objects and Applications (DOA'02), Oct 2002, Irvine, CA, United States
Communication dans un congrès hal-01544387v1