Co-auteurs

Export Publications

Exporter les publications affichées :
Nombre de documents

179

Fabrice Kordon


My research work is related to distributed systems, software engineering and formal methods.

 

My goal is to provide verification tools dedicated to distributed systems and usable by engineers with little knowledge of the underlying techniques.

 

So, I try to make a bridge between standard specification notation such as UML or AADL and optimized verification techniques based on Model Checking and the Analysis of structural properties of the system. My work mainly relies on Petri Nets

 

I also try to provide prototype implementations of these techniques in dedicated verification tools. It is thus possible to assess these with realistic problems. So far, I tackle applications such Middleware, Intelligent Transport Systems, Intrusion Detection Systems, or wireless sensor networks that are typical examples of complex distributed systems.


Article dans une revue36 documents

  • Fabrice Kordon, Daniel Moldt. Introduction to the special issue from Petri Nets 2016. Science of Computer Programming, Elsevier, 2018, 157, pp.1 - 2. 〈10.1016/j.scico.2018.01.007〉. 〈hal-01736445〉
  • Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud. Variations on Parallel Explicit Emptiness Checks for Generalized Büchi Automata. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (6), pp.653-673. 〈10.1007/s10009-016-0422-5〉. 〈hal-01310101〉
  • Lom Messan Hillah, Ariele-Paolo Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin, et al.. Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (3), pp.281-308. 〈10.1007/s10009-016-0440-3〉. 〈hal-01397009〉
  • Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin. ASCENT: a Provably-Terminating Decentralized Logging Service. The Computer Journal, Oxford University Press (UK), 2017, to be published, 60 (12), pp.1889-1911. 〈10.1093/comjnl/bxx076〉. 〈hal-01547514〉
  • Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, et al.. MCC’2015 – The Fifth Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency, Springer, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. 〈http://link.springer.com/chapter/10.1007/978-3-662-53401-4_12〉. 〈10.1007/978-3-662-53401-4_12〉. 〈hal-01361274〉
  • Meriem Thabet, Mahmoud Boufaïda, Fabrice Kordon. An Approach for Developing an Interoperability Mechanism Between Cloud Providers. International Journal of Space-Based and Situated Computing, 2014, 4 (2), pp.88-99. 〈10.1504/IJSSC.2014.062469〉. 〈hal-01176430〉
  • Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Controllability for Discrete Event Systems Modeled in VeriJ. International Journal of Critical Computer-Based Systems, 2014, 5 (3/4), pp.218-240. 〈10.1504/IJCCBS.2014.064668〉. 〈hal-01176427〉
  • Amel Yessad, Isabelle Mounier, Thibault Carron, Fabrice Kordon, Jean-Marc Labat. Formal Framework to improve the reliability of concurrent and collaborative learning games. EAI Endorsed Transactions on Serious Games, ICST, 2014, 14 (2), pp.e4. 〈10.4108/sg.1.2.e4〉. 〈hal-01174632〉
  • Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow. Transactions on Petri Nets and Other Models of Concurrency, Springer, 2013, VIII, pp.24-47. 〈10.1007/978-3-642-40465-8_2〉. 〈hal-00840204〉
  • Lom Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci. Extending PNML Scope: a Framework to Combine Petri Nets Types. Transactions on Petri Nets and Other Models of Concurrency, Springer, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.46-70. 〈10.1007/978-3-642-35179-2_3〉. 〈hal-01272447〉
  • Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista. Computing a Hierarchical Static order for Decision Diagram-Based Representation from P/T Nets. Transactions on Petri Nets and Other Models of Concurrency, Springer, 2012, Lecture Notes in Computer Science, 6900 (V), pp.121-140. 〈10.1007/978-3-642-29072-5_5〉. 〈hal-01270052〉
  • Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, et al.. Report on the Model Checking Contest at Petri Nets 2011. Transactions on Petri Nets and Other Models of Concurrency, Springer, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.169-196. 〈10.1007/978-3-642-35179-2_8〉. 〈hal-01270053〉
  • Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon. Model Checking using Generalized Testing Automata. Transactions on Petri Nets and Other Models of Concurrency, Springer, 2012, 7400 (VI), pp.94-122. 〈10.1007/978-3-642-35179-2_5〉. 〈hal-00855991〉
  • Mathieu Jan, Christophe Jouvray, Fabrice Kordon, Antonio Kung, Jimmy Lalande, et al.. Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems. Software: Practice and Experience, Wiley, 2012, 42 (12), pp.1467-1494. 〈10.1002/spe.1143〉. 〈inria-00628310〉
  • Julien Delange, Laurent Pautet, Fabrice Kordon. {Design, implementation and verification of MILS systems}. Software: Practice and Experience, Wiley, 2012, 42 (7), pp.799-816. 〈10.1002/spe.1151〉. 〈hal-01176409〉
  • Fabrice Kordon. {Ingénierie basée sur les modèles : quelques défis actuels}. Génie logiciel, C & S, 2010, 93, pp.2-5. 〈hal-01176331〉
  • Lom Messan Hillah, Ekkart Kindler, Fabrice Kordon, Laure Petrucci, Nicolas Trèves. A primer on the Petri Net Markup Language and ISO/IEC 15909-2. Petri Net Newsletter, 2009, 76, pp.9-28. 〈hal-01176321〉
  • Fabien Bonnefoi, Christine Choppy, Fabrice Kordon. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Transactions on Petri Nets and Other Models of Concurrency, Springer, 2009, Lecture Notes in Computer Science, 5800 (III), pp.159-188. 〈10.1007/978-3-642-04856-2_7〉. 〈hal-01298297〉
  • Julien Delange, Laurent Pautet, Alain Plantec, Mickael Kerboeuf, Frank Singhoff, et al.. Validate, Simulate and Implement ARINC653 Systems using the AADL. ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. 〈10.1145/1653616.1647435〉. 〈hal-00745370〉
  • Rza Bashirov, Fabrice Kordon, Hüseyin Lort. {Exploiting colored Petri nets to decide on permutation admissibility}. Acta Informatica, Springer Verlag, 2009, 46 (1), pp.43-55. 〈10.1007/s00236-008-0084-1〉. 〈hal-01176303〉
  • Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon. Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 94 (3-4), pp.413-437. 〈10.3233/FI-2009-137〉. 〈hal-01121192〉
  • Jean-Baptiste Voron, Fabrice Kordon. Evinrude: A Tool to Automatically Transform Program's Sources into Petri Nets. Petri Net Newsletter, 2008, 75, pp.19-38. 〈hal-01175966〉
  • Lom Messan Hillah, Fabrice Kordon, Laure Petrucci. Application des méthodes formelles à la robotique modulaire. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2008, 42 (4), pp.459-478. 〈10.3166/jesa.42.459-478〉. 〈hal-01175915〉
  • Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda. Formalisation and verification of interaction protocols for business process integration: a Petri net approach. International Journal of Simulation and Process Modelling, Inderscience, 2008, 4 (3/4), pp.195-204. 〈10.1504/IJSPM.2008.023681〉. 〈hal-01176311〉
  • Jérôme Hugues, Béchir Zalila, Laurent Pautet, Fabrice Kordon. From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2008, 7 (4), pp.42. 〈10.1145/1376804.1376810〉. 〈hal-01175916〉
  • Razika Driouche, Zizette Boufaïda, Fabrice Kordon. An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration. International Journal of Interoperability in Business Information Systems, 2007, 2 (2), pp.39-64. 〈hal-01175910〉
  • Frédéric Gilliers, Fabrice Kordon, Yann Thierry-Mieg. Processus de fabrication de systèmes répartis centré sur un modèle : l'expérience du projet MORSE. REE - Revue de l’électricité électronique, See, 2006, 3, pp.102-111. 〈10.3845/ree.2006.036〉. 〈hal-01175911〉
  • Fabrice Kordon, Laurent Pautet. Toward next-generation toward next-generation middleware ?. IEEE Distributed Systems Online, Institute of Electrical and Electronics Engineers (IEEE), 2005, 6 (3), 〈10.1109/MDSO.2005.18〉. 〈hal-01175924〉
  • Lom Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves. Model Engineering on Petri Nets for ISO/IEC 15909-2: API Framework for Petri Net Types Metamodels. Petri Net Newsletter, 2005, 69, pp.22-40. 〈hal-00084187〉
  • Yann Thierry-Mieg, Souheib Baarir, Alexandre Duret-Lutz, Fabrice Kordon. Nouvelles techniques de Model Checking pour la vérification de systèmes complexes. Génie logiciel, C & S, 2004, 69, pp.17-23. 〈hal-01175956〉
  • Laurent Pautet, Fabrice Kordon. Des vertus de la schizophrénie pour le prototypage d'applications à composants intéropérables. Technique et Science Informatiques, Hermès-Lavoisier, 2004, 23 (10), pp.1301-1328. 〈10.3166/tsi.23.1301-1328〉. 〈hal-01175940〉
  • Fabrice Kordon, Jörg Henkel. An Overview of Rapid System Prototyping Today. Design Automation for Embedded Systems, Springer Verlag, 2003, 8 (4), pp.275-282. 〈10.1023/B:DAEM.0000013062.16911.c5〉. 〈hal-01198694〉
  • Fabrice Kordon,   Luqi. An introduction to Rapid System Prototyping. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2002, 28 (9), pp.817-821. 〈10.1109/TSE.2002.1033222〉. 〈hal-01198697〉
  • Thomas Quinot, Fabrice Kordon, Laurent Pautet. DROOPI: Towards a generic Middleware. Ada Letters, Association for Computing Machinery, 2001, 21 (2), pp.26-52. 〈10.1145/568948.568949〉. 〈hal-01198803〉
  • Fabrice Kordon, Jean-Luc Mounier. FrameKit, an Ada Framework for a Fast Implementation of CASE Environments. Ada Letters, Association for Computing Machinery, 1998, XVIII (5), pp.57-66. 〈10.1145/291712.291755〉. 〈hal-01198700〉
  • Ghislaine Filliatreau, Fabrice Kordon, Nicolas Poizot, Claude Kordon. BioMedScape: A new WWW Platform in Neurosciences. European Healthcare Telematics Observatory Journal, 1997. 〈hal-01623811〉

