Accéder directement au contenu

Fabrice Kordon

25
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

laure-petrucci

Teaching formal methods: Experience at UPMC and UP13 with CosyVerif

Étienne André , Fabrice Kordon , Laure Petrucci
25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. pp.25-28, ⟨10.1109/EAEEIE.2014.6879378⟩
Communication dans un congrès hal-01215588v1

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

Étienne André , Benoît Barbot , Clément Démoulins , Lom Messan Hillah , Francis Hulin-Hubard
15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩
Communication dans un congrès hal-00926126v1

CosyVerif: An Open Source Extensible Verification Environment

Étienne André , Yousra Lembachar , Laure Petrucci , Francis Hulin-Hubard , Alban Linard
18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩
Communication dans un congrès hal-00926165v1

{Extending PNML Scope: the Prioritised Petri Nets Experience}

Lom Messan Hillah , Fabrice Kordon , Charles Lakos , Laure Petrucci
Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. pp.92-106
Communication dans un congrès hal-01282491v1

PNML Framework: an extendable reference implementation of the Petri Net Markup Language

Lom Hillah , Fabrice Kordon , Laure Petrucci , Nicolas Treves
31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Jun 2010, Braga, Portugal. pp.318-327, ⟨10.1007/978-3-642-13675-7_20⟩
Communication dans un congrès hal-01125746v1

Verification of large-scale distributed database systems in the NEOPPOD project

Olivier Bertrand , Aurélien Calonne , Christine Choppy , Silien Hong , Kaïs Klai
Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Jun 2009, Paris, France. pp.315-316
Communication dans un congrès hal-01298277v1

Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains

Serge Haddad , Fabrice Kordon , Laure Petrucci , Jean-François Pradat-Peyre , Nicolas Trèves
28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. pp.5018-5025, ⟨10.1109/ACC.2009.5160020⟩
Communication dans un congrès hal-00772677v1

A primer on the Petri Net Markup Language and ISO/IEC 15909-2

Nicolas Treves , Lom Messan Hillah , Fabrice Kordon , Laure Petrucci
10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Oct 2009, Aarhus, Denmark. pp.19
Communication dans un congrès hal-01126017v1

A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots

Fabrice Kordon , Laure Petrucci
2nd National Workshop on Control Architectures of Robots: From Models to Execution on Distributed Control Architectures, May 2007, Paris, France. pp.15-26
Communication dans un congrès hal-01335148v1

PN standardisation: a survey

Lom Hillah , Fabrice Kordon , Laure Petrucci , Nicolas Trèves
26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Sep 2006, Paris, France. pp.307-322, ⟨10.1007/11888116_23⟩
Communication dans un congrès hal-00084198v1

Tutorial on Formal Methods for Distributed and Cooperative Systems

Christine Choppy , Serge Haddad , Hanna Klaudel , Fabrice Kordon , Laure Petrucci
3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. pp.362--365, ⟨10.1007/11921240_25⟩
Communication dans un congrès hal-00340483v1

Distributed Systems Design and Algorithms

Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages hal-00779937v1

Models and Analysis in Distributed Systems

Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages hal-00779944v1

Systèmes répartis en action : de l'embarqué aux systèmes à large échelle

Fabrice Kordon , Laurent Pautet , Laure Petrucci
Hermes, 2008, Traités IC2 - Informatique et systèmes d'information
Ouvrages hal-01304950v1

Méthodes formelles pour les systèmes répartis et coopératifs

Serge Haddad , Fabrice Kordon , Laure Petrucci
Hermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information
Ouvrages hal-00084193v1

General introduction

Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Distibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Chapitre d'ouvrage hal-01288072v1

Introduction

Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Models and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Chapitre d'ouvrage hal-01282495v1

Introduction générale

Fabrice Kordon , Laurent Pautet , Laure Petrucci
Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermès, pp.15-19, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4
Chapitre d'ouvrage hal-01304954v1

Introduction générale

Serge Haddad , Fabrice Kordon , Laure Petrucci
Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.1-6, 2006, 2-7462-1447-4
Chapitre d'ouvrage hal-01351774v1