Twenty past PhD students (2003 - 2023) at Sorbonne University

Two past Postdoc (2005 - 2010) at Sorbonne University

1991-2024 Publications

• 2024
  • N. Amat, E. Amparore, B. Berthomieu, P. Bouvier, S. Zilio, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, Sh. Li, E. Paviot‑Adet, L. Petrucci, J. Srba, Y. Thierry‑Mieg, K. Wolf : “Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023”, TOOLympics Challenge 2023, vol. 14550, Lecture Notes in Computer Science, Paris, France, pp. 52-89, (Springer Nature Switzerland), (ISBN: 978-3-031-67695-6) (2024)
  • D. Beyer, A. Hartmanns, F. Kordon : “TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions”, TOOLympics: International TOOLympics Challenge, vol. 14550, Lecture Notes in Computer Science, (Springer Nature Switzerland), (ISBN: 978-3-031-67695-6) (2024)
  • É. André, J. Arias, B. Barbot, F. Hulin‑Hubard, F. Kordon, V.‑F. Le, L. Petrucci : “CosyVerif: The Path to Formalisms Cohabitation”, 45^th International Conference on Application and Theory of Petri Nets and Concurrency, vol. 14628, Lecture Notes in Computer Science, Geneva, Switzerland, pp. 432-444, (Springer Nature Switzerland) (2024)
• 2022
  • M. Koutny, F. Kordon, D. Moldt : “Transactions on Petri Nets and Other Models of Concurrency XVI”, vol. 13220, Lecture Notes in Computer Science, (Springer Berlin, Heidelberg), (ISBN: 978-3-662-65302-9) (2022)
• 2021
  • F. Kordon, L. Hillah, F. Hulin‑Hubard, L. Jezequel, E. Paviot‑Adet : “Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019”, International Journal on Software Tools for Technology Transfer, (Springer Verlag) (2021)
  • J. Arias, B. Barbot, F. Hulin‑Hubard, F. Kordon, L. Petrucci : “CosyVerif: an Online Verification Platform”, Petri Net Newsletter, vol. 87, pp. 5-7 (2021)
  • M. Koutny, F. Kordon, L. Pomello : “Transactions on Petri Nets and Other Models of Concurrency XV”, vol. 12530, Lecture Notes in Computer Science, (Springer) (2021)
• 2020
  • V. Vallade, L. Le Frioux, S. Baarir, J. Sopena, V. Ganesh, F. Kordon : “Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving”, SAT 2020 - 23^rd International Conference on Theory and Applications of Satisfiability Testing, vol. 12178, Lecture Notes in Computer Science, Alghero / Virtual, Italy, pp. 11-27 (2020)
  • V. Vallade, L. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “On the Usefulness of Clause Strengthening in Parallel SAT Solving”, NFM 2020 - 12^th NASA Formal Methods Symposium, Moffett Field / Virtual, United States (2020)
• 2019
  • F. Kordon, M. Leuschel, J. Van De Pol, Y. Thierry‑Mieg : “Software Architecture of Modern Model Checkers”, chapter in Computing and Software Science, State of the Art and Perspectives, vol. 10000, Lecture Notes in Computer Science, pp. 393-419, (Springer) (2019)
  • H. Metin, S. Baarir, F. Kordon : “Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving”, NASA Formal Methods Symposium, vol. 11460, Lecture Notes in Computer Science, Houston, United States, pp. 316-332 (2019)
  • L. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework”, TACAS 2019 - 25^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 11427, Lecture Notes in Computer Science, Prague, Czechia, pp. 135-151 (2019)
  • E. Amparore, B. Berthomieu, G. Ciardo, S. Dal Zilio, F. Gallà, L. Hillah, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, D. Le Botlan, T. Liebke, J. Meijer, A. Miner, E. Paviot‑Adet, J. Srba, Y. Thierry‑Mieg, T. Van Dijk, K. Wolf : “Presentation of the 9^th Edition of the Model Checking Contest”, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, vol. 11429, Prague, Czechia, pp. 50-68 (2019)
  • E. Bartocci, D. Beyer, P. Black, G. Fedyukovich, H. Garavel, A. Hartmanns, M. Huisman, F. Kordon, J. Nagele, M. Sighireanu, B. Steffen, M. Suda, G. Sutcliffe, T. Weber, A. Yamada : “TOOLympics 2019: An Overview of Competitions in Formal Methods”, 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czechia, pp. 3-24 (2019)
  • D. Beyer, M. Huisman, F. Kordon, B. Steffen : “Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019”, vol. 11427, Lecture Notes in Computer Science, (Springer) (2019)
• 2018
  • F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, F. Hulin‑Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry‑Mieg, J. Van De Pol, K. Wolf : “MCC’2017 - The Seventh Model Checking Contest”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 11090, Lecture Notes in Computer Science, pp. 181-209, (Springer) (2018)
  • F. Kordon, Y. Thierry‑Mieg : “Self-adaptive Model Checking, the Next Step?”, Application and Theory of Petri Nets and Concurrency, Bratislava, Slovakia (2018)
  • F. Kordon, D. Moldt : “Introduction to the special issue from Petri Nets 2016”, Science of Computer Programming, vol. 157, pp. 1-2, (Elsevier) (2018)
  • F. Kordon, D. Moldt : “Special issue from PETRI NET 2016”, Science of Computer Programming, vol. 157, (Elsevier) (2018)
  • H. Metin, S. Baarir, M. Colange, F. Kordon : “CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving”, Tools and Algorithms for the Construction and Analysis of Systems 24^th 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,, Tessaloniki, Greece (2018)
• 2017
  • X. Bonnaire, R. Cortes, F. Kordon, O. Marin : “ASCENT: a Provably-Terminating Decentralized Logging Service”, The Computer Journal, vol. 60 (12), to be published, pp. 1889–1911, (Oxford University Press (UK)) (2017)
  • F. Kordon : “Ada”, (2017)
  • L. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “PaInleSS: a Framework for Parallel SAT Solving”, The 20^th International Conference on Theory and Applications of Satisfiability Testing, vol. 10491, Lecture Notes in Computer Science, Melbourne, Australia, pp. 233-250, (Springer) (2017)
  • L. Hillah, F. Kordon : “Petri Nets Repository: a tool to benchmark and debug Petri Net tools”, 38^th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, vol. 10258, Lecture Notes in Computer Science, Zaragoza, Spain, pp. 125-135, (Springer) (2017)
  • L. Hillah, A.‑P. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin, R. Fontanelli, S. Di Bona, D. Guerri, L. Maesano : “Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice”, International Journal on Software Tools for Technology Transfer, vol. 19 (3), pp. 281-308, (Springer Verlag) (2017)
  • E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Variations on Parallel Explicit Emptiness Checks for Generalized Büchi Automata”, International Journal on Software Tools for Technology Transfer, vol. 19 (6), pp. 653-673, (Springer Verlag) (2017)
