Accéder directement au contenu

Fabrice Kordon

29
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

yann-thierry-mieg

Controllability for Discrete Event Systems Modeled in VeriJ

Yan Zhang , Béatrice Bérard , Lom Messan Hillah , Fabrice Kordon , Yann Thierry-Mieg
International Journal of Critical Computer-Based Systems, 2014, 5 (3/4), pp.218-240. ⟨10.1504/IJCCBS.2014.064668⟩
Article dans une revue hal-01176427v1

Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow

Yann Ben Maissa , Fabrice Kordon , Salma Mouline , Yann Thierry-Mieg
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2013, VIII, pp.24-47. ⟨10.1007/978-3-642-40465-8_2⟩
Article dans une revue hal-00840204v1

Report on the Model Checking Contest at Petri Nets 2011

Fabrice Kordon , Alban Linard , Didier Buchs , Maximilien Colange , Sami Evangelista
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.169-196. ⟨10.1007/978-3-642-35179-2_8⟩
Article dans une revue hal-01270053v1
Image document

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation

Alexandre Hamez , Yann Thierry-Mieg , Fabrice Kordon
Fundamenta Informaticae, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
Article dans une revue hal-01121192v1

Processus de fabrication de systèmes répartis centré sur un modèle : l'expérience du projet MORSE

Frédéric Gilliers , Fabrice Kordon , Yann Thierry-Mieg
La Revue de l'électricité et de l'électronique, 2006, 3, pp.102-111. ⟨10.3845/ree.2006.036⟩
Article dans une revue hal-01175911v1

Nouvelles techniques de Model Checking pour la vérification de systèmes complexes

Yann Thierry-Mieg , Souheib Baarir , Alexandre Duret-Lutz , Fabrice Kordon
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2004, 69, pp.17-23
Article dans une revue hal-01175956v1

Presentation of the 9th Edition of the Model Checking Contest

Elvio Amparore , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal Zilio , Francesco Gallà
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Communication dans un congrès hal-02094047v1

Self-adaptive Model Checking, the Next Step?

Fabrice Kordon , Yann Thierry-Mieg
Application and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. ⟨10.1007/978-3-319-91268-4_1⟩
Communication dans un congrès hal-01822143v1

Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata

Ala Eddine Ben Salem , Alexandre Duret-Lutz , Fabrice Kordon , Yann Thierry-Mieg
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Apr 2014, Grenoble, France. pp.440-454, ⟨10.1007/978-3-642-54862-8_38⟩
Communication dans un congrès hal-01216559v1

Towards Distributed Software Model-Checking using Decision Diagrams

Maximilien Colange , Souheib Baarir , Fabrice Kordon , Yann Thierry-Mieg
25th International Conference on Computer Aided Verification (CAV), Jul 2013, Saint-Petersbourg, Russia. pp.830-845, ⟨10.1007/978-3-642-39799-8_58⟩
Communication dans un congrès hal-01215999v1
Image document

Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification

Fabrice Kordon , Béatrice Berard , Yann Thierry-Mieg , Yann Ben Maissa
Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Jul 2012, Dagstuhl, Germany. pp.38-39
Communication dans un congrès hal-00822416v1

State Space Analysis using Symmetries on Decision Diagrams

