Accéder directement au contenu

Fabrice Kordon

3
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

968373

A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration

Djamel Benmerzoug , Fabrice Kordon , Mahmoud Boufaïda
Advances in Enterprise Engineering I, 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), Jun 2008, Montpellier, France. pp.78-92, ⟨10.1007/978-3-540-68644-6_6⟩
Communication dans un congrès hal-01303701v1

A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents

Djamel Benmerzoug , Mahmoud Boufaïda , Fabrice Kordon
5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), Jun 2007, Madeira, Portugal. pp.163-168
Communication dans un congrès hal-01334853v1