• 2016
  • A. Duret‑Lutz, F. Kordon, D. Poitrenaud, E. Renault : “Heuristics for Checking Liveness Properties with Partial Order Reductions”, Automated Technology for Verification and Analysis, vol. 9938, Lecture Notes in Computer Science, Chiba, Japan, pp. 340-356, (Springer) (2016)
  • F. Kordon, D. Moldt : “Application and Theory of Petri Nets and Concurrency: 37^th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings”, vol. 9695, Lecture Notes in Computer Science, (ISBN: 978-3-319-39085-7) (2016)
  • L. Hillah, A.‑P. Maesano, L. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin : “Service functional testing automation with intelligent scheduling and planning”, Symposium on Applied Computing (SAC), Proceeding of the 31^st Annual ACM Symposium on Applied Computing, Pisa, Italy, pp. 1605-1610 (2016)
  • F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, C. Rodríguez, F. Hulin‑Hubard : “MCC’2015 – The Fifth Model Checking Contest”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 9930, Lecture Notes in Computer Science, pp. 262-273, (Springer) (2016)
• 2015
  • E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Parallel Explicit Model Checking for Generalized Büchi Automata”, 21^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, vol. 9035, Lecture Notes in Computer Science, London, United Kingdom, pp. 613-627, (Springer) (2015)
  • S. Herbold, J. Grabowski, P. Harms, L. Hillah, F. Kordon, A.‑P. Maesano, L. Maesano, C. Di Napoli, F. De Rosa, M. Schneider, N. Tonelloto, M.‑F. Wendland, P.‑H. Wuillemin : “The MIDAS Cloud Platform for Testing SOA Applications”, 8^th International IEEE Conference on Software Testing, Verification and Validation (ICST), Graz, Austria, pp. 1-8, (IEEE Press) (2015)
• 2014
  • A. Yessad, I. Mounier, J.‑M. Labat, F. Kordon, Th. Carron : “Have you found the error? A Formal Framework for Learning Game Verification”, 9^th European Conference on Technology Enhanced Learning, vol. 8719, Lecture Notes in Computer Science, Graz, Austria, pp. 476-481, (Springer) (2014)
  • Y. Zhang, B. Bérard, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Controllability for Discrete Event Systems Modeled in VeriJ”, International Journal of Critical Computer-Based Systems, vol. 5 (3/4), pp. 218-240, (Inderscience) (2014)
  • F. Kordon, F. Hulin‑Hubard : “BenchKit, a Tool for Massive Concurrent Benchmarking”, 14^th International Conference on Application of Concurrency to System Design (ACSD'14), Tunis, Tunisia, pp. 159-165, (IEEE Computer Society Press) (2014)
  • É. André, F. Kordon, L. Petrucci : “Teaching formal methods: Experience at UPMC and UP13 with CosyVerif”, 25^th EAEEIE annual International Conference, Cesme, Turkey, pp. 25-28, (IEEE) (2014)
  • A. Yessad, I. Mounier, Th. Carron, F. Kordon, J.‑M. Labat : “Formal Framework to improve the reliability of concurrent and collaborative learning games”, EAI Endorsed Transactions on Serious Games, vol. 14 (2), pp. e4, (ICST) (2014)
  • A. Ben Salem, A. Duret‑Lutz, F. Kordon, Y. Thierry‑Mieg : “Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata”, 20^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, vol. 8413, Lecture Notes in Computer Science, Grenoble, France, pp. 440-454, (Springer) (2014)
  • M. Thabet, M. Boufaïda, F. Kordon : “An Approach for Developing an Interoperability Mechanism Between Cloud Providers”, International Journal of Space-Based and Situated Computing, vol. 4 (2), pp. 88-99, (Inderscience) (2014)
• 2013
  • Th. Carron, F. Kordon, J.‑M. Labat, I. Mounier, A. Yessad : “Toward Improvement of Serious Game Reliability”, 7^th European Conference on Games Based Learning, vol. 2, Porto, Portugal, pp. 80-87, (Academic Conferences and Publishing International) (2013)
  • Y. Ben Maïssa, F. Kordon, S. Mouline, Y. Thierry‑Mieg : “Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. VIII, pp. 24-47, (Springer) (2013)
  • X. Bonnaire, R. Cortes, F. Kordon, O. Marin : “A Scalable Architecture for Highly Reliable Certification”, TrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Melbourne, Australia, pp. 328-335, (IEEE) (2013)
  • M. Colange, S. Baarir, F. Kordon, Y. Thierry‑Mieg : “Towards Distributed Software Model-Checking using Decision Diagrams”, 25^th International Conference on Computer Aided Verification (CAV), vol. 8044, Lecture Notes in Computer Science, Saint-Petersbourg, Russian Federation, pp. 830-845, (Springer Verlag) (2013)
  • F. Kordon, X. Bonnaire, R. Cortes, O. Marin : “Verification of a Quasi certification Protocol over a DHT”, Dagstuhl Seminar "Formal Verification of Distributed Algorithms" n°13141, Dagstuhl, Germany (2013)
  • E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Three SCC-based Emptiness Checks for Generalized Büchi Automata”, Proceedings of the 19^th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13), vol. 8312, Lecture Notes in Computer Science, Stellenbosch, South Africa, pp. 668-682, (Springer) (2013)
  • É. André, B. Barbot, C. Démoulins, L. Hillah, F. Hulin‑Hubard, F. Kordon, A. Linard, L. Petrucci : “A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems”, 15^th International Conference on Formal Engineering Methods (ICFEM'13), vol. 8144, Lecture Notes in Computer Science, Queenstown, New Zealand, pp. 199-214, (Springer Berlin Heidelberg) (2013)
  • É. André, Y. Lembachar, L. Petrucci, F. Hulin‑Hubard, A. Linard, L. Hillah, F. Kordon : “CosyVerif: An Open Source Extensible Verification Environment”, 18^th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Singapore, pp. 33-36, (IEEE Computer Society Press) (2013)
  • E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking”, Proceedings of the 19^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), vol. 7795, Lecture Notes in Computer Science, Rome, Italy, pp. 580-593, (Springer) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Elements for the Design of Embedded Computer Systems”, chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pp. 3-27, (Wiley) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Eléments pour la conception des systèmes embarqués”, chapitre de Modélisation et analyse de systèmes embarqués, pp. 21-44, (Hermes) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Embedded Systems, analysis and modeling with SysML, UML and AADL”, (Wiley), (ISBN: 978-1-84821-500-9) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Introduction”, chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pp. xix-xxii, (Wiley) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Introduction générale”, chapitre de Modélisation et analyse de systèmes embarqués, pp. 15-18, (Hermes) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Modélisation et analyse des systèmes embarqués”, (Collection SEE - Hermes), (ISBN: 978-2-7462-3900-5) (2013)
  • F. Kordon, A. Linard, M. Becutti, D. Buchs, L. Fronc, L. Hillah, F. Hulin‑Hubard, F. Legond‑Aubry, N. Lohmann, A. Marechal, E. Paviot‑Adet, F. Pommereau, C. Rodríguez, Ch. Rohr, Y. Thierry‑Mieg, H. Wimmel, C. Wolf : “Web Report on the Model Checking Contest @ Petri Net 2013”, (2013)