Communication dans un congrès105 documents

  • Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon. CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. Tools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece. Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. 〈hal-01766948〉
  • Lom Messan Hillah, Fabrice Kordon. Petri Nets Repository: a tool to benchmark and debug Petri Net tools. 38th International Conference, PETRI NETS 2017, Jun 2017, Zaragoza, Spain. Springer, 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, 10258, pp.125-135, 2017, Lecture Notes in Computer Science. 〈hal-01492419〉
  • Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon. PaInleSS: a Framework for Parallel SAT Solving.. The 20th International Conference on Theory and Applications of Satisfiability Testing, Aug 2017, Melbourne, Australia. Springer, 10491, pp.233-250, Lecture Notes in Computer Science. 〈10.1007/978-3-319-66263-3_15〉. 〈hal-01540785〉
  • Lom Messan Hillah, Ariele-Paolo Maesano, Libero Maesano, Fabio De Rosa, Fabrice Kordon, et al.. Service functional testing automation with intelligent scheduling and planning. Symposium on Applied Computing (SAC), Apr 2016, Pisa, Italy. pp.1605-1610, 2016, Proceeding of the 31st Annual ACM Symposium on Applied Computing. 〈hal-01306954〉
  • Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault. Heuristics for Checking Liveness Properties with Partial Order Reductions. Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. Springer, 9938, pp.340-356, Lecture Notes in Computer Science. 〈10.1007/978-3-319-46520-3_22〉. 〈hal-01368309〉
  • Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud. Parallel Explicit Model Checking for Generalized Büchi Automata. 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, Apr 2015, London, United Kingdom. Springer, 9035, pp.613-627, Lecture Notes in Computer Science. 〈10.1007/978-3-662-46681-0_56〉. 〈hal-01216666〉
  • Steffen Herbold, Jens Grabowski, Patrick Harms, Lom Messan Hillah, Fabrice Kordon, et al.. The MIDAS Cloud Platform for Testing SOA Applications. 8th International IEEE Conference on Software Testing, Verification and Validation (ICST), Apr 2015, Graz, Austria. IEEE Press, pp.1-8, 〈10.1109/ICST.2015.7102636〉. 〈hal-01212852〉
  • Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg. Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Apr 2014, Grenoble, France. Springer, 8413, pp.440-454, Lecture Notes in Computer Science. 〈10.1007/978-3-642-54862-8_38〉. 〈hal-01216559〉
  • Étienne André, Fabrice Kordon, Laure Petrucci. Teaching formal methods: Experience at UPMC and UP13 with CosyVerif. 25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. IEEE, pp.25-28, 〈10.1109/EAEEIE.2014.6879378〉. 〈hal-01215588〉
  • Fabrice Kordon, Francis Hulin-Hubard. BenchKit, a Tool for Massive Concurrent Benchmarking. 14th International Conference on Application of Concurrency to System Design (ACSD'14), Jun 2014, Tunis, Tunisia. IEEE Computer Society Press, pp.159-165, 〈10.1109/ACSD.2014.12〉. 〈hal-01091157〉
  • Amel Yessad, Isabelle Mounier, Jean-Marc Labat, Fabrice Kordon, Thibault Carron. Have you found the error? A Formal Framework for Learning Game Verification. 9th European Conference on Technology Enhanced Learning, Sep 2014, Graz, Austria. Springer, 8719, pp.476-481, Lecture Notes in Computer Science. 〈10.1007/978-3-319-11200-8_45〉. 〈hal-01215670〉
  • Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud. Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. Nir Piterman and Scott A. Smolka. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), Mar 2013, Rome, Italy. Springer, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), 7795, pp.580-593, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-36742-7_42〉. 〈hal-01066995〉
  • Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud. Three SCC-based Emptiness Checks for Generalized Büchi Automata. Ken McMillan and Aart Middeldorp and Andrei Voronkov. 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13), Dec 2013, Stellenbosch, South Africa. Springer, Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13), 8312, pp.668-682, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-45221-5_44〉. 〈hal-01066992〉
  • Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. Towards Distributed Software Model-Checking using Decision Diagrams. 25th International Conference on Computer Aided Verification (CAV), Jul 2013, Saint-Petersbourg, Russia. Springer Verlag, 8044, pp.830-845, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39799-8_58〉. 〈hal-01215999〉
  • Thibault Carron, Fabrice Kordon, Jean-Marc Labat, Isabelle Mounier, Amel Yessad. Toward Improvement of Serious Game Reliability. 7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. Academic Conferences and Publishing International, 2, pp.80-87. 〈hal-01216093〉
  • Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, et al.. CosyVerif: An Open Source Extensible Verification Environment. 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. IEEE Computer Society Press, pp.33-36, 2013, 〈10.1109/ICECCS.2013.15〉. 〈hal-00926165〉
  • Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, et al.. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. Lindsay Groves; Jing Sun. 15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. Springer Berlin Heidelberg, 8144, pp.199-214, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-41202-8_14〉. 〈hal-00926126〉
  • Fabrice Kordon, Xavier Bonnaire, Rudyar Cortes, Olivier Marin. Verification of a Quasi certification Protocol over a DHT. Dagstuhl Seminar "Formal Verification of Distributed Algorithms", Apr 2013, Dagstuhl, Germany. 2013. 〈hal-00931415〉
  • Xavier Bonnaire, Rudyar Cortes, Fabrice Kordon, Olivier Marin. A Scalable Architecture for Highly Reliable Certification. TrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul 2013, Melbourne, Australia. IEEE, pp.328-335, 2013, 〈10.1109/TrustCom.2013.44〉. 〈hal-00931444〉
  • Souheib Baarir, Fabrice Kordon. Modeling and Verifying Distributed Systems with Petri Nets (tutorial). 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Nov 2012, Constantine, Algeria. IEEE Press, 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), pp.92-92, 〈10.1109/IWAISE.2012.24〉. 〈hal-01282434〉
  • Maximilien Colange, Lom Messan Hillah, Fabrice Kordon, Pierre Parutto. Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach. Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, 2012, Oxford, United Kingdom. Springer, Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, 7539, pp.330-352, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34059-8_17〉. 〈hal-01282265〉
  • Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor. Petri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. Petri Net and Software Engineering (PNSE), 851, pp.60-76, 2012, CEUR Workshop Proceedings. 〈hal-00822408〉
  • Fabrice Kordon, Béatrice Berard, Yann Thierry-Mieg, Yann Ben Maissa. Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification. Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Jul 2012, Dagstuhl, Germany. Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", pp.38-39, 2012. 〈hal-00822416〉
  • Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir. State Space Analysis using Symmetries on Decision Diagrams. 12th International Conference on Application of Concurrency to System Design (ACSD'2012), Jun 2012, Hamburg, Germany. IEEE Computer Society, 12th International Conference on Application of Concurrency to System Design (ACSD'2012), pp.164-172, 〈10.1109/ACSD.2012.28〉. 〈hal-01270057〉
  • Lom Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci. {Extending PNML Scope: the Prioritised Petri Nets Experience}. Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. CEUR, Petri Net and Software Engineering (PNSE 2011), 723, pp.92-106, CEUR-WS. 〈hal-01282491〉
  • Yann Thierry-Mieg, Béatrice Bérard, Fabrice Kordon, Didier Lime, Olivier Henri Roux. {Compositional Analysis of Discrete Time Petri nets}. 1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. CEUR, 1st workshop on Petri Nets Compositions (CompoNet 2011), 726, pp.17-31, CEUR-WS. 〈hal-01282489〉
  • Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon. {Generalized Büchi Automata versus Testing Automata for Model Checking}. 2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), Jun 2011, Newcastle, United Kingdom. CEUR, 2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), 726, pp.65-79, CEUR-WS. 〈hal-01282490〉
  • Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag. 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Jun 2011, Newcastle, United Kingdom. Springer, 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), 6709, pp.338-347, Lecture Notes in Computer Science. 〈10.1007/978-3-642-21834-7_20〉. 〈hal-01282493〉
  • Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Modeling complex systems with VeriJ. 5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. British Informatics Society Ltd, 5th Verification and Evaluation of Computer and Communication System (VECOS), pp.34-45. 〈hal-01288126〉
  • Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron. polyDD: Towards a Framework Generalizing Decision Diagrams. 10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. IEEE, 10th International Conference on Application of Concurrency to System Design (ACSD'2010), pp.124-133, 〈10.1109/ACSD.2010.17〉. 〈hal-01292564〉
  • Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon. Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), May 2010, Carmona, Spain. IEEE, 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), pp.87-91, 〈10.1109/ISORC.2010.32〉. 〈hal-01292574〉
  • Lom Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Treves. PNML Framework: an extendable reference implementation of the Petri Net Markup Language. 31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Jun 2010, Braga, Portugal. Springer, 6128, pp.318-327, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-13675-7_20〉. 〈hal-01125746〉
  • Souheib Baarir, Lom Messan Hillah, Fabrice Kordon, Etienne Renault. {Self-Reconfigurable Modular Robots and their Symbolic Configuration Space}. 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. Springer, Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers, 6662, pp.103-121, Lecture Notes in Computer Science. 〈10.1007/978-3-642-21292-5_6〉. 〈hal-01288061〉
  • Julien Delange, Laurent Pautet, Fabrice Kordon. Design, Verification and Implementation of MILS systems. The 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. IEEE Computer Society, Proceedings of the 21th International Symposium on Rapid System Prototyping, pp.1-8. 〈hal-01288211〉
  • Jean-Baptiste Voron, Clément Démoulins, Fabrice Kordon. Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach. 10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. IEEE, 10th International Conference on Application of Concurrency to System Design (ACSD'2010), pp.57-66, 〈10.1109/ACSD.2010.32〉. 〈hal-01292568〉
  • Julien Delange, Laurent Pautet, Fabrice Kordon. Modeling and Validation of ARINC653 architectures. Embedded Real Time Software and Systems (ERTSS'10), May 2010, Toulouse, France. Embedded Real Time Software and Systems (ERTSS'10), pp.1-8. 〈hal-01292578〉
  • Jun Zhu, Fabrice Kordon. A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL. 2nd International Conference on Information Management and Engineering (ICIME 2010), Apr 2010, Chengdu, China. IEEE, 2nd International Conference on Information Management and Engineering (ICIME 2010), pp.304-310, 〈10.1109/ICIME.2010.5477558〉. 〈hal-01292580〉
  • Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon. Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. 10th international conference on New Technologies of Distributed Systems (NOTERE'2010), Jun 2010, Tozeur, Tunisia. IEEE, 10th international conference on New Technologies of Distributed Systems (NOTERE'2010), pp.17-24, 〈10.1109/NOTERE.2010.5536853〉. 〈hal-01292569〉
  • Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg. Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams. 11th International Workshop on Discrete Event Systems (WODES'10), Sep 2010, Berlin, Germany. IFAC/Elsevier, 11th International Workshop on Discrete Event Systems (WODES'10), pp.281-286, 〈10.3182/20100830-3-DE-4013.00047〉. 〈hal-01293801〉
  • Nicolas Treves, Lom Messan Hillah, Fabrice Kordon, Laure Petrucci. A primer on the Petri Net Markup Language and ISO/IEC 15909-2. 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Oct 2009, Aarhus, Denmark. pp.19, 2009. 〈hal-01126017〉
  • Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves. Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains. 28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. IEEE, Proceedings of the 28th American Control Conference (ACC'09), pp.5018-5025, 2009, 〈10.1109/ACC.2009.5160020〉. 〈hal-00772677〉
  • Xavier Renault, Fabrice Kordon, Jérôme Hugues. From AADL architectural models to Petri Nets: Checking model viability. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE Computer Society, 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), pp.313-320, 〈10.1109/ISORC.2009.11〉. 〈hal-01298276〉
  • Fabrice Kordon. Model Driven Enginering versus Organic Computing, two complementary approaches. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, Mar 2009, Tokyo, Japan. IEEE Computer Society, 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, pp.99-100, 〈10.1109/ISORC.2009.25〉. 〈hal-01298275〉
  • Olivier Bertrand, Aurélien Calonne, Christine Choppy, Silien Hong, Kaïs Klai, et al.. Verification of large-scale distributed database systems in the NEOPPOD project. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Jun 2009, Paris, France. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, pp.315-316. 〈hal-01298277〉
  • Xavier Renault, Fabrice Kordon, Jérôme Hugues. Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets. The 20th International Workshop on Rapid System Prototyping, Jun 2009, Paris, France. IEEE, Proceedings of the 20th International Workshop on Rapid System Prototyping, pp.26-33, 〈10.1109/RSP.2009.30〉. 〈hal-01294399〉
  • Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon. Hierarchical Set Decision Diagrams and Regular Models. 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2009, York, United Kingdom. Springer, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 5505, pp.1-15, Lecture Notes in Computer Science. 〈10.1007/978-3-642-00768-2_1〉. 〈hal-01294397〉
  • Fabrice Kordon. Design Methodologies for Embedded Systems: Where is the Super-Glue?. 11th International Symposium on Object-oriented Real-time Distributed Computing (ISORC '08), May 2008, Orlando, United States. IEEE Computer Society, 11th International Symposium on Object-oriented Real-time Distributed Computing (ISORC '08), pp.358-359, 〈10.1109/ISORC.2008.88〉. 〈hal-01304942〉
  • Xavier Renault, Jérôme Hugues, Fabrice Kordon. Formal Modeling of a Generic Middleware to Ensure Invariant Properties. 10th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), Jun 2008, Oslo, Norway. Springer-Verlag, 10th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), 5051, pp.185-200, Lecture Notes in Computer Science. 〈10.1007/978-3-540-68863-1_12〉. 〈hal-01304976〉
  • Béatrice Bérard, Serge Haddad, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory. 9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. IEEE Computer Society, 9th International Workshop on Discrete Event Systems (WODES'08), pp.346-351, 〈10.1109/WODES.2008.4605970〉. 〈hal-01303699〉
  • Julien Delange, Laurent Pautet, Fabrice Kordon. Code Generation Strategies for Partitioned Systems. 29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. IEEE Computer Society, 29th IEEE Real-Time Systems Symposium (RTSS'08), pp.53-56. 〈hal-01303791〉
  • Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon. Hierarchical Set Decision Diagrams and Automatic Saturation. 29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), Jun 2008, Xian, China. Springer-Verlag, 29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), 5062, pp.211-230, Lecture Notes in Computer Science. 〈10.1007/978-3-540-68746-7_16〉. 〈hal-01303835〉
  • Fabien Bonnefoi, Christine Choppy, Fabrice Kordon. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. 9th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN' 08), Oct 2008, Aarhus, Denmark. Daimi University, PB 588, 9th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN' 08), pp.183-202. 〈hal-01303741〉
  • Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda. A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration. Advances in Enterprise Engineering I, 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), Jun 2008, Montpellier, France. Springer-Verlag, Advances in Enterprise Engineering I, 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), 10, pp.78-92, Lecture Notes in Business Information Processing. 〈10.1007/978-3-540-68644-6_6〉. 〈hal-01303701〉
  • Fabrice Kordon, Yann Thierry-Mieg. Experiences in Model Driven Verification of Behavior with UML. Foundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected Papers, Sep 2008, Budapest, Hungary. Springer, Foundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected Papers, 6028, pp.181-200, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-12566-9_10〉. 〈hal-01288216〉
  • Jean-Baptiste Voron, Fabrice Kordon. Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel Programs. International Workshop on Petri Nets Tools and APplications (PNTAP), Mar 2008, Marseille, France. ACM, International Workshop on Petri Nets Tools and APplications (PNTAP), pp.1-10. 〈hal-01305040〉
  • Fabrice Kordon, Jérôme Hugues, Xavier Renault. From Model Driven Engineering to Verification Driven Engineering. 6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), Oct 2008, Capri, Italy. Springer-Verlag, 6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), 5287, pp.381-393, Lecture Notes in Computer Science. 〈10.1007/978-3-540-87785-1_34〉. 〈hal-01304953〉
  •   Luqi, Fabrice Kordon. Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, Revised Selected Papers, Sep 2007, Monterey, United States. Springer-Verlag, Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, Revised Selected Papers, 5320, pp.15-24, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-89778-1_5〉. 〈hal-01304961〉
  • Fabien Bonnefoi, Lom Messan Hillah, Fabrice Kordon, Xavier Renault. Design, Modeling and Analysis of ITS using UML and Petri Nets. 10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, WA, United States. IEEE, 10th International IEEE Conference on Intelligent Transportation Systems, pp.314-319, 〈10.1109/ITSC.2007.4357718〉. 〈hal-01334867〉
  • Jérôme Hugues, Béchir Zalila, Laurent Pautet, Fabrice Kordon. Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. 18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. IEEE Computer Society, 18th International Workshop on Rapid System Prototyping (RSP), pp.106-112, 〈10.1109/RSP.2007.33〉. 〈hal-01335114〉
  • Fabrice Kordon, Laure Petrucci. A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots. 2nd National Workshop on Control Architectures of Robots: From Models to Execution on Distributed Control Architectures, May 2007, Paris, France. 2nd National Workshop on Control Architectures of Robots: From Models to Execution on Distributed Control Architectures, pp.15-26. 〈hal-01335148〉
  • Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon. A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents. 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), Jun 2007, Madeira, Portugal. INSTICC Press, 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), pp.163-168. 〈hal-01334853〉
  • Fabrice Kordon. Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. International Symposium on Object-oriented Real-time Distributed Computing (ISORC'07), May 2007, Santorini, Greece. IEEE Computer Society, International Symposium on Object-oriented Real-time Distributed Computing (ISORC'07), pp.420-427, 〈10.1109/ISORC.2007.42〉. 〈hal-01335145〉
  • Fabrice Kordon, Jean-Baptiste Voron, Liviu Iftode. Rapid Prototyping of Intrusion Detection Systems. 18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. IEEE Computer Society, 18th International Workshop on Rapid System Prototyping (RSP), pp.89-98, 〈10.1109/RSP.2007.34〉. 〈hal-01335149〉
  • Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg. libDMC: a library to Operate Efficient Distributed Model Checking. Workshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS'2007, Mar 2007, Long Beach, California, United States. Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International, 2007, 〈10.1109/IPDPS.2007.370647〉. 〈hal-00687573〉
  • Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry. dmcG: a distributed symbolic model checker based on GreatSPN. 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007), Jun 2007, Siedlce, Poland. Springer, ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, 4546, pp.495-504, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-73094-1_29〉. 〈hal-00701513〉
  • Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, et al.. Tutorial on Formal Methods for Distributed and Cooperative Systems. 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. 4281, pp.362--365, 2006, Lecture Notes in Computer Science. 〈10.1007/11921240_25〉. 〈hal-00340483〉
  • Lom Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves. PN standardisation: a survey. 26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Sep 2006, Paris, France. Springer-Verlag, 4229, pp.307-322, 2006, Lecture Notes in Computer Science. 〈10.1007/11888116_23〉. 〈hal-00084198〉
  • Jérôme Hugues, Fabrice Kordon, Laurent Pautet. A Framework for DRE Middleware, an Application to DDS. International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Apr 2006, Gyeongju, South Korea. IEEE Computer Society, International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), pp.224-231, 〈10.1109/ISORC.2006.4〉. 〈hal-01336642〉
  • Fabien Bonnefoi, Lom Messan Hillah, Fabrice Kordon, Guy Fremont. An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems. Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Jun 2006, Turku, Finland. Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), pp.65-86. 〈hal-01336640〉
  • Razika Driouche, Zizette Boufaïda, Fabrice Kordon. A Multi-Views Business Process Ontology for Flexible Collaboration. International Workshop on Enterprise Integration, Interoperability and Networking (EI2N '06), Mar 2006, Bordeaux, France. Hermes, International Workshop on Enterprise Integration, Interoperability and Networking (EI2N '06), pp.49-62, 〈10.1002/9780470612200.ch4〉. 〈hal-01351747〉
  • Razika Driouche, Zizette Boufaïda, Fabrice Kordon. Towards Integrating Collaborative Business Process based onProcess Ontology and EbXML Collaboration Scenario. 6th International Workshop On Web Based Collaboration (WBC '2006), Sep 2006, Krakow, Poland. IEEE Computer Society, 6th International Workshop On Web Based Collaboration (WBC '2006), pp.299-303. 〈hal-01351742〉
  • Razika Driouche, Zizette Boufaïda, Fabrice Kordon. An Ontology Based Architecture for Integrating Enterprise Applications. International Workshop on Modelling, Simulation and Validation of Enterprise Information Systems - MSVVEIS 2006, May 2006, Paphos, Cyprus. INSTICC Press, International Workshop on Modelling, Simulation and Validation of Enterprise Information Systems - MSVVEIS 2006, pp.26-37, 〈10.5220/0002493000260037〉. 〈hal-01351749〉
  • Alexandre Hamez, Lom Messan Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, et al.. New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems. 6th International Conference on Application of Concurrency to System Design (ACSD '06), Jun 2006, Turku, Finland. IEEE Computer Society, 6th International Conference on Application of Concurrency to System Design (ACSD '06), pp.273-275, 〈10.1109/ACSD.2006.15〉. 〈hal-01351775〉
  • Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet. Optimized Colored Nets Unfolding. International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), Sep 2006, Paris, France. Springer-Verlag, International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), 4229, pp.339-355, Lecture Notes in Computer Science. 〈10.1007/11888116_25〉. 〈hal-01351825〉
  • Jérôme Hugues, Fabrice Kordon, Laurent Pautet. Towards Proof-Based Real-Time Distribution Middleware. 13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. BIRP, 13th International Conference On Real-Time Systems (RTS '05), pp.51-70. 〈hal-01489156〉
  • Jérôme Hugues, Laurent Pautet, Fabrice Kordon. Revisiting COTS Middleware for DRE System. International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), May 2005, Seattle, United States. IEEE, International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), pp.72-79, 〈10.1109/ISORC.2005.46〉. 〈hal-01489155〉
  • Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon. Rapid Development Methodology for Customized Middleware. 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), Jun 2005, Montreal, Canada. IEEE Computer Society, 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), pp.111-117, 〈10.1109/RSP.2005.42〉. 〈hal-01490881〉
  • Thomas Vergnaud, Laurent Pautet, Fabrice Kordon. Using the AADL to Describe Distributed Applications from Middleware to Software Components. Reliable Software Technologies (RST'05), Jun 2005, York, United Kingdom. Springer, Reliable Software Technologies (RST'05), 3555, pp.67-78, Lecture Notes in Computer Science. 〈10.1007/11499909_6〉. 〈hal-01493416〉
  • Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud. A Factory To Design and Build Tailorable and Verifiable Middleware. 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. Springer-Verlag, Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), 4322, pp.121-142, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-71156-8_7〉. 〈hal-01335054〉
  • Jérôme Hugues, Yann Thierry-Mieg, Fabrice Kordon, Laurent Pautet, Souheib Baarir, et al.. On the Formal Verification of Middleware Behavioral Properties. 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Sep 2004, Linz, Austria. Elsevier, 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), pp.139-157. 〈hal-01520379〉
  • Frédéric Gilliers, Fabrice Kordon, Jean-Pierre Velu. Generation of Distributed Programs in their Target Execution Environment. 15th IEEE International Workshop on Rapid System Prototyping, Jun 2004, Geneva, Switzerland. IEEE Computer Society, 15th IEEE International Workshop on Rapid System Prototyping, pp.127-134, 〈10.1109/IWRSP.2004.1311107〉. 〈hal-01520296〉
  • Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon. PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. 9th International Conference on Reliable Software Technologies - Ada-Europe 2004, Jun 2004, Palma de Mallorca, Spain. Springer-Verlag, 9th International Conference on Reliable Software Technologies - Ada-Europe 2004, 3063, pp.106-119, Lecture Notes in Computer Science. 〈10.1007/978-3-540-24841-5_8〉. 〈hal-01520674〉
  • Frédéric Gilliers, François Bréant, Denis Poitrenaud, Fabrice Kordon. Model Checking of Highlevelobject Oriented Specifications : The LfP Experience. 3rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), Oct 2004, Aarhus, Denmark. 3rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), pp.149-168. 〈hal-01520299〉
  • Dan Regep, Yann Thierry-Mieg, Frédéric Gilliers, Fabrice Kordon. Modélisation et vérification de systèmes répartis :une approche intégrée avec LfP. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2003, Rennes, France. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL). 〈hal-01530423〉
  • Jérôme Hugues, Fabrice Kordon, Laurent Pautet. Refining Middleware Functions for Verification Purpose. Workshop on Software Engineering for Embedded Systems, Sep 2003, Chicago, United States. Workshop on Software Engineering for Embedded Systems. 〈hal-01529288〉
  • Jérôme Hugues, Laurent Pautet, Fabrice Kordon. Contributions to middleware architectures to prototype distribution infrastructures. 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), Jun 2003, San Diego, CA, United States. IEEE, 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), pp.124-131, 〈10.1109/IWRSP.2003.1207039〉. 〈hal-01529290〉
  • Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Quinot. A case study of Middleware to Middleware: MOM and ORB interoperability. 4th International Symposium on Distributed Objects and Applications (DOA'02), Oct 2002, Irvine, CA, United States. University of California, Irvine, 4th International Symposium on Distributed Objects and Applications (DOA'02). 〈hal-01544387〉
  • Frédéric Gilliers, Fabrice Kordon, Dan Regep. A Model Based Development Approach for Distributed Embedded Systems. 2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the Future, Oct 2002, Venice, Italy. Springer, 2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the Future, 2941, pp.137-151, Lecture Notes in Computer Science. 〈10.1007/978-3-540-24626-8_9〉. 〈hal-01544445〉
  • G. Gaudière, A. De Groot, J. Hooman, Fabrice Kordon, M. Lemoine, et al.. A Survey: Applying Formal Methods to a Software Intensive System. 6th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), Oct 2001, Boco Raton, FL, United States. IEEE, 6th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), pp.55-64, 〈10.1109/HASE.2001.966807〉. 〈hal-01571075〉
  • Fabrice Kordon, Isabelle Vernier-Mounier, Emmanuel Paviot-Adet, Dan Regep. Formal Verification of Embedded Distributed Systems in a Prototyping Approach. International Workshop on Engineering Automation for Software Intensive System Integration, Jun 2001, Monterey, United States. International Workshop on Engineering Automation for Software Intensive System Integration, pp.ONLINE. 〈hal-01571064〉
  • M. Doche, Isabelle Vernier-Mounier, Fabrice Kordon. Modular Approach to Specify and Validate an Electrical Fligh Control System. Formal Method Europe (FME '2001), Mar 2001, Berlin, Germany. Springer-Verlag, Formal Method Europe (FME '2001), 2021, pp.590-610, Lecture Notes in Computer Science. 〈10.1007/3-540-45251-6_34〉. 〈hal-01571083〉
  • Dan Regep, Fabrice Kordon. LfP : A specification language for rapid prototyping of concurrent systems. 12th IEEE International Workshop on Rapid System Prototyping, Jun 2001, Monterey, United States. IEEE, 12th IEEE International Workshop on Rapid System Prototyping, pp.90-96, 〈10.1109/IWRSP.2001.933844〉. 〈hal-01571157〉
  • Thomas Quinot, Fabrice Kordon, Laurent Pautet. From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models. 3rd International Symposium on Distributed Objects and Applications (DOA'01), Sep 2001, Roma, Italy. IEEE, 3rd International Symposium on Distributed Objects and Applications (DOA'01), pp.165-175, 〈10.1109/DOA.2001.954082〉. 〈hal-01571185〉
  • Fabrice Kordon, Laurent Pautet, Thomas Quinot. Architecture for a reuseable object-oriented polymorphic middleware. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Jun 2001, Las-Vegas, United States. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001). 〈hal-01571190〉
  • Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet. 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. CARI' 2000, Oct 2000, Antananarive, Madagascar. CARI' 2000. 〈hal-01573113〉
  • Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet. Formalization of a spatialised multiagent model using Coloured Petri nets for the study of an hunting management system. Formal Approaches to Agent-Based Systems, Apr 2000, Greenbelt, MD, United States. Springer, Formal Approaches to Agent-Based Systems, 1871, pp.123-132, Lecture Notes in Computer Science. 〈10.1007/3-540-45484-5_10〉. 〈hal-01573109〉
  • Dan Regep, Fabrice Kordon. Using MetaScribe to prototype an UML to C++/Ada95 code generator. 11th IEEE International Workshop on Rapid System Prototyping, Jun 2000, Paris, France. IEEE, 11th IEEE International Workshop on Rapid System Prototyping, pp.128-133, 〈10.1109/IWRSP.2000.855209〉. 〈hal-01573111〉
  • Fabrice Kordon. MetaScribe, an Ada-based Tool for the Construction of Tranformation Engines. International Conference on Reliable Software Technologies - Ada-Europe '99, Jun 1999, Santander, Spain. Springer-Verlag, International Conference on Reliable Software Technologies - Ada-Europe '99, 1622, pp.308-319, Lecture Notes in Computer Science. 〈10.1007/3-540-48753-0_27〉. 〈hal-01574367〉
  • Fabrice Kordon, Emmanuel Paviot-Adet. Using CPN-AMI to validate a safe channel protocol. Toolset of the International Conference on Theory and Applications of Petri Nets, Jun 1999, Williamsburg, Virginia, United States. Toolset of the International Conference on Theory and Applications of Petri Nets. 〈hal-01574368〉
  • Fabrice Kordon, Jean-Luc Mounier. Implementation of Genericity for customizable CASE environments. CARI '98, Oct 1998, Dakar, Senegal. CARI '98, pp.765-776. 〈hal-01575050〉
  • Alioune Diagne, Pascal Estraillier, Fabrice Kordon. Quality Management Issues along Life-cycle of Distributed Applications. CARI '98, Oct 1998, Dakar, Senegal. CARI '98, pp.753-763. 〈hal-01575053〉
  • Didier Buchs, Alioune Diagne, Fabrice Kordon. Testing Prototypes Validity to Enhance Code Reuse. 9th IEEE International Workshop on Rapid System Prototyping, Jun 1998, Leuven, Belgium. IEEE, 9th IEEE International Workshop on Rapid System Prototyping, pp.6-12, 〈10.1109/IWRSP.1998.676661〉. 〈hal-01621743〉
  • Fabrice Kordon, Nicolas Poizot, Ghislaine Filliatreau, Claude Kordon. BioMedScape: a Web based Environment for Diffusion and Analysis of Research Data in Discrete Areas of Life-Sciences. Thirteenth International Conference on Computer Communication, Nov 1997, Cannes, France. thirteenth International Conference on Computer Communication, pp.149-154. 〈hal-01629205〉
  • Fabrice Kordon, Jean-Luc Mounier. FrameKit and the prototyping of CASE environments. 8th International Workshop on Rapid System Prototyping, Jun 1997, Raleigh-Durham, United States. IEEE, 8th International Workshop on Rapid System Prototyping, pp.91-97, 〈10.1109/IWRSP.1997.618846〉. 〈hal-01629203〉
  • Fabrice Kordon, Jean-François Peyre. Process decomposition for Rapid Prototyping of Parallel systems. 6th International Symposium on Computer and Information Science, Oct 1991, Antalya, Turkey. 1991. 〈hal-01124800〉

