Fabrice Kordon

191
Documents

Présentation

Publications

149
17
9
4
4
1
1
1
1
1
1
1
1
4
4
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
34
29
26
25
15
12
11
9
9
8
8
8
7
6
6
6
6
6
6
6
5
5
5
5
4
4
4
4
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
137
38
14
2

Publications

CosyVerif: an Online Verification Platform

Jaime Arias , Benoît Barbot , Francis Hulin-Hubard , Fabrice Kordon , Laure Petrucci
Petri Net Newsletter, 2021, 87, pp.5--7
Article dans une revue hal-03777111 v1

Introduction to the special issue from Petri Nets 2016

Fabrice Kordon , Daniel Moldt
Science of Computer Programming, 2018, 157, pp.1 - 2. ⟨10.1016/j.scico.2018.01.007⟩
Article dans une revue hal-01736445 v1
Image document

Automation and intelligent scheduling of distributed system functional testing

Lom Messan Hillah , Ariele-Paolo Maesano , Fabio de Rosa , Fabrice Kordon , Pierre-Henri Wuillemin et al.
International Journal on Software Tools for Technology Transfer, 2017, 19 (3), pp.281-308. ⟨10.1007/s10009-016-0440-3⟩
Article dans une revue hal-01397009 v1
Image document

Variations on Parallel Explicit Emptiness Checks for Generalized Büchi Automata

Etienne Renault , Alexandre Duret-Lutz , Fabrice Kordon , Denis Poitrenaud
International Journal on Software Tools for Technology Transfer, 2017, 19 (6), pp.653-673. ⟨10.1007/s10009-016-0422-5⟩
Article dans une revue hal-01310101 v1
Image document

ASCENT: a Provably-Terminating Decentralized Logging Service

Xavier Bonnaire , Rudyar Cortés , Fabrice Kordon , Olivier Marin
The Computer Journal, 2017, to be published, 60 (12), pp.1889-1911. ⟨10.1093/comjnl/bxx076⟩
Article dans une revue hal-01547514 v1
Image document

MCC’2015 – The Fifth Model Checking Contest

Fabrice Kordon , Hubert Garavel , Lom Messan Hillah , Emmanuel Paviot-Adet , Loïg Jezequel et al.
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩
Article dans une revue hal-01361274 v1

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-01176427 v1

An Approach for Developing an Interoperability Mechanism Between Cloud Providers

Meriem Thabet , Mahmoud Boufaïda , Fabrice Kordon
International Journal of Space-Based and Situated Computing, 2014, 4 (2), pp.88-99. ⟨10.1504/IJSSC.2014.062469⟩
Article dans une revue hal-01176430 v1

Formal Framework to improve the reliability of concurrent and collaborative learning games

Amel Yessad , Isabelle Mounier , Thibault Carron , Fabrice Kordon , Jean-Marc Labat
EAI Endorsed Transactions on Serious Games, 2014, 14 (2), pp.e4. ⟨10.4108/sg.1.2.e4⟩
Article dans une revue hal-01174632 v1

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 istex hal-00840204 v1

Report on the Model Checking Contest at Petri Nets 2011

Fabrice Kordon , Alban Linard , Didier Buchs , Maximilien Colange , Sami Evangelista et al.
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-01270053 v1

Extending PNML Scope: a Framework to Combine Petri Nets Types

Lom Messan Hillah , Fabrice Kordon , Charles Lakos , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.46-70. ⟨10.1007/978-3-642-35179-2_3⟩
Article dans une revue hal-01272447 v1

Design, implementation and verification of MILS systems

Julien Delange , Laurent Pautet , Fabrice Kordon
Software: Practice and Experience, 2012, 42 (7), pp.799-816. ⟨10.1002/spe.1151⟩
Article dans une revue istex hal-01176409 v1
Image document

Model Checking using Generalized Testing Automata

Ala Eddine Ben Salem , Alexandre Duret-Lutz , Fabrice Kordon
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, 7400 (VI), pp.94-122. ⟨10.1007/978-3-642-35179-2_5⟩
Article dans une revue hal-00855991 v1

Computing a Hierarchical Static order for Decision Diagram-Based Representation from P/T Nets

Silien Hong , Fabrice Kordon , Emmanuel Paviot-Adet , Sami Evangelista
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 6900 (V), pp.121-140. ⟨10.1007/978-3-642-29072-5_5⟩
Article dans une revue hal-01270052 v1
Image document

Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems

Mathieu Jan , Christophe Jouvray , Fabrice Kordon , Antonio Kung , Jimmy Lalande et al.
Software: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Article dans une revue istex inria-00628310 v1

{Ingénierie basée sur les modèles : quelques défis actuels}

Fabrice Kordon
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 93, pp.2-5
Article dans une revue hal-01176331 v1
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-01121192 v1

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

Lom Messan Hillah , Ekkart Kindler , Fabrice Kordon , Laure Petrucci , Nicolas Trèves
Petri Net Newsletter, 2009, 76, pp.9-28
Article dans une revue hal-01176321 v1

{Exploiting colored Petri nets to decide on permutation admissibility}