• 2012
  • S. Baarir, F. Kordon : “Modeling and Verifying Distributed Systems with Petri Nets (tutorial)”, 2^nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Constantine, Algeria, pp. 92-92, (IEEE Press) (2012)
  • F. Kordon, B. Bérard, Y. Thierry‑Mieg, Y. Ben Maïssa : “Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification”, Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Dagstuhl, Germany, pp. 38-39 (2012)
  • J. Delange, L. Pautet, F. Kordon : “Design, implementation and verification of MILS systems”, Software: Practice and Experience, vol. 42 (7), pp. 799-816, (Wiley) (2012)
  • M. Colange, F. Kordon, Y. Thierry‑Mieg, S. Baarir : “State Space Analysis using Symmetries on Decision Diagrams”, 12^th International Conference on Application of Concurrency to System Design (ACSD'2012), Hamburg, Germany, pp. 164-172, (IEEE Computer Society) (2012)
  • Y. Ben Maïssa, F. Kordon, S. Mouline, Y. Thierry‑Mieg : “Modeling and Analyzing Wireless Sensor Networks with VeriSensor”, Petri Net and Software Engineering (PNSE), vol. 851, CEUR Workshop Proceedings, Hamburg, Germany, pp. 60-76 (2012)
  • M. Colange, L. Hillah, F. Kordon, P. Parutto : “Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach”, Development, Operation and Management of Large-Scale Complex IT Systems, 17^th Monterey Workshop, Revised Selected Papers, vol. 7539, Lecture Notes in Computer Science, Oxford, United Kingdom, pp. 330-352, (Springer) (2012)
  • S. Hong, F. Kordon, E. Paviot‑Adet, S. Evangelista : “Computing a Hierarchical Static order for Decision Diagram-Based Representation from P/T Nets”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 6900 (V), Lecture Notes in Computer Science, pp. 121-140, (Springer) (2012)
  • L. Hillah, F. Kordon, Ch. Lakos, L. Petrucci : “Extending PNML Scope: a Framework to Combine Petri Nets Types”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), Lecture Notes in Computer Science, pp. 46-70, (Springer) (2012)
  • M. Jan, Ch. Jouvray, F. Kordon, A. Kung, J. Lalande, F. Loiret, J. Navas, L. Pautet, J. Pulou, A. Radermacher, L. Seinturier : “Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems”, Software: Practice and Experience, vol. 42 (12), pp. 1467-1494, (Wiley) (2012)
  • A. Ben Salem, A. Duret‑Lutz, F. Kordon : “Model Checking using Generalized Testing Automata”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), pp. 94-122, (Springer) (2012)
  • F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista, K. Lampka, N. Lohmann, E. Paviot‑Adet, Y. Thierry‑Mieg, H. Wimmel : “Report on the Model Checking Contest at Petri Nets 2011”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), Lecture Notes in Computer Science, pp. 169-196, (Springer) (2012)
• 2011
  • Y. Zhang, B. Bérard, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Modeling complex systems with VeriJ”, 5^th Verification and Evaluation of Computer and Communication System (VECOS), Tunis, Tunisia, pp. 34-45, (British Informatics Society Ltd) (2011)
  • M. Colange, S. Baarir, F. Kordon, Y. Thierry‑Mieg : “Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag”, 32^nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), vol. 6709, Lecture Notes in Computer Science, Newcastle, United Kingdom, pp. 338-347, (Springer) (2011)
  • Y. Thierry‑Mieg, B. Bérard, F. Kordon, D. Lime, O. Roux : “{Compositional Analysis of Discrete Time Petri nets}”, 1^st workshop on Petri Nets Compositions (CompoNet 2011), vol. 726, CEUR-WS, Newcastle, United Kingdom, pp. 17-31, (CEUR) (2011)
  • L. Hillah, F. Kordon, Ch. Lakos, L. Petrucci : “{Extending PNML Scope: the Prioritised Petri Nets Experience}”, Petri Net and Software Engineering (PNSE 2011), vol. 723, CEUR-WS, Newcastle, United Kingdom, pp. 92-106, (CEUR) (2011)
  • A. Ben Salem, A. Duret‑Lutz, F. Kordon : “{Generalized Büchi Automata versus Testing Automata for Model Checking}”, 2^nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), vol. 726, CEUR-WS, Newcastle, United Kingdom, pp. 65-79, (CEUR) (2011)
  • S. Gerard, F. Kordon, B. Selic : “2^nd Model-based Engineering for Real-Time Embedded Systems (associated to ISORC 2011)”, (IEEE Computer Society) (2011)
  • J. Delange, L. Pautet, F. Kordon : “A Model-Based Approach To Configure and Reconfigure Avionics Systems”, chapter in Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, pp. 509-541, (IGI Global), (ISBN: 9781609600860) (2011)
  • S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “Distributed Systems Design and Algorithms”, (John Wiley & Sons, Ltd.) (2011)
  • S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “General introduction”, chapter in Distibuted Systems: Design and Algorithms, pp. 13-17, (Wiley), (ISBN: 9781848212503) (2011)
  • S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “Introduction”, chapter in Models and Analysis in Distributed Systems, pp. 17-20, (Wiley), (ISBN: 9781848213142) (2011)
  • F. Kordon : “Introduction to Large-Scale Peer-to-Peer Distributed Systems”, chapter in Distibuted Systems: Design and Algorithms n°2, pp. 21-31, (Wiley), (ISBN: 9781848212503) (2011)
  • S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “Models and Analysis in Distributed Systems”, (John Wiley & Sons, Ltd.) (2011)