Ouvrage (y compris édition critique et traduction)6 documents

  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Modélisation et analyse des systèmes embarqués. Collection SEE - Hermes, 2013, 978-2-7462-3900-5. 〈hal-01221798〉
  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Embedded Systems, analysis and modeling with SysML, UML and AADL. Wiley, 2013, 978-1-84821-500-9. 〈hal-01221804〉
  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. Distributed Systems Design and Algorithms. Haddad, Serge and Kordon, Fabrice and Pautet, Laurent and Petrucci, Laure. John Wiley & Sons, Ltd., 2011. 〈hal-00779937〉
  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. Models and Analysis in Distributed Systems. Haddad, Serge and Kordon, Fabrice and Pautet, Laurent and Petrucci, Laure. John Wiley & Sons, Ltd., 2011. 〈hal-00779944〉
  • Fabrice Kordon, Laurent Pautet, Laure Petrucci. Systèmes répartis en action : de l'embarqué aux systèmes à large échelle. Hermes, 2008, Traités IC2 - Informatique et systèmes d'information. 〈hal-01304950〉
  • Serge Haddad, Fabrice Kordon, Laure Petrucci. Méthodes formelles pour les systèmes répartis et coopératifs. Hermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information. 〈hal-00084193〉

Direction d'ouvrage, Proceedings, Dossier16 documents

  • Fabrice Kordon, Daniel Moldt. Special issue from PETRI NET 2016. France. 2018. 〈hal-01736447〉
  • Fabrice Kordon, Daniel Moldt. Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. Jun 2016, Torun, Poland. 9695, 2016, Lecture Notes in Computer Science, 978-3-319-39085-7. 〈10.1007/978-3-319-39086-4〉. 〈http://link.springer.com〉. 〈hal-01341943〉
  • Sébastien Gérard, Fabrice Kordon, Bran Selic. {2nd Model-based Engineering for Real-Time Embedded Systems (associated to ISORC 2011)}. IEEE Computer Society, 2011. 〈hal-01287960〉
  • Reda Bendraou, Daniela Cancila, Huascar Espinoza, Sébastien Gérard, Fabrice Kordon, et al.. 1st Model-Based Engineering for Real-Time Embedded Systems Design (associated to ISORC 2010). IEEE Computer Society, 2010, 978-0-7695-4038-2. 〈hal-01293895〉
  • Fabrice Kordon, Yvon Kermarrec. Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings. France. 5570, Springer Berlin Heidelberg, 2009, Lecture Notes in Computer Science, 978-3-642-01923-4. 〈10.1007/978-3-642-01924-1〉. 〈hal-00426649〉
  • Fabrice Kordon, Tullio Vardanega. 13th International Conference on Reliable Software Technologies. 5026, Springer-Verlag, 2008, Lecture Notes in Computer Science, 〈10.1007/978-3-540-68624-8〉. 〈hal-01304948〉
  • Fabrice Kordon, Janos Sztipanovits. Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms. 4322, Springer-Verlag, 2007, Lecture Notes in Computer Science (LNCS), 〈10.1007/978-3-540-71156-8〉. 〈hal-01335141〉
  • Fabrice Kordon. Special Issue on Rapid System Prototyping. 8-3, 8-4 and 8-5, IEEE, 2007, Distributed Systems on Line. 〈hal-01335700〉
  • Nabil Abdennadher, Fabrice Kordon. 12th International Conference on Reliable Software Technologies. 4498, Springer-Verlag, 2007, Lecture Notes in Computer Science, 〈10.1007/978-3-540-73230-3〉. 〈hal-01334839〉
  • Fabrice Kordon,   Luqi, Linda Wills. Special Issue on Rapid System Prototyping. France. 70 (3), Elsevier, 2004, Journal of Systems and Software. 〈hal-01520400〉
  • Fabrice Kordon, Michel Lemoine. Formal Methods for Embedded Distributed Systems : How to Master the Complexity ?. Kluwer Academic Publishing, 2004, 〈10.1007/b116264〉. 〈hal-01520405〉
  • Peter Athanas, Fabrice Kordon. 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA. IEEE Computer Society, 2003. 〈hal-01530424〉
  • Jörg Henkel, Fabrice Kordon. Special Issue on Rapid System Prototyping. 8 (4), Kluwer, 2003, Design and Automation for Embedded Systems. 〈hal-01529953〉
  • Fabrice Kordon,   Luqi. Special issue on "Rapid Prototyping". France. 28-29, 2002, IEEE Transaction on Software Engineering. 〈hal-01544337〉
  • Fabrice Kordon, Klaus Müller-Glaser. Design and Automation for Embedded Systems. 5 (3-4), 2000. 〈hal-01573067〉
  • Wil Van Der Aalst, José-Manuel Colom, Fabrice Kordon, Gabriela Kotsis, Daniel Moldt. Petri Net Approaches for Modelling and Validation. 1, 1999, LINCOM Studies in Computer Science. 〈hal-01574409〉