Rza Bashirov , Fabrice Kordon , Hüseyin Lort
Acta Informatica, 2009, 46 (1), pp.43-55. ⟨10.1007/s00236-008-0084-1⟩
Article dans une revue istex hal-01176303 v1

A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example

Fabien Bonnefoi , Christine Choppy , Fabrice Kordon
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2009, Lecture Notes in Computer Science, 5800 (III), pp.159-188. ⟨10.1007/978-3-642-04856-2_7⟩
Article dans une revue istex hal-01298297 v1

Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange , Laurent Pautet , Alain Plantec , Mickael Kerboeuf , Frank Singhoff et al.
ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Article dans une revue hal-00745370 v1

Application des méthodes formelles à la robotique modulaire

Lom Messan Hillah , Fabrice Kordon , Laure Petrucci
Journal Européen des Systèmes Automatisés, 2008, 42 (4), pp.459-478. ⟨10.3166/jesa.42.459-478⟩
Article dans une revue istex hal-01175915 v1

From the prototype to the final embedded system using the Ocarina AADL tool suite

Jérôme Hugues , Béchir Zalila , Laurent Pautet , Fabrice Kordon
ACM Transactions on Embedded Computing Systems (TECS), 2008, 7 (4), pp.42. ⟨10.1145/1376804.1376810⟩
Article dans une revue hal-01175916 v1

Evinrude: A Tool to Automatically Transform Program's Sources into Petri Nets

Jean-Baptiste Voron , Fabrice Kordon
Petri Net Newsletter, 2008, 75, pp.19-38
Article dans une revue hal-01175966 v1

Formalisation and verification of interaction protocols for business process integration: a Petri net approach

Djamel Benmerzoug , Fabrice Kordon , Mahmoud Boufaïda
International Journal of Simulation and Process Modelling, 2008, 4 (3/4), pp.195-204. ⟨10.1504/IJSPM.2008.023681⟩
Article dans une revue hal-01176311 v1

An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration

Razika Driouche , Zizette Boufaïda , Fabrice Kordon
International Journal of Interoperability in Business Information Systems, 2007, 2 (2), pp.39-64
Article dans une revue hal-01175910 v1

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-01175911 v1

Toward formal methods oecumenism?

Fabrice Kordon , Laure Petrucci
IEEE Distributed Systems Online, 2006, 7 (7), pp. 2. ⟨10.1109/MDSO.2006.47⟩
Article dans une revue hal-00084199 v1

Toward next-generation toward next-generation middleware ?

Fabrice Kordon , Laurent Pautet
IEEE Distributed Systems Online, 2005, 6 (3), ⟨10.1109/MDSO.2005.18⟩
Article dans une revue hal-01175924 v1

Model Engineering on Petri Nets for ISO/IEC 15909-2: API Framework for Petri Net Types Metamodels

Lom Messan Hillah , Fabrice Kordon , Laure Petrucci , Nicolas Trèves
Petri Net Newsletter, 2005, 69, pp.22-40
Article dans une revue hal-00084187 v1

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-01175956 v1

Des vertus de la schizophrénie pour le prototypage d'applications à composants intéropérables

Laurent Pautet , Fabrice Kordon
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23 (10), pp.1301-1328. ⟨10.3166/tsi.23.1301-1328⟩
Article dans une revue istex hal-01175940 v1

An Overview of Rapid System Prototyping Today

Fabrice Kordon , Jörg Henkel
Design Automation for Embedded Systems, 2003, 8 (4), pp.275-282. ⟨10.1023/B:DAEM.0000013062.16911.c5⟩
Article dans une revue hal-01198694 v1

An introduction to Rapid System Prototyping

Fabrice Kordon ,   Luqi
IEEE Transactions on Software Engineering, 2002, 28 (9), pp.817-821. ⟨10.1109/TSE.2002.1033222⟩
Article dans une revue hal-01198697 v1

DROOPI: Towards a generic Middleware

Thomas Quinot , Fabrice Kordon , Laurent Pautet
Ada Letters, 2001, 21 (2), pp.26-52. ⟨10.1145/568948.568949⟩
Article dans une revue hal-01198803 v1

FrameKit, an Ada Framework for a Fast Implementation of CASE Environments

Fabrice Kordon , Jean-Luc Mounier
Ada Letters, 1998, XVIII (5), pp.57-66. ⟨10.1145/291712.291755⟩
Article dans une revue hal-01198700 v1

BioMedScape: A new WWW Platform in Neurosciences

Ghislaine Filliatreau , Fabrice Kordon , Nicolas Poizot , Claude Kordon
European Healthcare Telematics Observatory Journal, 1997
Article dans une revue hal-01623811 v1

CosyVerif: The Path to Formalisms Cohabitation

Étienne André , Jaime Arias , Benoît Barbot , Francis Hulin-Hubard , Fabrice Kordon et al.
45th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩
Communication dans un congrès hal-04610312 v1

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving

Vincent Vallade , Ludovic Le Frioux , Souheib Baarir , Julien Sopena , Vijay Ganesh et al.
SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing, Jul 2020, Alghero / Virtual, Italy. pp.11-27, ⟨10.1007/978-3-030-51825-7_2⟩
Communication dans un congrès hal-02906505 v1

