Fabrice Kordon

193
Documents

Présentation

Publications

150
18
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
30
27
26
15
12
11
10
9
9
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
4
4
3
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
2
1
1
1
1
1
1
1
1
1
1
137
38
16
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-03777111v1
Deposit thumbnail

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019

Fabrice Kordon , Lom Messan Hillah , Francis Hulin-Hubard , Loïg Jezequel , Emmanuel Paviot-Adet

International Journal on Software Tools for Technology Transfer, 2021, ⟨10.1007/s10009-021-00615-1⟩

Article dans une revue hal-03251314v1

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-01736445v1
Deposit thumbnail

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-01397009v1
Deposit thumbnail

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-01310101v1
Deposit thumbnail

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-01547514v1
Deposit thumbnail

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

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

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

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

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

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

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-01272447v1
Deposit thumbnail

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

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-01270053v1
Deposit thumbnail

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

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

{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-01176331v1
Deposit thumbnail

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

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

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

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

Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange , Laurent Pautet , Alain Plantec , Mickael Kerboeuf , Frank Singhoff et al.

Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩

Article dans une revue hal-00745370v1

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

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

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

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

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

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

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

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

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 Treves

Petri Net Newsletter, 2005, 69, pp.22-40

Article dans une revue hal-00084187v1

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

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

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

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

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

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

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

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

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023

Nicolas Amat , Elvio Amparore , Bernard Berthomieu , Pierre Bouvier , Silvano Dal Zilio et al.

TOOLympics Challenge 2023, Apr 2023, Paris, France. pp.52-89, ⟨10.1007/978-3-031-67695-6_3⟩

Communication dans un congrès hal-04764190v1

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

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

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

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

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

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

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
Deposit thumbnail

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-01766948v1
Deposit thumbnail

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-01540785v1
Deposit thumbnail

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-01492419v1
Deposit thumbnail

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

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

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

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

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

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

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

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

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

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

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

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

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

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-00931415v1
Deposit thumbnail

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-01066995v1
Deposit thumbnail

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

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-01282434v1
Deposit thumbnail

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

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-01282265v1
Deposit thumbnail

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

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

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
Deposit thumbnail

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

{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

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

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

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

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

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

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

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-01292568v1
Deposit thumbnail

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

PN standardisation: a survey

Lom Hillah , Fabrice Kordon , Laure Petrucci , Nicolas Treves

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Process decomposition for Rapid Prototyping of Parallel systems

Fabrice Kordon , Jean-François Pradat-Peyre

6th International Symposium on Computer and Information Science, Oct 1991, Antalya, Turkey

Communication dans un congrès hal-01124800v1
Deposit thumbnail

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

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

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

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

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

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

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

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

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

Fabrice Kordon , Michel Lemoine

Kluwer Academic Publishing, 2004, ⟨10.1007/b116264⟩

Ouvrages hal-01520405v1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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-01529939v1
Deposit thumbnail

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-02548319v1
Deposit thumbnail

Object-Oriented Modeling and Analysis Capabilities

Didier Buchs , Mathieu Buffo , Fabrice Kordon

[Research Report] lip6.2000.001, LIP6. 2000

Rapport (rapport de recherche) hal-02548276v1
Deposit thumbnail

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-02547723v1
Deposit thumbnail

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-02547782v1
Deposit thumbnail

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-02547779v1
Deposit thumbnail

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-02547790v1
Deposit thumbnail

Implementation of Genericity for customizable CASE environments

Fabrice Kordon , Jean-Luc Mounier

[Research Report] lip6.1998.026, LIP6. 1998

Rapport (rapport de recherche) hal-02547757v1
Deposit thumbnail

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-02547753v1
Deposit thumbnail

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-02547668v1
Deposit thumbnail

FrameKit and the prototyping of CASE environments

Fabrice Kordon , Jean-Luc Mounier

[Research Report] lip6.1997.001, LIP6. 1997

Rapport (rapport de recherche) hal-02546094v1