Chapitre d'ouvrage15 documents

  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Elements for the Design of Embedded Computer Systems. Embedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.3-27, 2013. 〈hal-01221595〉
  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Introduction générale. Modélisation et analyse de systèmes embarqués, Hermes, pp.15-18, 2013. 〈hal-01221594〉
  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Introduction. Embedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.xix-xxii, 2013. 〈hal-01221598〉
  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Eléments pour la conception des systèmes embarqués. Modélisation et analyse de systèmes embarqués, Hermes, pp.21-44, 2013. 〈hal-01221593〉
  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. Introduction. Models and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142. 〈hal-01282495〉
  • Julien Delange, Laurent Pautet, Fabrice Kordon. A Model-Based Approach To Configure and Reconfigure Avionics Systems. Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, pp.509-541, 2011, 9781609600860. 〈10.4018/978-1-60960-086-0.ch019〉. 〈hal-01288059〉
  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. General introduction. Distibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. 〈10.1002/9781118601365.ch1〉. 〈hal-01288072〉
  • Fabrice Kordon. Introduction to Large-Scale Peer-to-Peer Distributed Systems. Distibuted Systems: Design and Algorithms, Wiley, pp.21-31, 2011, 9781848212503. 〈10.1002/9781118601365.ch2〉. 〈hal-01288074〉
  • Fabrice Kordon. Introduction aux systèmes répartis à large échelle. 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. 〈hal-01304909〉
  • Fabrice Kordon, Laurent Pautet, Laure Petrucci. Introduction générale. 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. 〈hal-01304954〉
  • Jérôme Hugues, Fabrice Kordon, Laurent Pautet. Construction d'un intergiciel vérifié. Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.265-287, 2006, 2-7462-1447-4. 〈hal-01351785〉
  • Fabrice Kordon. Panorama sur le développement. Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.253-264, 2006, 2-7462-1447-4. 〈hal-01351822〉
  • Serge Haddad, Fabrice Kordon, Laure Petrucci. Introduction générale. Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.1-6, 2006, 2-7462-1447-4. 〈hal-01351774〉
  • François Bréant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, et al.. Modeling and Verifying Behavioral Aspects. Formal Methods for Embedded Distributed Systems - How to master the complexity, Kluwer Academic Publishers, pp.171-211, 2004, 1-4020-7996-6. 〈hal-01520010〉
  • Fabrice Kordon, William El-Kaïm. Code Generation. Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, Springer-Verlag, pp.433-469, 2003, 3-540-41217-4. 〈hal-01529939〉

Autre publication1 document

  • Fabrice Kordon, Alban Linard, Marco Becutti, Didier Buchs, Lukasz Fronc, et al.. Web Report on the Model Checking Contest @ Petri Net 2013. http://mcc.lip6.fr. 2013. 〈hal-00926989〉