Fabrice Kordon

Présentation

Publications

Article dans une revue (39)

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
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
Automation and intelligent scheduling of distributed system functional testing Lom Messan Hillah,Ariele-Paolo Maesano,Fabio de Rosa,Fabrice Kordon,Pierre-Henri Wuilleminet 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
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
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
MCC’2015 – The Fifth Model Checking Contest Fabrice Kordon,Hubert Garavel,Lom Messan Hillah,Emmanuel Paviot-Adet,Loïg Jezequelet 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
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
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
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
Report on the Model Checking Contest at Petri Nets 2011 Fabrice Kordon,Alban Linard,Didier Buchs,Maximilien Colange,Sami Evangelistaet 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
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
Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems Mathieu Jan,Christophe Jouvray,Fabrice Kordon,Antonio Kung,Jimmy Lalandeet al. Software: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩ Article dans une revue istex inria-00628310v1
{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
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
{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
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
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 Singhoffet al. Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩ Article dans une revue hal-00745370v1
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
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
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

Communication dans un congrès (116)

CosyVerif: The Path to Formalisms Cohabitation Étienne André,Jaime Arias,Benoît Barbot,Francis Hulin-Hubard,Fabrice Kordonet al. 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, 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 Zilioet 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 Ganeshet 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 Garavelet 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
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
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
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
Service functional testing automation with intelligent scheduling and planning Lom Messan Hillah,Ariele-Paolo Maesano,Libero Maesano,Fabio de Rosa,Fabrice Kordonet 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 Kordonet 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 Linardet 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
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-Hubardet 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 Klaiet 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
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
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
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
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
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
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
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
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
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
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
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 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
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-Adetet 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
Tutorial on Formal Methods for Distributed and Cooperative Systems Christine Choppy,Serge Haddad,Hanna Klaudel,Fabrice Kordon,Laure Petrucciet 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
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
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
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
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 Baariret 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. Lemoineet 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
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

Ouvrages (10)

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

Chapitre d'ouvrage (16)

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

Autre publication scientifique (2)

Ada Fabrice Kordon 2017 Autre publication scientifique hal-01583978v1
Web Report on the Model Checking Contest @ Petri Net 2013 Fabrice Kordon,Alban Linard,Marco Becutti,Didier Buchs,Lukasz Froncet al. 2013 Autre publication scientifique hal-00926989v1

Rapport (10)

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