On the Usefulness of Clause Strengthening in Parallel SAT Solving

Vincent Vallade , Ludovic Le Frioux , Souheib Baarir , Julien Sopena , Fabrice Kordon
NFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States
Communication dans un congrès hal-02545756 v1

TOOLympics 2019: An Overview of Competitions in Formal Methods

Ezio Bartocci , Dirk Beyer , Paul Black , Grigory Fedyukovich , Hubert Garavel et al.
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩
Communication dans un congrès hal-02094030 v1

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework

Ludovic Le Frioux , Souheib Baarir , Julien Sopena , Fabrice Kordon
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.135-151, ⟨10.1007/978-3-030-17462-0_8⟩
Communication dans un congrès hal-02093520 v1

Presentation of the 9th Edition of the Model Checking Contest

Elvio Amparore , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal Zilio , Francesco Gallà et al.
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-02094047 v1

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

Hakan Metin , Souheib Baarir , Fabrice Kordon
NASA Formal Methods Symposium, May 2019, Houston, United States. pp.316-332, ⟨10.1007/978-3-030-20652-9_21⟩
Communication dans un congrès hal-02145257 v1

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-01822143 v1
Image document

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving

Hakan Metin , Souheib Baarir , Maximilien Colange , Fabrice Kordon
Tools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece
Communication dans un congrès hal-01766948 v1
Image document

PaInleSS: a Framework for Parallel SAT Solving

Ludovic Le Frioux , Souheib Baarir , Julien Sopena , Fabrice Kordon
The 20th International Conference on Theory and Applications of Satisfiability Testing, Aug 2017, Melbourne, Australia. pp.233-250, ⟨10.1007/978-3-319-66263-3_15⟩
Communication dans un congrès hal-01540785 v1
Image document

Petri Nets Repository: a tool to benchmark and debug Petri Net tools

Lom Messan Hillah , Fabrice Kordon
38th International Conference, PETRI NETS 2017, University of Zaragoza, Jun 2017, Zaragoza, Spain. pp.125-135
Communication dans un congrès hal-01492419 v1
Image document

Service functional testing automation with intelligent scheduling and planning

Lom Messan Hillah , Ariele-Paolo Maesano , Libero Maesano , Fabio de Rosa , Fabrice Kordon et al.
Symposium on Applied Computing (SAC), ACM, Apr 2016, Pisa, Italy. pp.1605-1610
Communication dans un congrès hal-01306954 v1

Heuristics for Checking Liveness Properties with Partial Order Reductions

Alexandre Duret-Lutz , Fabrice Kordon , Denis Poitrenaud , Etienne Renault
Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.340-356, ⟨10.1007/978-3-319-46520-3_22⟩
Communication dans un congrès hal-01368309 v1

Parallel Explicit Model Checking for Generalized Büchi Automata

Etienne Renault , Alexandre Duret-Lutz , Fabrice Kordon , Denis Poitrenaud
21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, Apr 2015, London, United Kingdom. pp.613-627, ⟨10.1007/978-3-662-46681-0_56⟩
Communication dans un congrès hal-01216666 v1

The MIDAS Cloud Platform for Testing SOA Applications

Steffen Herbold , Jens Grabowski , Patrick Harms , Lom Messan Hillah , Fabrice Kordon et al.
8th International IEEE Conference on Software Testing, Verification and Validation (ICST), Apr 2015, Graz, Austria. pp.1-8, ⟨10.1109/ICST.2015.7102636⟩
Communication dans un congrès hal-01212852 v1

BenchKit, a Tool for Massive Concurrent Benchmarking

Fabrice Kordon , Francis Hulin-Hubard
14th International Conference on Application of Concurrency to System Design (ACSD'14), Jun 2014, Tunis, Tunisia. pp.159-165, ⟨10.1109/ACSD.2014.12⟩
Communication dans un congrès hal-01091157 v1

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-01215588 v1

Have you found the error? A Formal Framework for Learning Game Verification

Amel Yessad , Isabelle Mounier , Jean-Marc Labat , Fabrice Kordon , Thibault Carron
9th European Conference on Technology Enhanced Learning, Sep 2014, Graz, Austria. pp.476-481, ⟨10.1007/978-3-319-11200-8_45⟩
Communication dans un congrès hal-01215670 v1

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-01216559 v1

CosyVerif: An Open Source Extensible Verification Environment

Étienne André , Yousra Lembachar , Laure Petrucci , Francis Hulin-Hubard , Alban Linard et al.
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-00926165 v1

A Scalable Architecture for Highly Reliable Certification

Xavier Bonnaire , Rudyar Cortes , Fabrice Kordon , Olivier Marin
TrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul 2013, Melbourne, Australia. pp.328-335, ⟨10.1109/TrustCom.2013.44⟩
Communication dans un congrès hal-00931444 v1

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 et al.
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 istex hal-00926126 v1

Toward Improvement of Serious Game Reliability

Thibault Carron , Fabrice Kordon , Jean-Marc Labat , Isabelle Mounier , Amel Yessad
7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. pp.80-87
Communication dans un congrès hal-01216093 v1

Verification of a Quasi certification Protocol over a DHT

Fabrice Kordon , Xavier Bonnaire , Rudyar Cortes , Olivier Marin
Dagstuhl Seminar "Formal Verification of Distributed Algorithms", Apr 2013, Dagstuhl, Germany
Communication dans un congrès hal-00931415 v1

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-01215999 v1
Image document

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking

Etienne Renault , Alexandre Duret-Lutz , Fabrice Kordon , Denis Poitrenaud
19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), Mar 2013, Rome, Italy. pp.580-593, ⟨10.1007/978-3-642-36742-7_42⟩
Communication dans un congrès hal-01066995 v1
Image document