• 2010
  • Y. Zhang, B. Bérard, F. Kordon, Y. Thierry‑Mieg : “Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams”, 11^th International Workshop on Discrete Event Systems (WODES'10), Berlin, Germany, pp. 281-286, (IFAC/Elsevier) (2010)
  • J.‑B. Voron, C. Démoulins, F. Kordon : “Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach”, 10^th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal, pp. 57-66, (IEEE) (2010)
  • G. Lasnier, Th. Robert, L. Pautet, F. Kordon : “Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex”, 10^th international conference on New Technologies of Distributed Systems (NOTERE'2010), Tozeur, Tunisia, pp. 17-24, (IEEE) (2010)
  • J. Delange, L. Pautet, F. Kordon : “Design, Verification and Implementation of MILS systems”, Proceedings of the 21^th International Symposium on Rapid System Prototyping, Fairfax, VA, United States, pp. 1-8, (IEEE Computer Society) (2010)
  • A. Linard, E. Paviot‑Adet, F. Kordon, D. Buchs, S. Charron : “polyDD: Towards a Framework Generalizing Decision Diagrams”, 10^th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal, pp. 124-133, (IEEE) (2010)
  • F. Kordon : “{Ingénierie basée sur les modèles : quelques défis actuels}”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. 93, pp. 2-5, (Génie industriel multimédia) (2010)
  • J. Delange, L. Pautet, F. Kordon : “Modeling and Validation of ARINC653 architectures”, Embedded Real Time Software and Systems (ERTSS'10), Toulouse, France, pp. 1-8 (2010)
  • G. Lasnier, Th. Robert, L. Pautet, F. Kordon : “Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems”, 13^th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), Carmona, Spain, pp. 87-91, (IEEE) (2010)
  • J. Zhu, F. Kordon : “A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL”, 2^nd International Conference on Information Management and Engineering (ICIME 2010), Chengdu, China, pp. 304-310, (IEEE) (2010)
  • S. Baarir, L. Hillah, F. Kordon, E. Renault : “Self-Reconfigurable Modular Robots and their Symbolic Configuration Space”, Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16^th Monterey Workshop 2010, Redmond, Revised Selected Papers, vol. 6662, Lecture Notes in Computer Science, Redmond, United States, pp. 103-121, (Springer) (2010)
  • L. Hillah, F. Kordon, L. Petrucci, N. Trèves : “PNML Framework: an extendable reference implementation of the Petri Net Markup Language”, 31^st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), vol. 6128, Lecture Notes in Computer Science, Braga, Portugal, pp. 318-327, (Springer) (2010)
  • F. Kordon, Y. Thierry‑Mieg : “Experiences in Model Driven Verification of Behavior with UML”, Foundations of Computer Software, Future Trends and techniques for Development, 15^th Monterey Workshop 2008, Budapest, Revised Selected Papers, vol. 6028, Lecture Notes in Computer Science, Budapest, Hungary, pp. 181-200, (Springer) (2010)
  • R. Bendraou, D. Cancila, H. Espinoza, S. Gerard, F. Kordon, B. Selic : “1^st Model-Based Engineering for Real-Time Embedded Systems Design (associated to ISORC 2010)”, (IEEE Computer Society), (ISBN: 978-0-7695-4038-2) (2010)
• 2009
  • J. Delange, L. Pautet, A. Plantec, M. Kerboeuf, F. Singhoff, F. Kordon : “Validate, Simulate and Implement ARINC653 Systems using the AADL”, ACM SIGAda Ada Letters, vol. 29 (3), pp. 31-44 (2009)
  • F. Bonnefoi, Ch. Choppy, F. Kordon : “A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 5800 (III), Lecture Notes in Computer Science, pp. 159-188, (Springer) (2009)
  • N. Trèves, L. Hillah, F. Kordon, L. Petrucci : “A primer on the Petri Net Markup Language and ISO/IEC 15909-2”, 10^th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Aarhus, Denmark, pp. 19 (2009)
  • L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Trèves : “A primer on the Petri Net Markup Language and ISO/IEC 15909-2”, Petri Net Newsletter, vol. 76, pp. 9-28 (2009)
  • A. Hamez, Y. Thierry‑Mieg, F. Kordon : “Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation”, Fundamenta Informaticae, vol. 94 (3-4), pp. 413-437, (Polskie Towarzystwo Matematyczne) (2009)
  • X. Renault, F. Kordon, J. Hugues : “Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets”, Proceedings of the 20^th International Workshop on Rapid System Prototyping, Paris, France, pp. 26-33, (IEEE) (2009)
  • O. Bertrand, A. Calonne, Ch. Choppy, S. Hong, K. Klai, F. Kordon, Y. Okuji, E. Paviot‑Adet, L. Petrucci, J.‑P. Smets : “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, Paris, France, pp. 315-316 (2009)
  • X. Renault, F. Kordon, J. Hugues : “From AADL architectural models to Petri Nets: Checking model viability”, 12^th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Tokyo, Japan, pp. 313-320, (IEEE Computer Society) (2009)
  • Y. Thierry‑Mieg, D. Poitrenaud, A. Hamez, F. Kordon : “Hierarchical Set Decision Diagrams and Regular Models”, 15^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol. 5505, Lecture Notes in Computer Science, York, United Kingdom, pp. 1-15, (Springer) (2009)
  • F. Kordon : “Model Driven Enginering versus Organic Computing, two complementary approaches”, 12^th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, Tokyo, Japan, pp. 99-100, (IEEE Computer Society) (2009)
  • R. Bashirov, F. Kordon, H. Lort : “{Exploiting colored Petri nets to decide on permutation admissibility}”, Acta Informatica, vol. 46 (1), pp. 43-55, (Springer Verlag) (2009)
  • S. Haddad, F. Kordon, L. Petrucci, J.‑F. Pradat‑Peyre, N. Trèves : “Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains”, Proceedings of the 28^th American Control Conference (ACC'09), Saint Louis, MO, United States, pp. 5018-5025, (IEEE) (2009)
  • F. Kordon, Y. Kermarrec : “Reliable Software Technologies – Ada-Europe 2009: 14^th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings”, vol. 5570, Lecture Notes in Computer Science, (Springer Berlin Heidelberg), (ISBN: 978-3-642-01923-4) (2009)
• 2008
  • J. Delange, L. Pautet, F. Kordon : “Code Generation Strategies for Partitioned Systems”, 29^th IEEE Real-Time Systems Symposium (RTSS'08), Barcelona, Spain, pp. 53-56, (IEEE Computer Society) (2008)
  • F. Bonnefoi, Ch. Choppy, F. Kordon : “A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example”, 9^th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN' 08), Aarhus, Denmark, pp. 183-202, (Daimi University, PB 588) (2008)
  • F. Kordon, J. Hugues, X. Renault : “From Model Driven Engineering to Verification Driven Engineering”, 6^th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), vol. 5287, Lecture Notes in Computer Science, Capri, Italy, pp. 381-393, (Springer-Verlag) (2008)
  • J.‑B. Voron, F. Kordon : “Evinrude: A Tool to Automatically Transform Program’s Sources into Petri Nets”, Petri Net Newsletter, vol. 75, pp. 19-38 (2008)
  • J. Hugues, B. Zalila, L. Pautet, F. Kordon : “From the prototype to the final embedded system using the Ocarina AADL tool suite”, ACM Transactions on Embedded Computing Systems (TECS), vol. 7 (4), pp. 42, (ACM) (2008)
  • D. Benmerzoug, F. Kordon, M. Boufaïda : “A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration”, Advances in Enterprise Engineering I, 4^th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), vol. 10, Lecture Notes in Business Information Processing, Montpellier, France, pp. 78-92, (Springer-Verlag) (2008)
  • X. Renault, J. Hugues, F. Kordon : “Formal Modeling of a Generic Middleware to Ensure Invariant Properties”, 10^th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), vol. 5051, Lecture Notes in Computer Science, Oslo, Norway, pp. 185-200, (Springer-Verlag) (2008)
  • A. Hamez, Y. Thierry‑Mieg, F. Kordon : “Hierarchical Set Decision Diagrams and Automatic Saturation”, 29^th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), vol. 5062, Lecture Notes in Computer Science, Xian, China, pp. 211-230, (Springer-Verlag) (2008)
  • B. Bérard, S. Haddad, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory”, 9^th International Workshop on Discrete Event Systems (WODES'08), Goteborg, Sweden, pp. 346-351, (IEEE Computer Society) (2008)
  • F. Kordon : “Design Methodologies for Embedded Systems: Where is the Super-Glue?”, 11^th International Symposium on Object-oriented Real-time Distributed Computing (ISORC '08), Orlando, United States, pp. 358-359, (IEEE Computer Society) (2008)
  • L. Hillah, F. Kordon, L. Petrucci : “Application des méthodes formelles à la robotique modulaire”, Journal Européen des Systèmes Automatisés (JESA), vol. 42 (4), pp. 459-478, (Lavoisier) (2008)
  • J.‑B. Voron, F. Kordon : “Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel Programs”, International Workshop on Petri Nets Tools and APplications (PNTAP), Marseille, France, pp. 1-10, (ACM) (2008)
  •  . Luqi, F. Kordon : “Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs”, Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14^th Monterey Workshop 2007, Monterey, Revised Selected Papers, vol. 5320, Lecture Notes in Computer Science, Monterey, United States, pp. 15-24, (Springer-Verlag) (2008)
  • F. Kordon, T. Vardanega : “13^th International Conference on Reliable Software Technologies”, vol. 5026, Lecture Notes in Computer Science, (Springer-Verlag) (2008)
  • D. Benmerzoug, F. Kordon, M. Boufaïda : “Formalisation and verification of interaction protocols for business process integration: a Petri net approach”, International Journal of Simulation and Process Modelling, vol. 4 (3/4), pp. 195-204, (Inderscience) (2008)
  • F. Kordon : “Introduction aux systèmes répartis à large échelle”, chapitre de Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, vol. 9, Traités IC2 - Informatique et systèmes d'information, pp. 189-200, (Hermes), (ISBN: 978-2-7462-1943-4) (2008)
  • F. Kordon, L. Pautet, L. Petrucci : “Introduction générale”, chapitre de Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, vol. 9, Traités IC2 - Informatique et systèmes d'information, pp. 15-19, (Hermès), (ISBN: 978-2-7462-1943-4) (2008)
  • F. Kordon, L. Pautet, L. Petrucci : “Systèmes répartis en action : de l’embarqué aux systèmes à large échelle”, Traités IC2 - Informatique et systèmes d'information, (Hermes) (2008)
• 2007
  • F. Bonnefoi, L. Hillah, F. Kordon, X. Renault : “Design, Modeling and Analysis of ITS using UML and Petri Nets”, 10^th International IEEE Conference on Intelligent Transportation Systems, Seattle, WA, United States, pp. 314-319, (IEEE) (2007)
  • D. Benmerzoug, M. Boufaïda, F. Kordon : “A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents”, 5^th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), Madeira, Portugal, pp. 163-168, (INSTICC Press) (2007)
  • F. Kordon, L. Petrucci : “A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots”, 2^nd National Workshop on Control Architectures of Robots: From Models to Execution on Distributed Control Architectures, Paris, France, pp. 15-26 (2007)
  • F. 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), Santorini, Greece, pp. 420-427, (IEEE Computer Society) (2007)
  • J. Hugues, B. Zalila, L. Pautet, F. Kordon : “Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina”, 18^th International Workshop on Rapid System Prototyping (RSP), Porto Alegre, Brazil, pp. 106-112, (IEEE Computer Society) (2007)
  • F. Kordon, J.‑B. Voron, L. Iftode : “Rapid Prototyping of Intrusion Detection Systems”, 18^th International Workshop on Rapid System Prototyping (RSP), Porto Alegre, Brazil, pp. 89-98, (IEEE Computer Society) (2007)
  • A. Hamez, F. Kordon, Y. Thierry‑Mieg, F. Legond‑Aubry : “dmcG: a distributed symbolic model checker based on GreatSPN”, ICATPN'07 Proceedings of the 28^th international conference on Applications and theory of Petri nets and other models of concurrency, vol. 4546, Lecture Notes in Computer Science, Siedlce, Poland, pp. 495-504, (Springer) (2007)
  • A. Hamez, F. Kordon, Y. Thierry‑Mieg : “libDMC: a library to Operate Efficient Distributed Model Checking”, Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International, Long Beach, California, United States (2007)
  • J. Hugues, F. Kordon, L. Pautet, Th. 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, 12^th edition, 2005), vol. 4322, Lecture Notes in Computer Science, University of California, Irvine, United States, pp. 121-142, (Springer-Verlag) (2007)
  • N. Abdennadher, F. Kordon : “12^th International Conference on Reliable Software Technologies”, vol. 4498, Lecture Notes in Computer Science, (Springer-Verlag) (2007)
  • R. Driouche, Z. Boufaïda, F. Kordon : “An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration”, International Journal of Interoperability in Business Information Systems, vol. 2 (2), pp. 39-64 (2007)
  • F. Kordon : “Special Issue on Rapid System Prototyping”, IEEE Distributed Systems Online, vol. 8-3, 8-4 and 8-5, (Institute of Electrical and Electronics Engineers (IEEE)) (2007)
  • F. Kordon, J. Sztipanovits : “Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms”, vol. 4322, Lecture Notes in Computer Science (LNCS), (Springer-Verlag) (2007)