Maximilien Colange , Fabrice Kordon , Yann Thierry-Mieg , Souheib Baarir
12th International Conference on Application of Concurrency to System Design (ACSD'2012), Jun 2012, Hamburg, Germany. pp.164-172, ⟨10.1109/ACSD.2012.28⟩
Communication dans un congrès hal-01270057v1
Image document

Modeling and Analyzing Wireless Sensor Networks with VeriSensor

Yann Ben Maissa , Fabrice Kordon , Salma Mouline , Yann Thierry-Mieg
Petri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. pp.60-76
Communication dans un congrès hal-00822408v1

Modeling complex systems with VeriJ

Yan Zhang , Béatrice Bérard , Lom Messan Hillah , Fabrice Kordon , Yann Thierry-Mieg
5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. pp.34-45
Communication dans un congrès hal-01288126v1
Image document

Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag

Maximilien Colange , Souheib Baarir , Fabrice Kordon , Yann Thierry-Mieg
32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Jun 2011, Newcastle, United Kingdom. pp.338-347, ⟨10.1007/978-3-642-21834-7_20⟩
Communication dans un congrès hal-01282493v1

{Compositional Analysis of Discrete Time Petri nets}

Yann Thierry-Mieg , Béatrice Bérard , Fabrice Kordon , Didier Lime , Olivier Henri Roux
1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. pp.17-31
Communication dans un congrès hal-01282489v1

Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams

Yan Zhang , Béatrice Bérard , Fabrice Kordon , Yann Thierry-Mieg
11th International Workshop on Discrete Event Systems (WODES'10), Sep 2010, Berlin, Germany. pp.281-286, ⟨10.3182/20100830-3-DE-4013.00047⟩
Communication dans un congrès hal-01293801v1

Hierarchical Set Decision Diagrams and Regular Models

Yann Thierry-Mieg , Denis Poitrenaud , Alexandre Hamez , Fabrice Kordon
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2009, York, United Kingdom. pp.1-15, ⟨10.1007/978-3-642-00768-2_1⟩
Communication dans un congrès hal-01294397v1

Experiences in Model Driven Verification of Behavior with UML

Fabrice Kordon , Yann Thierry-Mieg
Foundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected Papers, Sep 2008, Budapest, Hungary. pp.181-200, ⟨10.1007/978-3-642-12566-9_10⟩
Communication dans un congrès hal-01288216v1

Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory

Béatrice Bérard , Serge Haddad , Lom Messan Hillah , Fabrice Kordon , Yann Thierry-Mieg
9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩
Communication dans un congrès hal-01303699v1

Hierarchical Set Decision Diagrams and Automatic Saturation

Alexandre Hamez , Yann Thierry-Mieg , Fabrice Kordon
29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), Jun 2008, Xian, China. pp.211-230, ⟨10.1007/978-3-540-68746-7_16⟩
Communication dans un congrès hal-01303835v1

libDMC: a library to Operate Efficient Distributed Model Checking

Alexandre Hamez , Fabrice Kordon , Yann Thierry-Mieg
Workshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS'2007, Mar 2007, Long Beach, California, United States. ⟨10.1109/IPDPS.2007.370647⟩
Communication dans un congrès hal-00687573v1

dmcG: a distributed symbolic model checker based on GreatSPN

Alexandre Hamez , Fabrice Kordon , Yann Thierry-Mieg , Fabrice Legond-Aubry
28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007), Jun 2007, Siedlce, Poland. pp.495-504, ⟨10.1007/978-3-540-73094-1_29⟩
Communication dans un congrès hal-00701513v1

New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems

Alexandre Hamez , Lom Messan Hillah , Fabrice Kordon , Alban Linard , Emmanuel Paviot-Adet
6th International Conference on Application of Concurrency to System Design (ACSD '06), Jun 2006, Turku, Finland. pp.273-275, ⟨10.1109/ACSD.2006.15⟩
Communication dans un congrès hal-01351775v1

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

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

Modélisation et vérification de systèmes répartis :une approche intégrée avec LfP

Dan Regep , Yann Thierry-Mieg , Frédéric Gilliers , Fabrice Kordon
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2003, Rennes, France
Communication dans un congrès hal-01530423v1

Software Architecture of Modern Model Checkers

Fabrice Kordon , Michael Leuschel , Jaco van de Pol , Yann Thierry-Mieg
Computing and Software Science, State of the Art and Perspectives, 10000, Springer, pp.393-419, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-91908-9_20⟩
Chapitre d'ouvrage hal-02343325v1