Three SCC-based Emptiness Checks for Generalized Büchi Automata

Etienne Renault , Alexandre Duret-Lutz , Fabrice Kordon , Denis Poitrenaud
19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13), Dec 2013, Stellenbosch, South Africa. pp.668-682, ⟨10.1007/978-3-642-45221-5_44⟩
Communication dans un congrès hal-01066992 v1
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-00822416 v1

Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach

Maximilien Colange , Lom Messan Hillah , Fabrice Kordon , Pierre Parutto
Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, 2012, Oxford, United Kingdom. pp.330-352, ⟨10.1007/978-3-642-34059-8_17⟩
Communication dans un congrès hal-01282265 v1

Modeling and Verifying Distributed Systems with Petri Nets (tutorial)

Souheib Baarir , Fabrice Kordon
2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Nov 2012, Constantine, Algeria. pp.92-92, ⟨10.1109/IWAISE.2012.24⟩
Communication dans un congrès hal-01282434 v1
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-00822408 v1

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-01270057 v1

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-01288126 v1
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 istex hal-01282493 v1

{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-01282489 v1

{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-01282491 v1

{Generalized Büchi Automata versus Testing Automata for Model Checking}

Ala Eddine Ben Salem , Alexandre Duret-Lutz , Fabrice Kordon
2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), Jun 2011, Newcastle, United Kingdom. pp.65-79
Communication dans un congrès hal-01282490 v1

polyDD: Towards a Framework Generalizing Decision Diagrams

Alban Linard , Emmanuel Paviot-Adet , Fabrice Kordon , Didier Buchs , Samuel Charron
10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. pp.124-133, ⟨10.1109/ACSD.2010.17⟩
Communication dans un congrès hal-01292564 v1

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems

Gilles Lasnier , Thomas Robert , Laurent Pautet , Fabrice Kordon
13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), May 2010, Carmona, Spain. pp.87-91, ⟨10.1109/ISORC.2010.32⟩
Communication dans un congrès hal-01292574 v1

A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL

Jun Zhu , Fabrice Kordon
2nd International Conference on Information Management and Engineering (ICIME 2010), Apr 2010, Chengdu, China. pp.304-310, ⟨10.1109/ICIME.2010.5477558⟩
Communication dans un congrès hal-01292580 v1

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 istex hal-01125746 v1

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 istex hal-01288216 v1

Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach

Jean-Baptiste Voron , Clément Démoulins , Fabrice Kordon
10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. pp.57-66, ⟨10.1109/ACSD.2010.32⟩
Communication dans un congrès hal-01292568 v1

Design, Verification and Implementation of MILS systems

Julien Delange , Laurent Pautet , Fabrice Kordon
The 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. pp.1-8
Communication dans un congrès hal-01288211 v1
Image document

Modeling and Validation of ARINC653 architectures

Julien Delange , Laurent Pautet , Fabrice Kordon
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Communication dans un congrès hal-02269428 v1

Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex

Gilles Lasnier , Thomas Robert , Laurent Pautet , Fabrice Kordon
10th international conference on New Technologies of Distributed Systems (NOTERE'2010), Jun 2010, Tozeur, Tunisia. pp.17-24, ⟨10.1109/NOTERE.2010.5536853⟩
Communication dans un congrès hal-01292569 v1

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-01293801 v1

Self-Reconfigurable Modular Robots and their Symbolic Configuration Space

Souheib Baarir , Lom Messan Hillah , Fabrice Kordon , Etienne Renault
Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers, Mar 2010, Redmond, United States. pp.103-121, ⟨10.1007/978-3-642-21292-5_6⟩
Communication dans un congrès istex hal-01288061 v1

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-00772677 v1

Model Driven Enginering versus Organic Computing, two complementary approaches

Fabrice Kordon
12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, Mar 2009, Tokyo, Japan. pp.99-100, ⟨10.1109/ISORC.2009.25⟩
Communication dans un congrès hal-01298275 v1

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-01294397 v1

Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets

Xavier Renault , Fabrice Kordon , Jérôme Hugues
The 20th International Workshop on Rapid System Prototyping, Jun 2009, Paris, France. pp.26-33, ⟨10.1109/RSP.2009.30⟩
Communication dans un congrès hal-01294399 v1

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

Olivier Bertrand , Aurélien Calonne , Christine Choppy , Silien Hong , Kaïs Klai et al.
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-01298277 v1

From AADL architectural models to Petri Nets: Checking model viability

Xavier Renault , Fabrice Kordon , Jérôme Hugues
12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.313-320, ⟨10.1109/ISORC.2009.11⟩
Communication dans un congrès hal-01298276 v1

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-01126017 v1

A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example

Fabien Bonnefoi , Christine Choppy , Fabrice Kordon
9th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN' 08), Oct 2008, Aarhus, Denmark. pp.183-202
Communication dans un congrès hal-01303741 v1

Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel Programs

Jean-Baptiste Voron , Fabrice Kordon
International Workshop on Petri Nets Tools and APplications (PNTAP), Mar 2008, Marseille, France. pp.1-10
Communication dans un congrès hal-01305040 v1

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-01303699 v1

Code Generation Strategies for Partitioned Systems

Julien Delange , Laurent Pautet , Fabrice Kordon
29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. pp.53-56
Communication dans un congrès hal-01303791 v1

From Model Driven Engineering to Verification Driven Engineering

Fabrice Kordon , Jérôme Hugues , Xavier Renault
6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), Oct 2008, Capri, Italy. pp.381-393, ⟨10.1007/978-3-540-87785-1_34⟩
Communication dans un congrès hal-01304953 v1