• 2006
  • F. Kordon, A. Linard, E. Paviot‑Adet : “Optimized Colored Nets Unfolding”, International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), vol. 4229, Lecture Notes in Computer Science, Paris, France, pp. 339-355, (Springer-Verlag) (2006)
  • R. Driouche, Z. Boufaïda, F. Kordon : “Towards Integrating Collaborative Business Process based onProcess Ontology and EbXML Collaboration Scenario”, 6^th International Workshop On Web Based Collaboration (WBC '2006), Krakow, Poland, pp. 299-303, (IEEE Computer Society) (2006)
  • F. Kordon, L. Petrucci : “Toward formal methods oecumenism?”, IEEE Distributed Systems Online, vol. 7 (7), pp. pp. 2, (Institute of Electrical and Electronics Engineers (IEEE)) (2006)
  • F. Bonnefoi, L. Hillah, F. Kordon, G. 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), Turku, Finland, pp. 65-86 (2006)
  • A. Hamez, L. Hillah, F. Kordon, A. Linard, E. Paviot‑Adet, X. Renault, Y. Thierry‑Mieg : “New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems”, 6^th International Conference on Application of Concurrency to System Design (ACSD '06), Turku, Finland, pp. 273-275, (IEEE Computer Society) (2006)
  • R. Driouche, Z. Boufaïda, F. Kordon : “An Ontology Based Architecture for Integrating Enterprise Applications”, International Workshop on Modelling, Simulation and Validation of Enterprise Information Systems - MSVVEIS 2006, Paphos, Cyprus, pp. 26-37, (INSTICC Press) (2006)
  • J. Hugues, F. Kordon, L. Pautet : “A Framework for DRE Middleware, an Application to DDS”, International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Gyeongju, Korea, Republic of, pp. 224-231, (IEEE Computer Society) (2006)
  • R. Driouche, Z. Boufaïda, F. Kordon : “A Multi-Views Business Process Ontology for Flexible Collaboration”, International Workshop on Enterprise Integration, Interoperability and Networking (EI2N '06), Bordeaux, France, pp. 49-62, (Hermes) (2006)
  • F. Gilliers, F. Kordon, Y. Thierry‑Mieg : “Processus de fabrication de systèmes répartis centré sur un modèle : l’expérience du projet MORSE”, La Revue de l'électricité et de l'électronique, vol. 3, pp. 102-111, (Société de l'Électricité, de l'Électronique et des Technologies de l'Information et de la Communication) (2006)
  • Ch. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci, Y. Thierry Mieg : “Tutorial on Formal Methods for Distributed and Cooperative Systems”, 3^rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), vol. 4281, Lecture Notes in Computer Science, Tunis, Tunisia, pp. 362-365 (2006)
  • L. Hillah, F. Kordon, L. Petrucci, N. Trèves : “PN standardisation: a survey”, 26^th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), vol. 4229, Lecture Notes in Computer Science, Paris, France, pp. 307-322, (Springer-Verlag) (2006)
  • J. Hugues, F. Kordon, L. Pautet : “Construction d’un intergiciel vérifié”, chapitre de Méthodes formelles pour les systèmes répartis et coopératifs, pp. 265-287, (Hermes), (ISBN: 2-7462-1447-4) (2006)
  • S. Haddad, F. Kordon, L. Petrucci : “Introduction générale”, chapter in Méthodes formelles pour les systèmes répartis et coopératifs, pp. 1-6, (Hermes), (ISBN: 2-7462-1447-4) (2006)
  • S. Haddad, F. Kordon, L. Petrucci : “Méthodes formelles pour les systèmes répartis et coopératifs”, Traités IC2 - Informatique et systèmes d'information, 370 pages, (Hermès) (2006)
  • F. Kordon : “Panorama sur le développement”, chapitre de Méthodes formelles pour les systèmes répartis et coopératifs, pp. 253-264, (Hermes), (ISBN: 2-7462-1447-4) (2006)
• 2005
  • L. Hillah, F. Kordon, L. Petrucci, N. Trèves : “Model Engineering on Petri Nets for ISO/IEC 15909-2: API Framework for Petri Net Types Metamodels”, Petri Net Newsletter, vol. 69, pp. 22-40 (2005)
  • Th. Vergnaud, J. Hugues, L. Pautet, F. Kordon : “Rapid Development Methodology for Customized Middleware”, 16^th IEEE International Workshop on Rapid System Prototyping (RSP'05), Montreal, Canada, pp. 111-117, (IEEE Computer Society) (2005)
  • Th. Vergnaud, L. Pautet, F. Kordon : “Using the AADL to Describe Distributed Applications from Middleware to Software Components”, Reliable Software Technologies (RST'05), vol. 3555, Lecture Notes in Computer Science, York, United Kingdom, pp. 67-78, (Springer) (2005)
  • J. Hugues, L. Pautet, F. Kordon : “Revisiting COTS Middleware for DRE System”, International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), Seattle, United States, pp. 72-79, (IEEE) (2005)
  • J. Hugues, F. Kordon, L. Pautet : “Towards Proof-Based Real-Time Distribution Middleware”, 13^th International Conference On Real-Time Systems (RTS '05), Paris, France, pp. 51-70, (BIRP) (2005)
  • F. Kordon, L. Pautet : “Toward next-generation toward next-generation middleware ?”, IEEE Distributed Systems Online, vol. 6 (3), (Institute of Electrical and Electronics Engineers (IEEE)) (2005)
• 2004
  • F. Gilliers, F. Bréant, D. Poitrenaud, F. Kordon : “Model Checking of Highlevelobject Oriented Specifications : The LfP Experience”, 3^rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), Aarhus, Denmark, pp. 149-168 (2004)
  • J. Hugues, Y. Thierry‑Mieg, F. Kordon, L. Pautet, S. Baarir, Th. Vergnaud : “On the Formal Verification of Middleware Behavioral Properties”, 9^th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Linz, Austria, pp. 139-157, (Elsevier) (2004)
  • F. Gilliers, F. Kordon, J.‑P. Velu : “Generation of Distributed Programs in their Target Execution Environment”, 15^th IEEE International Workshop on Rapid System Prototyping, Geneva, Switzerland, pp. 127-134, (IEEE Computer Society) (2004)
  • Th. Vergnaud, J. Hugues, L. Pautet, F. Kordon : “PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed Applications”, 9^th International Conference on Reliable Software Technologies - Ada-Europe 2004, vol. 3063, Lecture Notes in Computer Science, Palma de Mallorca, Spain, pp. 106-119, (Springer-Verlag) (2004)
  • L. Pautet, F. Kordon : “Des vertus de la schizophrénie pour le prototypage d’applications à composants intéropérables”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 23 (10), pp. 1301-1328, (Lavoisier) (2004)
  • F. Kordon, M. Lemoine : “Formal Methods for Embedded Distributed Systems : How to Master the Complexity ?”, (Kluwer Academic Publishing) (2004)
  • F. Bréant, J.‑M. Couvreur, F. Gilliers, F. Kordon, I. Mounier, E. Paviot‑Adet, D. Poitrenaud, D. Regep, G. Sutre : “Modeling and Verifying Behavioral Aspects”, chapter in Formal Methods for Embedded Distributed Systems - How to master the complexity, pp. 171-211, (Kluwer Academic Publishers), (ISBN: 1-4020-7996-6) (2004)
  • Y. Thierry‑Mieg, S. Baarir, A. Duret‑Lutz, F. Kordon : “Nouvelles techniques de Model Checking pour la vérification de systèmes complexes”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. 69, pp. 17-23, (Génie industriel multimédia) (2004)
  • F. Kordon,  . Luqi, L. Wills : “Special Issue on Rapid System Prototyping”, Journal of Systems and Software, vol. 70, (Elsevier) (2004)
• 2003
  • F. Kordon, J. Henkel : “An Overview of Rapid System Prototyping Today”, Design Automation for Embedded Systems, vol. 8 (4), pp. 275-282, (Springer Verlag) (2003)
  • J. Hugues, F. Kordon, L. Pautet : “Refining Middleware Functions for Verification Purpose”, Workshop on Software Engineering for Embedded Systems, Chicago, United States (2003)
  • J. Hugues, L. Pautet, F. Kordon : “Contributions to middleware architectures to prototype distribution infrastructures”, 14^th IEEE International Workshop on Rapid System Prototyping (RSP'03), San Diego, CA, United States, pp. 124-131, (IEEE) (2003)
  • D. Regep, Y. Thierry‑Mieg, F. Gilliers, F. 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), Rennes, France (2003)
  • P. Athanas, F. Kordon : “14^th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA”, (IEEE Computer Society) (2003)
  • J. Henkel, F. Kordon : “An Overview of Rapid System Prototyping Today”, Design Automation for Embedded Systems, vol. 8, (Springer Verlag) (2003)
  • F. Kordon, W. El‑Kaïm : “Code Generation”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, pp. 433-469, (Springer-Verlag), (ISBN: 3-540-41217-4) (2003)
• 2002
  • J. Hugues, F. Kordon, L. Pautet, Th. Quinot : “A case study of Middleware to Middleware: MOM and ORB interoperability”, 4^th International Symposium on Distributed Objects and Applications (DOA'02), Irvine, CA, United States, (University of California, Irvine) (2002)
  • F. Gilliers, F. Kordon, D. Regep : “A Model Based Development Approach for Distributed Embedded Systems”, 2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the Future, vol. 2941, Lecture Notes in Computer Science, Venice, Italy, pp. 137-151, (Springer) (2002)
  • F. Kordon,  . Luqi : “Special issue on "Rapid Prototyping"”, IEEE Transactions on Software Engineering, vol. 28-29, (Institute of Electrical and Electronics Engineers) (2002)
• 2001
  • G. Gaudière, A. de Groot, J. Hooman, F. Kordon, M. Lemoine, E. Paviot‑Adet, I. Vernier‑Mounier, V. Winter : “A Survey: Applying Formal Methods to a Software Intensive System”, 6^th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), Boco Raton, FL, United States, pp. 55-64, (IEEE) (2001)
  • Th. Quinot, F. Kordon, L. Pautet : “From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models”, 3^rd International Symposium on Distributed Objects and Applications (DOA'01), Roma, Italy, pp. 165-175, (IEEE) (2001)
  • F. Kordon, L. Pautet, Th. Quinot : “Architecture for a reuseable object-oriented polymorphic middleware”, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las-Vegas, United States (2001)
  • F. Kordon, I. Vernier‑Mounier, E. Paviot‑Adet, D. Regep : “Formal Verification of Embedded Distributed Systems in a Prototyping Approach”, International Workshop on Engineering Automation for Software Intensive System Integration, Monterey, United States (2001)
  • D. Regep, F. Kordon : “LfP : A specification language for rapid prototyping of concurrent systems”, 12^th IEEE International Workshop on Rapid System Prototyping, Monterey, United States, pp. 90-96, (IEEE) (2001)
  • Th. Quinot, F. Kordon, L. Pautet : “DROOPI: Towards a generic Middleware”, Ada Letters, vol. 21 (2), pp. 26-52, (Association for Computing Machinery) (2001)
  • M. Doche, I. Vernier‑Mounier, F. Kordon : “Modular Approach to Specify and Validate an Electrical Fligh Control System”, Formal Method Europe (FME '2001), vol. 2021, Lecture Notes in Computer Science, Berlin, Germany, pp. 590-610, (Springer-Verlag) (2001)
• 2000
  • I. Bakam, F. Kordon, Ch. Le Page, F. 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, Antananarive, Madagascar (2000)
  • D. Regep, F. Kordon : “Using MetaScribe to prototype an UML to C++/Ada95 code generator”, 11^th IEEE International Workshop on Rapid System Prototyping, Paris, France, pp. 128-133, (IEEE) (2000)
  • I. Bakam, F. Kordon, Ch. Le Page, F. Bousquet : “Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System”, (2000)
  • I. Bakam, F. Kordon, Ch. Le Page, F. 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, vol. 1871, Lecture Notes in Computer Science, Greenbelt, MD, United States, pp. 123-132, (Springer) (2000)
  • D. Buchs, M. Buffo, F. Kordon : “Object-Oriented Modeling and Analysis Capabilities”, (2000)
  • F. Kordon, K. Müller‑Glaser : “Design Automation for Embedded Systems”, Design Automation for Embedded Systems, vol. 5, (Springer Verlag) (2000)
• 1999
  • F. Kordon : “MetaScribe, an Ada-based Tool for the Construction of Tranformation Engines”, International Conference on Reliable Software Technologies - Ada-Europe '99, vol. 1622, Lecture Notes in Computer Science, Santander, Spain, pp. 308-319, (Springer-Verlag) (1999)
  • F. Kordon, E. Paviot‑Adet : “Using CPN-AMI to validate a safe channel protocol”, Toolset of the International Conference on Theory and Applications of Petri Nets, Williamsburg, Virginia, United States (1999)
  • W. Van der Aalst, J.‑M. Colom, F. Kordon, G. Kotsis, D. Moldt : “Petri Net Approaches for Modelling and Validation”, vol. 1, LINCOM Studies in Computer Science (1999)
• 1998
  • F. Kordon, J.‑L. Mounier : “FrameKit: A Generic Platform offering High-Level Standardization Procedure for the Prototyping of CASE Environments”, 11^th International Conference on Software Engineering and its Applications, Paris, France, pp. 91-99 (1998)
  • F. Kordon, J.‑L. Mounier : “Implementation of Genericity for customizable CASE environments”, CARI '98, Dakar, Senegal, pp. 765-776 (1998)
  • A. Diagne, P. Estraillier, F. Kordon : “Quality Management Issues along Life-cycle of Distributed Applications”, CARI '98, Dakar, Senegal, pp. 753-763 (1998)
  • F. Kordon, J.‑L. Mounier : “FrameKit, an Ada Framework for a Fast Implementation of CASE Environments”, Ada Letters, vol. XVIII (5), pp. 57-66, (Association for Computing Machinery) (1998)
  • F. Kordon : “Enregistrement des services dans la plate-forme d’accueil FrameKit”, (1998)
  • F. Kordon, J.‑L. Mounier : “FrameKit, an Ada Framework for a Fast Implementation of CASE Environments”, (1998)
  • F. Kordon : “MetaScribe : un outil pour la génération de moteurs de réécriture”, (1998)
  • F. Kordon, J.‑L. Mounier : “Implementation of Genericity for customizable CASE environments”, (1998)
  • A. Diagne, P. Estraillier, F. Kordon : “Quality Management Issues along Life-cycle of Distributed Applications”, (1998)
  • D. Buchs, A. Diagne, F. Kordon : “Testing Prototypes Validity to Enhance Code Reuse”, 9^th IEEE International Workshop on Rapid System Prototyping, Leuven, Belgium, pp. 6-12, (IEEE) (1998)
  • D. Buchs, A. Diagne, F. Kordon : “Testing Prototypes Validity to Enhance Code Reuse”, (1998)
  • F. Kordon : “Prototypage d’applications coopératives réparties et d’environnements de génie logiciel”, habilitation, phd defence 12/02/1998, supervision Estraillier, Pascal, co-supervision : Buchs Didier, Derniame Jean-Claude (1998)
• 1997
  • A. Diagne, F. Kordon : “From Formal Specification to Optimized Implementation of Distributed Systems.: A Multi-Formalism Approach”, (1997)
  • F. Kordon, N. Poizot, Gh. Filliatreau, C. 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, Cannes, France, pp. 149-154 (1997)
  • F. Kordon, J.‑L. Mounier : “FrameKit and the prototyping of CASE environments”, 8^th International Workshop on Rapid System Prototyping, Raleigh-Durham, United States, pp. 91-97, (IEEE) (1997)
  • F. Kordon, J.‑L. Mounier : “FrameKit and the prototyping of CASE environments”, (1997)
  • Gh. Filliatreau, F. Kordon, N. Poizot, C. Kordon : “BioMedScape: A new WWW Platform in Neurosciences”, European Healthcare Telematics Observatory Journal (1997)
  • A. Diagne, P. Estraillier, F. Kordon, I. Vernier, J. Cazin, M. Doche, Ch. Seguin, V. Wiels : “Spécification et Validation Modulaires de Systèmes Avioniques : Projet FORMA - Opération VaMos, Rapport Final”, LIP6, (Rapport de recherche 4/3599.00/D) (1997)
• 1996
  • A. Diagne, F. Kordon : “A multi formalisms prototyping approach from formal description to implementation of distributed systems”, Proceedings of the 7^th IEEE International Workshop on Rapid System Prototyping, N. Kanopoulos (Ed.), Saloniki, Greece, pp. 102-108, (IEEE) (1996)
  • P. Estraillier, F. Kordon : “Structuration of large scale Petri nets : an association with higher level formalisms for the design of multi-agent systems”, Proceedings of the International Conference on Systems, Man and Cybernetics Information, Intelligence ans Systems, Beijing, China, (IEEE/Systems Engineering Society of China) (1996)
• 1992
  • F. Kordon : “Prototypage de systèmes parallèles à partir de réseaux de petri colorés application au langage ada dans un environnement centralisé ou réparti”, thesis, phd defence 05/11/1992, supervision Estraillier, Pascal, co-supervision : Valette Robert, Derniame Jean-Claude (1992)
• 1991
  • F. Kordon, J.‑F. Peyre : “Process decomposition for Rapid Prototyping of Parallel systems”, 6^th International Symposium on Computer and Information Science, Antalya, Turkey (1991)