Design Methodologies for Embedded Systems: Where is the Super-Glue?

Fabrice Kordon
11th International Symposium on Object-oriented Real-time Distributed Computing (ISORC '08), May 2008, Orlando, United States. pp.358-359, ⟨10.1109/ISORC.2008.88⟩
Communication dans un congrès hal-01304942 v1

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-01303701 v1

Formal Modeling of a Generic Middleware to Ensure Invariant Properties

Xavier Renault , Jérôme Hugues , Fabrice Kordon
10th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), Jun 2008, Oslo, Norway. pp.185-200, ⟨10.1007/978-3-540-68863-1_12⟩
Communication dans un congrès hal-01304976 v1

Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs

  Luqi , Fabrice Kordon
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, Revised Selected Papers, Sep 2007, Monterey, United States. pp.15-24, ⟨10.1007/978-3-540-89778-1_5⟩
Communication dans un congrès istex hal-01304961 v1

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-01303835 v1

A Factory To Design and Build Tailorable and Verifiable Middleware

Jérôme Hugues , Fabrice Kordon , Laurent Pautet , Thomas Vergnaud
Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), Sep 2005, University of California, Irvine, United States. pp.121-142, ⟨10.1007/978-3-540-71156-8_7⟩
Communication dans un congrès istex hal-01335054 v1

Rapid Prototyping of Intrusion Detection Systems

Fabrice Kordon , Jean-Baptiste Voron , Liviu Iftode
18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. pp.89-98, ⟨10.1109/RSP.2007.34⟩
Communication dans un congrès hal-01335149 v1

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-01334853 v1

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina

Jérôme Hugues , Béchir Zalila , Laurent Pautet , Fabrice Kordon
18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. pp.106-112, ⟨10.1109/RSP.2007.33⟩
Communication dans un congrès hal-01335114 v1

Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems

Fabrice Kordon
International Symposium on Object-oriented Real-time Distributed Computing (ISORC'07), May 2007, Santorini, Greece. pp.420-427, ⟨10.1109/ISORC.2007.42⟩
Communication dans un congrès hal-01335145 v1

Design, Modeling and Analysis of ITS using UML and Petri Nets

Fabien Bonnefoi , Lom Messan Hillah , Fabrice Kordon , Xavier Renault
10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, WA, United States. pp.314-319, ⟨10.1109/ITSC.2007.4357718⟩
Communication dans un congrès hal-01334867 v1

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-00687573 v1

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 istex hal-00701513 v1

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-01335148 v1

A Framework for DRE Middleware, an Application to DDS

Jérôme Hugues , Fabrice Kordon , Laurent Pautet
International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Apr 2006, Gyeongju, South Korea. pp.224-231, ⟨10.1109/ISORC.2006.4⟩
Communication dans un congrès hal-01336642 v1

A Multi-Views Business Process Ontology for Flexible Collaboration

Razika Driouche , Zizette Boufaïda , Fabrice Kordon
International Workshop on Enterprise Integration, Interoperability and Networking (EI2N '06), Mar 2006, Bordeaux, France. pp.49-62, ⟨10.1002/9780470612200.ch4⟩
Communication dans un congrès hal-01351747 v1

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 et al.
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-01351775 v1

Tutorial on Formal Methods for Distributed and Cooperative Systems

Christine Choppy , Serge Haddad , Hanna Klaudel , Fabrice Kordon , Laure Petrucci et al.
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 istex hal-00340483 v1

An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems

Fabien Bonnefoi , Lom Messan Hillah , Fabrice Kordon , Guy Fremont
Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Jun 2006, Turku, Finland. pp.65-86
Communication dans un congrès hal-01336640 v1

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 istex hal-00084198 v1

An Ontology Based Architecture for Integrating Enterprise Applications

Razika Driouche , Zizette Boufaïda , Fabrice Kordon
International Workshop on Modelling, Simulation and Validation of Enterprise Information Systems - MSVVEIS 2006, May 2006, Paphos, Cyprus. pp.26-37, ⟨10.5220/0002493000260037⟩
Communication dans un congrès hal-01351749 v1

Towards Integrating Collaborative Business Process based onProcess Ontology and EbXML Collaboration Scenario

Razika Driouche , Zizette Boufaïda , Fabrice Kordon
6th International Workshop On Web Based Collaboration (WBC '2006), Sep 2006, Krakow, Poland. pp.299-303
Communication dans un congrès hal-01351742 v1

Optimized Colored Nets Unfolding

Fabrice Kordon , Alban Linard , Emmanuel Paviot-Adet
International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), Sep 2006, Paris, France. pp.339-355, ⟨10.1007/11888116_25⟩
Communication dans un congrès hal-01351825 v1

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-01489155 v1

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-01489156 v1

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-01490881 v1

Using the AADL to Describe Distributed Applications from Middleware to Software Components

Thomas Vergnaud , Laurent Pautet , Fabrice Kordon
Reliable Software Technologies (RST'05), Jun 2005, York, United Kingdom. pp.67-78, ⟨10.1007/11499909_6⟩
Communication dans un congrès hal-01493416 v1

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues , Yann Thierry-Mieg , Fabrice Kordon , Laurent Pautet , Souheib Baarir et al.
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-01520379 v1

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 istex hal-01520674 v1

Model Checking of Highlevelobject Oriented Specifications : The LfP Experience

Frédéric Gilliers , François Bréant , Denis Poitrenaud , Fabrice Kordon
3rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), Oct 2004, Aarhus, Denmark. pp.149-168
Communication dans un congrès hal-01520299 v1

Generation of Distributed Programs in their Target Execution Environment

Frédéric Gilliers , Fabrice Kordon , Jean-Pierre Velu
15th IEEE International Workshop on Rapid System Prototyping, Jun 2004, Geneva, Switzerland. pp.127-134, ⟨10.1109/IWRSP.2004.1311107⟩
Communication dans un congrès hal-01520296 v1

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-01529290 v1

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-01529288 v1

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-01530423 v1

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-01544387 v1

A Model Based Development Approach for Distributed Embedded Systems

Frédéric Gilliers , Fabrice Kordon , Dan Regep
2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the Future, Oct 2002, Venice, Italy. pp.137-151, ⟨10.1007/978-3-540-24626-8_9⟩
Communication dans un congrès istex hal-01544445 v1

Modular Approach to Specify and Validate an Electrical Fligh Control System

M. Doche , Isabelle Vernier-Mounier , Fabrice Kordon
Formal Method Europe (FME '2001), Mar 2001, Berlin, Germany. pp.590-610, ⟨10.1007/3-540-45251-6_34⟩
Communication dans un congrès istex hal-01571083 v1

LfP : A specification language for rapid prototyping of concurrent systems

Dan Regep , Fabrice Kordon
12th IEEE International Workshop on Rapid System Prototyping, Jun 2001, Monterey, United States. pp.90-96, ⟨10.1109/IWRSP.2001.933844⟩
Communication dans un congrès hal-01571157 v1

A Survey: Applying Formal Methods to a Software Intensive System

G. Gaudière , A. De Groot , J. Hooman , Fabrice Kordon , M. Lemoine et al.
6th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), Oct 2001, Boco Raton, FL, United States. pp.55-64, ⟨10.1109/HASE.2001.966807⟩
Communication dans un congrès hal-01571075 v1

From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models

Thomas Quinot , Fabrice Kordon , Laurent Pautet
3rd International Symposium on Distributed Objects and Applications (DOA'01), Sep 2001, Roma, Italy. pp.165-175, ⟨10.1109/DOA.2001.954082⟩
Communication dans un congrès hal-01571185 v1

Architecture for a reuseable object-oriented polymorphic middleware

Fabrice Kordon , Laurent Pautet , Thomas Quinot
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Jun 2001, Las-Vegas, United States
Communication dans un congrès hal-01571190 v1

Formal Verification of Embedded Distributed Systems in a Prototyping Approach

Fabrice Kordon , Isabelle Vernier-Mounier , Emmanuel Paviot-Adet , Dan Regep
International Workshop on Engineering Automation for Software Intensive System Integration, Jun 2001, Monterey, United States. pp.ONLINE
Communication dans un congrès hal-01571064 v1

Formalization of a spatialised multiagent model using Coloured Petri nets for the study of an hunting management system

Innocent Bakam , Fabrice Kordon , Christophe Le Page , François Bousquet
Formal Approaches to Agent-Based Systems, Apr 2000, Greenbelt, MD, United States. pp.123-132, ⟨10.1007/3-540-45484-5_10⟩
Communication dans un congrès hal-01573109 v1

Using MetaScribe to prototype an UML to C++/Ada95 code generator

Dan Regep , Fabrice Kordon
11th IEEE International Workshop on Rapid System Prototyping, Jun 2000, Paris, France. pp.128-133, ⟨10.1109/IWRSP.2000.855209⟩
Communication dans un congrès hal-01573111 v1

Formalisation de modèles multi-agents par les réseaux de petri: Application à l'étude d'un système de gestion de la chasse à l'Est-Cameroun

Innocent Bakam , Fabrice Kordon , Christophe Le Page , François Bousquet
CARI' 2000, Oct 2000, Antananarive, Madagascar
Communication dans un congrès hal-01573113 v1

Using CPN-AMI to validate a safe channel protocol

Fabrice Kordon , Emmanuel Paviot-Adet
Toolset of the International Conference on Theory and Applications of Petri Nets, Jun 1999, Williamsburg, Virginia, United States
Communication dans un congrès hal-01574368 v1

MetaScribe, an Ada-based Tool for the Construction of Tranformation Engines

Fabrice Kordon
International Conference on Reliable Software Technologies - Ada-Europe '99, Jun 1999, Santander, Spain. pp.308-319, ⟨10.1007/3-540-48753-0_27⟩
Communication dans un congrès istex hal-01574367 v1

Testing Prototypes Validity to Enhance Code Reuse

Didier Buchs , Alioune Diagne , Fabrice Kordon
9th IEEE International Workshop on Rapid System Prototyping, Jun 1998, Leuven, Belgium. pp.6-12, ⟨10.1109/IWRSP.1998.676661⟩
Communication dans un congrès hal-01621743 v1

Implementation of Genericity for customizable CASE environments

Fabrice Kordon , Jean-Luc Mounier
CARI '98, Oct 1998, Dakar, Senegal. pp.765-776
Communication dans un congrès hal-01575050 v1

Quality Management Issues along Life-cycle of Distributed Applications

Alioune Diagne , Pascal Estraillier , Fabrice Kordon
CARI '98, Oct 1998, Dakar, Senegal. pp.753-763
Communication dans un congrès hal-01575053 v1

FrameKit: A Generic Platform offering High-Level Standardization Procedure for the Prototyping of CASE Environments

Fabrice Kordon , Jean-Luc Mounier
11th International Conference on Software Engineering and its Applications, Dec 1998, Paris, France. pp.91-99
Communication dans un congrès hal-01624603 v1

BioMedScape: a Web based Environment for Diffusion and Analysis of Research Data in Discrete Areas of Life-Sciences

Fabrice Kordon , Nicolas Poizot , Ghislaine Filliatreau , Claude Kordon
Thirteenth International Conference on Computer Communication, Nov 1997, Cannes, France. pp.149-154
Communication dans un congrès hal-01629205 v1

FrameKit and the prototyping of CASE environments

Fabrice Kordon , Jean-Luc Mounier
8th 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-01629203 v1

Process decomposition for Rapid Prototyping of Parallel systems

Fabrice Kordon , Jean-François Peyre
6th International Symposium on Computer and Information Science, Oct 1991, Antalya, Turkey
Communication dans un congrès hal-01124800 v1
Image document

Generation of ADA code from a Petri Net : an application

Bernard Cousin , Pascal Estraillier , Fabrice Kordon
3rd International Symposium on Computer and Information Sciences (ISCIS III), Oct 1988, Izmir, Turkey
Communication dans un congrès hal-04808088 v1

Transactions on Petri Nets and Other Models of Concurrency XVI

Maciej Koutny , Fabrice Kordon , Daniel Moldt
Springer Berlin, Heidelberg, 13220, 2022, Lecture Notes in Computer Science, 978-3-662-65302-9. ⟨10.1007/978-3-662-65303-6⟩
Ouvrages (édition critique) hal-03926379 v1

Transactions on Petri Nets and Other Models of Concurrency XV

Maciej Koutny , Fabrice Kordon , Lucia Pomello
Springer, 12530, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-63079-2⟩
Ouvrages hal-03157708 v1

Embedded Systems, analysis and modeling with SysML, UML and AADL

Fabrice Kordon , Jérôme Hugues , Agusti Canals , Alain Dohet
Wiley, 2013, 978-1-84821-500-9
Ouvrages hal-01221804 v1

Modélisation et analyse des systèmes embarqués

Fabrice Kordon , Jérôme Hugues , Agusti Canals , Alain Dohet
Collection SEE - Hermes, 2013, 978-2-7462-3900-5
Ouvrages hal-01221798 v1

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-00779944 v1

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-00779937 v1

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-01304950 v1

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-00084193 v1

Formal Methods for Embedded Distributed Systems : How to Master the Complexity ?

Fabrice Kordon , Michel Lemoine
Kluwer Academic Publishing, 2004, ⟨10.1007/b116264⟩
Ouvrages hal-01520405 v1

Petri Net Approaches for Modelling and Validation

Wil van Der Aalst , José-Manuel Colom , Fabrice Kordon , Gabriela Kotsis , Daniel Moldt
1, 1999, LINCOM Studies in Computer Science
Ouvrages hal-01574409 v1

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-02343325 v1

Elements for the Design of Embedded Computer Systems

Fabrice Kordon , Jérôme Hugues , Agusti Canals , Alain Dohet
Embedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.3-27, 2013
Chapitre d'ouvrage hal-01221595 v1

Eléments pour la conception des systèmes embarqués

Fabrice Kordon , Jérôme Hugues , Agusti Canals , Alain Dohet
Modélisation et analyse de systèmes embarqués, Hermes, pp.21-44, 2013
Chapitre d'ouvrage hal-01221593 v1

Introduction générale

Fabrice Kordon , Jérôme Hugues , Agusti Canals , Alain Dohet
Modélisation et analyse de systèmes embarqués, Hermes, pp.15-18, 2013
Chapitre d'ouvrage hal-01221594 v1

Introduction

Fabrice Kordon , Jérôme Hugues , Agusti Canals , Alain Dohet
Embedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.xix-xxii, 2013
Chapitre d'ouvrage hal-01221598 v1

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-01282495 v1

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-01288072 v1

Introduction to Large-Scale Peer-to-Peer Distributed Systems

Fabrice Kordon
Distibuted Systems: Design and Algorithms, 2, Wiley, pp.21-31, 2011, 9781848212503. ⟨10.1002/9781118601365.ch2⟩
Chapitre d'ouvrage hal-01288074 v1

A Model-Based Approach To Configure and Reconfigure Avionics Systems

Julien Delange , Laurent Pautet , Fabrice Kordon
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, pp.509-541, 2011, 9781609600860. ⟨10.4018/978-1-60960-086-0.ch019⟩
Chapitre d'ouvrage hal-01288059 v1

Introduction aux systèmes répartis à large échelle

Fabrice Kordon
Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermes, pp.189-200, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4
Chapitre d'ouvrage hal-01304909 v1

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-01304954 v1

Construction d'un intergiciel vérifié

Jérôme Hugues , Fabrice Kordon , Laurent Pautet
Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.265-287, 2006, 2-7462-1447-4
Chapitre d'ouvrage hal-01351785 v1

Panorama sur le développement

Fabrice Kordon
Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.253-264, 2006, 2-7462-1447-4
Chapitre d'ouvrage hal-01351822 v1

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-01351774 v1

Modeling and Verifying Behavioral Aspects

François Bréant , Jean-Michel Couvreur , Frédéric Gilliers , Fabrice Kordon , Isabelle Mounier et al.
Formal Methods for Embedded Distributed Systems - How to master the complexity, Kluwer Academic Publishers, pp.171-211, 2004, 1-4020-7996-6
Chapitre d'ouvrage hal-01520010 v1

Code Generation

Fabrice Kordon , William El-Kaïm
Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, Springer-Verlag, pp.433-469, 2003, 3-540-41217-4
Chapitre d'ouvrage hal-01529939 v1
Image document

Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System

Innocent Bakam , Fabrice Kordon , Christophe Le Page , François Bousquet
[Research Report] lip6.2000.017, LIP6. 2000
Rapport (rapport de recherche) hal-02548319 v1
Image document

Object-Oriented Modeling and Analysis Capabilities

Didier Buchs , Mathieu Buffo , Fabrice Kordon
[Research Report] lip6.2000.001, LIP6. 2000
Rapport (rapport de recherche) hal-02548276 v1
Image document

Enregistrement des services dans la plate-forme d'accueil FrameKit

Fabrice Kordon
[Rapport de recherche] lip6.1998.038, LIP6. 1998
Rapport (rapport de recherche) hal-02547790 v1
Image document

Testing Prototypes Validity to Enhance Code Reuse

Didier Buchs , Alioune Diagne , Fabrice Kordon
[Research Report] lip6.1998.017, LIP6. 1998
Rapport (rapport de recherche) hal-02547723 v1
Image document

MetaScribe : un outil pour la génération de moteurs de réécriture

Fabrice Kordon
[Rapport de recherche] lip6.1998.037, LIP6. 1998
Rapport (rapport de recherche) hal-02547782 v1
Image document

FrameKit, an Ada Framework for a Fast Implementation of CASE Environments

Fabrice Kordon , Jean-Luc Mounier
[Research Report] lip6.1998.034, LIP6. 1998
Rapport (rapport de recherche) hal-02547779 v1
Image document

Implementation of Genericity for customizable CASE environments

Fabrice Kordon , Jean-Luc Mounier
[Research Report] lip6.1998.026, LIP6. 1998
Rapport (rapport de recherche) hal-02547757 v1
Image document

Quality Management Issues along Life-cycle of Distributed Applications

Alioune Diagne , Pascal Estraillier , Fabrice Kordon
[Research Report] lip6.1998.025, LIP6. 1998
Rapport (rapport de recherche) hal-02547753 v1
Image document

FrameKit and the prototyping of CASE environments

Fabrice Kordon , Jean-Luc Mounier
[Research Report] lip6.1997.001, LIP6. 1997
Rapport (rapport de recherche) hal-02546094 v1
Image document

From Formal Specification to Optimized Implementation of Distributed Systems.: A Multi-Formalism Approach

Alioune Diagne , Fabrice Kordon
[Research Report] lip6.1997.039, LIP6. 1997
Rapport (rapport de recherche) hal-02547668 v1