fond
Publications

Please find here the complete list of my publications as a pdf document. You may also have a look at my entries in DBLP or ACM.

Do not hesitate to contact me if you want to get one of my publications.

Some Publications

You may directly access to journal papers, conferences and workshop papers, technical reports, books and edited books, Bbook chapters, international tutorials, and my thesis and Habilitation.

Journal Papers

[1] X. Bonnaire, R. Cortés, F. Kordon, and O. Marin. ASCENT: A Provably Terminating Decentralized Logging Service. The Computer Journal, Oxford Academic, 2017 - url to publisher
[2] L. M. Hillah, A.-P. Maesano, F. De Rosa, F. Kordon, P.-H. Wuillemin, R. Fontanelli, S. Di Bona, D. Guerri, and L. Maesano. Automation and Intelligent Scheduling of Distributed System Functional Testing. International Journal on Software Tools for Technology Transfer, 19(3), pages 281-308, Springer, 2017 - url to publisher
[3] F. Kordon, H. Garavel, L. Hillah, E. Paviot-Adet, L. Jezequel, C. Rodr ́ıguez, and F. Hulin-Hubard. MCC'2015 - The Fifth Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), XI, pages 262-273, Springer, 2016 - url to publisher
[4] E. Renault, A. Duret-Lutz, F. Kordon and D. Poitrenaud. Variations on parallel explicit emptiness checks for generalized Buchi automata. International Journal on Software Tools for Technology Transfer,, pages 1433-2787, Springer, 2016 - get pdf - url to publisher
[5] M. Thabet and M. Boufaida and F. Kordon. An Approach for Developing an Interoperability Mechanism Between Cloud Providers. International Journal of Space-Based and Situated Computing, 4:2, pages 88-99, Inderscience, 2014 - get pdf - url to publisher
[6] A. Yessad, I. Mounier, T. Carron, F. Kordon, and J.-M. Labat. Formal Framework to improve the reliability of concurrent and collaborative learning games. EAI Endorsed Trans. Serious Games, pages 2:e4, ICST, 2014 - get pdf - url to publisher
[7] Y. Zhang, B. bérard, L.-M. Hillah, F. Kordon and Y. Thierry-Mieg. Controllability for Discrete Event Systems Modeled in VeriJ. International Journal of Critical Computer-Based Systems, vol 5, Nos 3/4, pages 218-240, Inderscience, 2014 - get pdf - url to publisher
[8] Y. Ben Maïssa, F. Kordon, S. Mouline and Y. Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), VIII, pages 24-47, Springer Verlag, 2013 - url to publisher
[9] M. Jan, C. Jouvray, F. Kordon, A. Kung, J. Lalande, Frédéric Loiret, J. Navas, L. Pautet, J. Pulou, A. Radermacher and L. Seinturier. Flex-eWare: a Flexible Solution for Designing and Implementing Embedded Distributed Systems. Software Practice and Experience, 42(12), pages 1467-1794, Wiley, 2012 - get pdf - url to publisher
[10] L.M. Hillah, F. Kordon, C. Lakos and L. Petrucci. Extending PNML Scope: a Framework to Combine Petri Nets Types. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), VI, pages 46-70, Springer Verlag (LNCS, vol. 7400), 2012 - get pdf - url to publisher
[11] F. Kordon, A. Linard, D. Buchs, M. Colange1, S. Evangelista and K. Lampka, N. Lohmann, E. Paviot-Adet , Y. Thierry-Mieg, H. Wimmel. Report on the Model Checking Contest at Petri Nets 2011. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), VI, pages 169-196, Springer Verlag (LNCS, vol. 7400), 2012 - get pdf - url to publisher
[12] A.E. Ben Salem, A. Duret-lutz and F. Kordon. Model Checking using Generalized Testing Automata. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), VI, pages 94-122, Springer Verlag (LNCS, vol. 7400), 2012 - get pdf - url to publisher
[13] J. Delange, L. Pautet and F. Kordon. Design, implementation and verification of MILS systems. Software Practice and Experience, 42(7), pages 799-816, Wiley, 2012 - get pdf - url to publisher
[14] S. Hong, F. Kordon, E. Paviot-Adet and S. Evangelista. Computing a Hierarchical Static order for Decision Diagram-Based Representation from P/T Nets. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), V, pages 121-140, Springer Verlag (LNCS, vol. 6900), 2012 - get pdf - url to publisher
[15] F. Kordon. Ingénierie basée sur les modèles : quelques défis actuels . Génie Logiciel, 93, pages 2-4+22, CSFM, 2010 - get pdf
[16] J. Delange, L. Pautet, A. Pantec, M. Kerboeuf, F. Singhoff and F. Kordon. Validate, Simulate, and Implement ARINC653 Systems Using the AADL. ACM SIGAda Ada Letters (from the proceedings of the ACM SigAda conference 2009), 29(3), pages 31-44, ACM Press, 2009 - get pdf - url to publisher
[17] F. Bonnefoi, C. Choppy and F. Kordon. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), III, pages 159-188, Springer Verlag (LNCS, vol. 5800), 2009 - get pdf - url to publisher
[18] L. Hillah, E. Kindler, F. Kordon, L. Petrucci and N. Trèves. A primer on the Petri Net Markup Language and ISO/IEC 15909-2 (originally presented at the 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools - CPN'09). Petri Net Newsletter, 76, pages 9-28, Gesellschaft für Informatik, 2009 - get pdf
[19] A. Hamez, Y. Thierry-Mieg and F. Kordon. Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundamenta Informaticae, 94(3-4), pages 413-437, IOS Press, 2009 - get pdf - url to publisher
[20] R. Bashirov, F. Kordon and H. Lort. Exploiting colored Petri nets to decide on permutation admissibility. Acta Informatica, 46(1), pages 43-55, Springer Verlag, 2009 - get pdf - url to publisher
[21] D. Benmerzoug, F. Kordon and M. Boufaida. Formalisation and verification of interaction protocols for business process integration: a Petri net approach. International Journal of Simulation and Process Modelling, 4(3/4), pages 195-204, Inderscience, 2008 - url to publisher
[22] J-B. Voron and F. Kordon. Evinrude: A Tool to Automatically Transform Program's Sources into Petri Nets. Petri Net Newsletter, 75, pages 19-38, Gesellschaft für Informatik, 2008 - get pdf
[23] J. Hugues, B. Zalila, L. Pautet, and F. Kordon. From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite. Transactions on Embedded Computing Systems, 7(4), pages 1-25, ACM, 2008 - get pdf - url to publisher
[24] L. Hillah, F. Kordon, and L. Petrucci. Application des méthodes formelles à la robotique modulaire. Journal Européen des Systèmes Automatisés, 42(4):, pages 459-478, 2008 - get pdf - url to publisher
[25] R. Driouche, Z. Boufaida, and F. Kordon. An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration. International Journal of Interoperability in Business Information Systems, 2(2), pages 39-64, 2007 - url to publisher
[26] F. Kordon and L. Petrucci. Toward Formal-Methods Oecumenism ?. IEEE Distributed Systems Online, 7(7), IEEE Computer Society, 2006 - url to publisher
[27] F. Gilliers, F. Kordon, and Y. Thierry-Mieg. Processus de fabrication de systèmes répartis centré sur un modèle : l'expérience du projet MORSE. REE, 3, pages 102-111, 2006 - get pdf
[28] L. Hillah, F. Kordon, L. Petrucci, and N.Trèves. Model engineering on Petri Nets for ISO/IEC 15909-2 : API Framework for Petri Net types metamodels. Petri Net Newsletter, (69), pages 22-40, Gesellschaft für Informatik, 2005 - get pdf
[29] F. Kordon and L. Pautet. Toward Next-Generation Middleware ?. IEEE Distributed Systems Online, 6(3), IEEE Computer Society, 2005 - url to publisher
[30] L. Pautet and F. Kordon. Des vertus de la schizophrénie pour le prototypage d'applications à composants intéropérables. TSI, 23(10), pages 1301-1328, Hermes, 2004 - get pdf
[31] Y. Thierry-Mieg, S. Barrir, A. Duret-Lutz, and F. Kordon. Nouvelles techniques de Model Checking pour la vérification de systèmes complexes. Génie Logiciel, 69, pages 17-23, 2004 - get pdf
[32] L. Wills, F. Kordon, and Luqi. Rapid system prototyping. Journal of Systems and Software, 70(3), pages 225-227, 2004
[33] F. Kordon and Luqi. An Introduction to Rapid System Prototyping. IEEE Transactions on Software Engineering, 70(3), pages 817-821, IEEE Computer Society, 2002 - get pdf
[34] F. Kordon and J-L. Mounier. FrameKit, an Ada framework for a fast implementation of CASE enviroments. ACM SIGAda Ada Letters, Vol XVIII(5), pages 57-66, ACM, 1998 - get pdf - url to publisher

Conferences and Workshops Papers

[35] L. Le Frioux, S. Baarir, J. Sopena, and F. Kordon. PaInleSS: a Framework for Parallel SAT Solving. 20th International Conference on Theory and Applications of Satisfiability Testing (SAT) volume 10491 of LNCS, pages 233-250, Springer, August 2017 - url to publisher
[36] L. M. Hillah and F. Kordon. Petri Nets Repository: a tool to benchmark and debug Petri Net tools. 38th International Conference on Petri Nets and Other Models of Concurrency (Petri Nets) volume 10258 of LNCS, pages 125-135, Springer, June 217 - url to publisher
[37] A. Duret-Lutz, F. Kordon, D. poitrenaud, and E. Renault. Heuristics for Checking Liveness Properties with Partial Order Reductions. 14th International Symposium o, Automated Technology for Verifica- tion and Analysis – ATVA, volume 9035 of Lecture Notes in Computer Science, pages 340-356, Springer, October 2016 - url to publisher
[38] L. Messan Hillah, A.-P. Maesano, L. Maesano, F. De Rosa, F. Kordon, and P.-H. Wuillemin. Service functional testing automation with intelligent scheduling and planning. 31st Annual ACM Symposium on Applied Computing (SAC), pages 1605-1610, ACM, April 2016 - get pdf
[39] S. Herbold, J. Grabowski, P. Harms, L.-M. Hillah, F. Kordon, A.-P. Maesano, L. Maesano, C. Di Napoli, F. De Rosa, M. Schneider, N. Tonelloto, M.-F. Wendland, and P.-H. Wuillemin. The MIDAS Cloud Platform for Testing SOA Applications. 8th International IEEE Conference on Software Testing, Verification and Validation - ICST, pages 1-8, IEEE Computer Society, April 2015 - get pdf - url to publisher
[40] E. Renault, A. Duret-Lutz, F. Kordon and D. poitrenaud. Parallel Explicit Model Checking for Generalized Buchi Automata. 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS, volume 9035 of Lecture Notes in Computer Science, pages 613-627, Springer, April 2015 - get pdf - url to publisher
[41] A. Yessad, I. Mounier, J.-M. Labat, F. Kordon, and T. Carron. Have you found the error? A Formal Framework for Learning Game Verification. th European Conference on Technology Enhanced Learning (EC-TEL), volume 8719 of Lecture Notes in Computer Science, pages 476-481, Springer, September 2014 - get pdf - url to publisher
[42] E. André, F. Kordon and L. Petrucci. Teaching formal methods: Experience at UPMC and UP13 with CosyVerif. 25th EAEEIE annual International Conference, pages 31-34, IEEE Computer Society, May 2014 - get pdf
[43] F. Kordon and F. Hulin-Hubard. BenchKit, a Tool for Massive Concurrent Benchmarking. 14th International Conference on Application of Concurrency to System Design (ACSD), pages 159-165, IEEE Computer Society, June 2014 - get pdf - url to publisher
[44] A. Ben Salem, A. Duret-Lutz, F. Kordon, and Y. 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), volume 8413 of LNCS, pages 440-454, Springer, April 2014 - get pdf - url to publisher
[45] E. Renault, A. Duret-Lutz, F. Kordon, and D. Poitrenaud. Three SCC-based Emptiness Checks for Generalized Büchi Automata. 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR, volume 8312 of LNCS, pages 668-682, Springer, December 2013 - get pdf - url to publisher
[46] É. André, B. Barbot, C. Démoulins, L. M. Hillah, F. Hulin-Hubard, F. Kordon, A. Linard, and L. Petrucci. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. 15th International Conference on Formal Engineering Methods - ICFEM, volume 8144 of LNCS, pages 199-214, Springer, October 2013 - get pdf - url to publisher
[47] T. Carron, F. Kordon, J.-M. Labat, I. Mounier, and A. Yessad. Toward Improvement of Serious Game Reliability. 7th European Conference on Games Based Learning - ECGBL,, pages 80-87, Academic Conferences and Publishing International, October 2013 - get pdf
[48] É. André, Y. Lembachar, L. Petrucci, F. Hulin-Hubard, A. Linard, L.-M. Hillah, and F. Kordon. CosyVerif : an Open Source Extensible Verification Environment. 18th IEEE International Conference on Engineering of Complex Computer Systems - ICECCS, pages 33-36, IEEE Computer Society, July 2013 - get pdf - url to publisher
[49] X. Bonnaire, R. Cortés, F. Kordon and O. Marin. A Scalable Architecture for Highly Reliable Certification. 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), pages 328-335, IEEE Computer Society, July 2013 - url to publisher
[50] M. Colange , S. Baarir, F. Kordon and Y. Thierry-Mieg. Towards Distributed Software Model-Checking using Decision Diagrams. 25th International Conference on Computer Aided Verification (CAV), volume 8044 of LNCS, pages 830-845, Springer, July 2013 - get pdf - url to publisher
[51] F. Kordon, X. Bonnaire, R. Cort&eactue;s and O. Marin. Verification of a Quasi certification Protocol over a DHT. Dagstuhl seminar "Formal Verification of Distributed Algorithms", number 13141, Schloss Dagstuhl, April 2013 - url to publisher
[52] E. Renault, A. Duret-Lutz, F. Kordon, and D. Poitrenaud. Strength-based decomposition of the property Büchi automaton for faster model checking. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 7795 of LNCS, pages 580-593, Springer, March 2013 - get pdf - url to publisher
[53] M. Colange, and L-M. Hillah, F. Kordon and P. Parutto. Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach. Decvelopment, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Oxford, UK, Revised Selected Papers, Volume 7539 of LNCS, pages 330-352, Springer, October 2012 - get pdf - url to publisher
[54] F. Kordon, B. Bérard, Y. Thierry-Mieg and 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", number 12272, Schloss Dagstuhl, July 2012 - get pdf - url to publisher
[55] Y. Ben Maïssa, F. Kordon, S. Mouline and Y. Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor. Petri Net and Software Engineering (PNSE), vol 851, pages 60-76, CEUR, June 2012 - get pdf - url to publisher
[56] M. Colange and F. Kordon and Y. Thierry-Mieg and S. Baarir. State Space Analysis using Symmetries on Decision Diagrams. 12th International Conference on Application of Concurrency to System Design (ACSD), pages 164-172, IEEE Computer Society, June 2012 - get pdf - url to publisher
[57] Y. Zhang, B. Bérard, F. Kordon and Y. Thierry-Mieg. Modeling complex systems with VeriJ. 5th Verification and Evaluation of Computer and Communication System (VECOS), pages 1-12, British Informatics Society Ltd, September 2011 - get pdf - url to publisher
[58] M. Colange and S. Baarir and F. Kordon and Y. 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 (Petri Nets) volume 6709 of LNCS, pages 338-347, Springer Verlag, June 2011 - get pdf - url to publisher
[59] A-E. Ben Salem, A. Duret-Lutz, and F. 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), vol 726, pages 65-79, CEUR, June 2011 - get pdf - url to publisher
[60] L.M. Hillah, F. Kordon, C. Lakos, and L. Petrucci. Extending PNML Scope : the Prioritised Petri Nets Experience. Petri Net and Software Engineering (PNSE), vol 723, pages 61-75, CEUR, June 2011 - get pdf - url to publisher
[61] Y. Thierry-Mieg, B. Bérard, F. Kordon, D. Lime, and O. H. Roux. Compositional Analysis of Discrete Time Petri nets. In 1st workshop on Petri Nets Compositions (CompoNet), vol 726, pages 17-31, CEUR, June 2011 - get pdf - url to publisher
[62] S. Baarir, F. Kordon, L. Hillah and 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, 16th Monterey Workshop, Redmond, Revised Selected Papers, Volume 6662 of LNCS, pages 103-121, Springer Verlag, May 2011 - get pdf - url to publisher
[63] Y. Zhang, B. Bérard, F. Kordon, and Y. Thierry-Mieg. Automated controllability and synthesis with hierarchical set decision diagrams. Proceedings of the 11th International Workshop on Discrete Event Systems (WODES), pages 291-296, IFAC/Elsevier, September 2010 - get pdf
[64] J. Delange and L. Pautet and F. Kordon. Design, Verification and Implementation of MILS systems. Proceedings of the 21th International Symposium on Rapid System Prototyping, pages 1-8, IEEE Computer Society, June 2010 - get pdf
[65] G. Lasnier and T. Robert and L. Pautet and F. Kordon. Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. 10th international conference on New Technologies of Distributed Systems (NOTERE), pages 17-24, IEEE Computer Society, June 2010 - url to publisher
[66] J-B. Voron and C. Démoulins and F. 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), pages 57-66, IEEE Computer Society, June 2010 - get pdf - url to publisher
[67] A. Linard and E. Paviot-Adet and F. Kordon and D. Buchs and S. Charron. polyDD: Towards a Framework Generalizing Decision Diagrams. 10th International Conference on Application of Concurrency to System Design (ACSD), pages 124-133, IEEE Computer Society, June 2010 - get pdf - url to publisher
[68] L. Hillah and F. Kordon and L. Petrucci and N. Trèves. PNML Framework: an extendable reference implementation of the Petri Net Markup Language. 31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN), volume 6128 of LNCS, pages 318-327, Springer Verlag, June 2010 - get pdf - url to publisher
[69] G. Lasnier and T. Robert and L. Pautet and F. Kordon. Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), pages 87-91, IEEE Computer Society, May 2010 - get pdf - url to publisher
[70] J. Delange and L. Pautet and F. Kordon. Modeling and Validation of ARINC653 architectures. Embedded Real Time Software and Systems (ERTSS), pages 1-8, May 2010 - get pdf
[71] J. Zhu and F. Kordon. A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL. 2nd International Conference on Information Management and Engineering (ICIME), pages 304-310, IEEE Computer Society, April 2010 - get pdf - url to publisher
[72] F. Kordon and Y. 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, volume 6028 of LNCS, pages 181-200, Springer Verlag, April 2010 - get pdf - url to publisher
[73] O. Bertrand, A. Calonne, C. Choppy, S. Hong, K. Klai, F. Kordon, Y. Okuji, E. Paviot-Adet, L. Petrucci and J.-P. Smets. Verification of large-scale distributed database systems in the NEOPPOD project. Workshop on Petri Nets and Software Engineering (PNSE) - poster paper, pages 315-316, June 2009 - get pdf
[74] X. Renault, F. Kordon, and J. Hugues. Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets. Proceedings of the 20th International Symposium on Rapid System Prototyping, pages 26-33, IEEE Computer Society, June 2009 - get pdf - url to publisher
[75] S. Haddad, F. Kordon, L. Petrucci, J-F. Pradat-Peyre, and N. Trèves. Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains. 28th American Control Conference (ACC), pages 5018-5025, Omnipress IEEE Catalog, June 2009 - get pdf - url to publisher
[76] Y. Thierry-Mieg, D. Poitrenaud, A. Hamez, and F. Kordon. Hierarchical Set Decision Diagrams and Regular Models. 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 5505 of Lecture Notes in Computer Science, pages 1-15, Springer Verlag, March 2009 - get pdf - url to publisher
[77] X. Renault, F. Kordon, and J. Hugues. From AADL architectural models to Petri Nets: Checking model viability. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), pages 313-320, IEEE Computer Society, March 2009 - get pdf - url to publisher
[78] F. Kordon. Model Driven Engineering versus Organic Computing, two complementary approaches. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC) - Panel paper, pages 99-100, IEEE Computer Society, March 2009 - url to publisher
[79] Luqi and 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, 14th Monterey Workshop 2007, Monterey, Revised Selected Papers, volume 5320 of Lecture Notes in Computer Science, pages 15-24, Springer Verlag, December 2008 - get pdf - url to publisher
[80] J. Delange, L. Pautet, and F. kordon. Code Generation Strategies for Partitioned Systems. 29th IEEE Real-Time Systems Symposium (RTSS), work in progress proceedings, pages 53-56, IEEE Computer Society, December 2008 - get pdf
[81] F. Kordon, J. Hugues, and X. Renault. From Model Driven Engineering to Verification Driven Engineering. 6th IFIP Workshop on Software Technologies for Future Embedded & Uiquitous Systems (SEUS), volume 5287 of Lecture Notes in Computer Science, pages 381-393, Springer Verlag, October 2008 - get pdf - url to publisher
[82] A. Hamez, Y. Thierry-Mieg, and F. Kordon. Hierarchical Set Decision Diagrams and Automatic Saturation. 29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN), volume 5062 of Lecture Notes in Computer Science, pages 211-230, Springer Verlag, June 2008 - get pdf - url to publisher
[83] D. Benmerzoug, F. Kordon, and M. Boufaida. A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration. 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS), volume 10 of Lecture Notes in Business Information Processing, pages 78-92, Springer Verlag, June 2008 - get pdf - url to publisher
[84] X. Renault, J. Hugues, and F. Kordon. Formal Modeling of a Generic Middleware to Ensure Invariant Properties. 10th Formal Methods for Open Object-based Distributed Systems (FMOODS), volume 5051 of Lecture Notes in Computer Science, pages 185-200, Springer Verlag, June 2008 - get pdf - url to publisher
[85] B. Bérard, S. Haddad, L. Hillah, F. Kordon, and Y. Thierry-Mieg. Collision avoidance in intelligent transport systems : towards an application of control theory. 9th International Workshop on Discrete Event Systems (WODES), pages 346-351, IEEE Computer Society, May 2008 - get pdf - url to publisher
[86] F. Kordon. Design Methodologies for Embedded Systems : Where is the Super-Glue ?. 11th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC) - Panel Paper, pages 358-359, IEEE Computer Society, May 2008 - get pdf - url to publisher
[87] J-B. Voron and F. Kordon. Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel Programs. International Workshop on Petri Nets Tools and Applications (PNTAP), pages 1-10, ACM, March 2008 - url to publisher
[88] F. Bonnefoi, L. Hillah, F. Kordon, and X. Renault. Design, modeling and analysis of ITS using UML and Petri Nets. n 10th International IEEE Conference on Intelligent Transportation Systems (ITSC), pages 314-319, IEEE Press, June 2007 - get pdf - url to publisher
[89] D. Benmerzoug, M. Boufaida, and F. 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), pages 163-168, INSTICC Press, June 2007 - get pdf - url to publisher
[90] A. Hamez, F. Kordon, Y. Thierry-Mieg, and F. Legond-Aubry. dmcG: a distributed symbolic model checker based on GreatSPN. n 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN), volume 4546 of Lecture Notes in Computer Science, pages 495-504, Springer Verlag, June 2007 - get pdf - url to publisher
[91] J. Hugues, B. Zallila, L. Pautet, and F. Kordon. Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. Proceedings of the 18th International Workshop on Rapid System Prototyping, pages 106-112, IEEE Computer Society, May 2007 - get pdf - url to publisher
[92] F. Kordon, J-B. Voron, and L. Iftode. Rapid Prototyping of Intrusion Detection Systems. Proceedings of the 18th International Workshop on Rapid System Prototyping, pages 89-96, IEEE Computer Society, May 2007 - get pdf - url to publisher
[93] F. Kordon. Mastering Complexity in Formal Analysis of Complex Systems : Some Issues and Strategies Applied to Intelligent Transport Systems. 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), pages 420-427, IEEE Computer Society, May 2007 - get pdf - url to publisher
[94] F. Kordon and L. 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, pages 85-99, LIP6/LIRMM/DGA, May 2007
[95] A. Hamez, F. Kordon, and Y. Thierry-Mieg. libDMC : a library to Operate Efficient Distributed Model Checking. Workshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS, IEEE Computer Society, March 2007 - get pdf - url to publisher
[96] J. Hugues, F. Kordon, L. Pautet, and T. 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), volume 4322 of LNCS, pages 123-144, Springer Verlag, June 2007 - get pdf - url to publisher
[97] F. Kordon, A. Linard, and E. Paviot-Adet. Optimized Colored Nets Unfolding. 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE), volume 4229 of LNCS, pages 339-355, Springer Verlag, September 2006 - get pdf - url to publisher
[98] L. Hillah, F. Kordon, L. Petrucci, and N. Trèves. PN standardisation : a survey. 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE), volume 4229 of LNCS, pages 307-322, Springer Verlag, September 2006 - get pdf - url to publisher
[99] R. Driouche, Z. Boufaïda, and F. Kordon. Towards Integrating Collaborative Business Process based onProcess Ontology and EbXML Collaboration Scenario. 6th International Workshop on Web Based Collaboration (WBC), pages 299-303, IEEE Computer Society, September 2006
[100] F. Bonnefoi, L. Hillah, F. Kordon, and G. Frémont. An approach to model variations of a scenario : Application to Intelligent Transport Systems. Workshop on Modelling of Objects, Components, and Agents (MOCA), June 2006 - get pdf
[101] A. Hamez, L. Hillah, F. Kordon, A. Linard, E. Paviot-Adet, X. Renault, and Y. Thierry-Mieg. 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), pages 273-275, IEEE Computer Society, June 2006 - get pdf - url to publisher
[102] J. Hugues, F. Kordon, and L. Pautet. A framework for DRE middleware, an application to DDS. 9th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), pages 224-231, IEEE Computer Society, May 2006 - get pdf - url to publisher
[103] R. Driouche, Z. Boufaïda, and F. Kordon. A Multi-Views Business Process Ontology for Flexible Collaboration. International Workshop on Enterprise Integration, Interoperability and Networking (EI2N), pages 51-62, Hermes, May 2006
[104] R. Driouche, Z. Boufaïda, and F. Kordon. Ontology Based Architecture for Integrating Enterprise Applications. International Workshop on Modelling, Simulation and Validation of Enterprise Information Systems (MSVVEIS), pages 26-46, INSTICC Press, May 2006
[105] T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon. Rapid Development Methodology for Customized Middleware. Proceedings of the 16th International Workshop on Rapid System Prototyping, pages 111-117, IEEE Computer Society, June 2005 - get pdf - url to publisher
[106] T. Vergnaud, L. Pautet, and F. Kordon. Using the AADL to describe distributed applications from middleware to software components. Proceedings of the 10th International Conference on Reliable Software Technologies (RST), volume 3555 of LNCS, pages 67-78, Springer Verlag, June 2005 - get pdf - url to publisher
[107] J. Hugues, F. Kordon, and L. Pautet. Revisiting COTS middleware for DRE systems. 8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), pages 72-79, IEEE Computer Society, May 2005 - get pdf - url to publisher
[108] J. Hugues, F. Kordon, and L. Pautet. Towards Proof-Based Real-Time Distribution Middleware. 13th International Conference On Real-Time Systems (RTS), pages 51-70, BIRP, April 2005
[109] J. Hugues, Y. Thierry-Mieg, F. Kordon, L. Pautet, S. Baarir, and T. Vergnaud.. On the Formal Verification of Middleware Behavioral Properties. 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Electronic Notes in Theoretical Computer Science (vol 133), pages 139-157, Elsevier, September 2004 - get pdf - url to publisher
[110] F. Gilliers, F. Bréant, D. Poitrenaud, and F. Kordon. Model checking of high-level object oriented specifications : the Lf P experience. Workshop on Modelling ofObjects, Components, and Agents (MOCA), June 2004 - get pdf
[111] F. Gilliers, F. Kordon, and J-P. Velu. Generation of distributed programs in their target execution environment. Proceedings of the 15th International Workshop on Rapid System Prototyping, pages 127-134, IEEE Computer Society, June 2004 - get pdf - url to publisher
[112] T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon. PolyORB : a schizophrenic middleware to build versatile reliable distributed applications. Proceedings of the 9th International Conference on Reliable Software Technologies - Ada-Europe, volume 3555 of LNCS, pages 106-119, Springer Verlag, June 2004 - get pdf - url to publisher
[113] F. Gilliers, F. Kordon, and D. Regep. Proposal for a Model Based Development of Distributed Embedded Systems. 2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the Future, volume 2941 of LNCS, pages 137-151, Springer Verlag, 2004 - get pdf - url to publisher
[114] D. Regep, Y. Thierry-Mieg, F. Gilliers, and F. Kordon. Modélisation et vérification de systèmes répartis : une approche intégrée avec LfP. Proceedings of Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), January 2003 - get pdf
[115] J. Hugues, F. Kordon, and L. Pautet. Refining Middleware Functions for Verification Purpose. 2003 Monterey Workshop : From Requirements to Implementation, 2003 - get pdf
[116] J. Hugues, L. Pautet, and F. Kordon. Contributions to middleware architectures to prototype distribution infrastructures. Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), pages 124-131, IEEE Computer Society, June 2003 - get pdf - url to publisher
[117] J. Hugues, F. Kordon, L. Pautet, and T. Quinot. A case study of Middleware to Middleware : MOM and ORB interoperability. Proceedings of the 4th International Symposium on Distributed Objects and Applications (DOA), University of California,, 2002 - get pdf
[118] M. Doche, I. Vernier-Mounier, and F. Kordon. A modular approach to the specification and validation of an electrical flight control system. Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity, pages 590-610, Springer Verlag, 2001 - get pdf
[119] I. Bakam, F. Kordon, C. Le Page, and F. Bousquet. Formalization of a spatialized multiagent model using coloured petri nets for the study of an hunting management system. Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems - Revised Papers, volume 1871 of LNAI, pages 123-132, Springer Verlag, 2001 - get pdf - url to publisher
[120] F. Kordon, I. Mounier, E. Paviot-Adet, and D. Regep. Formal verification of embedded distributed systems in a prototyping approach.. Monterey Workshop 2001 : Engineering Automation for Software Intensive System Integration, June 2001 - get pdf
[121] A. de Groot, J. Hooman, F. Kordon, E. Paviot-Adet, I. Vernier-Mounier, M. Lemoine, G. Gaudiere, V. Winter, and D. Kapur. A survey : Applying formal methods to a software intensive system. 6th IEEE International Symposium on High Assurance Systems Engineering (HASE), pages 55-64, IEEE Computer Society, 2001 - get pdf - url to publisher
[122] D. Regep, and F. Kordon. Using MetaScribe to prototype an UML to C++/Ada95 code generator. Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP), pages 128-133, IEEE Computer Society, June 2000 - get pdf - url to publisher
[123] F. Kordon. Metascribe, an ada-based tool for the construction of transformation engines. Proceedings of the5th International Conference on Reliable Software Technologies(RST), pages 308-319, Springer Verlag, June 1999 - get pdf - url to publisher

Technical reports

[124] F. Kordon, H. Garavel, L. M. Hillah, F. Hulin-Hubard, G. Chiardo, A. Hamez, L. Jezequel, A. Miner, J. Meijer, E. Paviot-Adet, D. Racordon, C. Rodriguez, C. Rohr, J. Srba, Y. Thierry- Mieg, G. Tr.inh, and K. Wolf. Complete Results for the 2016 Edition of the Model Checking Contest. Technical report, LIP6, June 2016 - url to publisher
[125] F. Kordon, H. Garavel, L. M. Hillah, F. Hulin-Hubard, A. Linard, M. Beccuti, A. Hamez, E. Lopez- Bobeda, L. Jezequel, J. Meijer, E. Paviot-Adet, C. Rodriguez, C. Rohr, J. Srba, Y. Thierry- Mieg, and K. Wolf. Complete Results for the 2015 Edition of the Model Checking Contest. Technical report, LIP6, June 2015 - url to publisher
[126] F. Kordon, H. Garavel, L.-M. Hillah, F. Hulin-Hubard, A. Linard, M. Beccuti, S. Evangelista, A. Hamez, N. Lohmann, E. Lopez, E. Paviot-Adet, C. Rodriguez, C. Rohr, and J. Srba. HTML results from the Model Checking Contest @ Petri Net (2014 edition).. Technical report, 11668 web pages, LIP6, September 2014 - url to publisher
[127] F. Kordon, A. Linard, M. Beccuti D. Buchs, L. Fronc, F. Hulin-Hubard, F. Legond-Aubry, N. Lohmann, A. Marechal, E. Paviot-Adet, F. Pommereau, C. Rodrigues, C. Rohr, Y. Thierry-Mieg, H. Wimmel, and K. Wolf. Model Checking Contest @ Petri Nets, Report on the 2013 edition. Technical report, 3500 pages, CoRR, September 2013 - url to publisher
[128] F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista, L. Fronc, L.-M. Hillah, N. Lohmann, E. Paviot-Adet, F. Pommereau, C. Rohr, Y. Thierry-Mieg, and K. Wolf. Raw Report on the Model Checking Contest at Petri Nets 2012. Technical report, 78 pages, CoRR, September 2012 - url to publisher
[129] F. Kordon and L. Petrucci. Proposal for an addendum to ISO/IEC 15909-1, document reference MAL-12, NWI For the Malaga Meeting. Technical report, ISO/IEC, November 2004

Edited Books, Proceedings and Special Issues

[130] F. Kordon and D. Moldt, editors. 37th International Conference on Application and Theory of Petri Nets and Concurrency. volume 9698 of LNCS, Springer-Verlag, June 2016 - url to publisher
[131] F. Kordon, J. Hugues, A. Canals and A. Dohet, editors. Embedded Systems, analysis and modeling with SysML, UML and AADL. , Wiley, May 2013 - url to publisher
[132] F. Kordon, J. Hugues, A. Canals and A. Dohet, editors. Modélisation et analyse des systèmes embarqués. , Collection SEE - Hermes, March 2013 - url to publisher
[133] S. Haddad, F. Kordon, L. Pautet and L. Petrucci, editors. Distributed Systems: Design and Algorithms. , Wiley, May 2011 - url to publisher
[134] S. Haddad, F. Kordon, L. Pautet and L. Petrucci, editors. Models and Analysis in Distributed Systems. , Wiley, May 2011 - url to publisher
[135] S. Gérard and F. Kordon and B. Selic, editors. 2nd Model-based Engineering for Real-Time Embedded Systems (associated to ISORC 2011). , IEEE Computer Society, March 2011
[136] R. Bendraou and D. Cancila and H. Espinoza and S. Gérard and F. Kordon and B. Selic, editors. 1st Model-Based Engineering for Real-Time Embedded Systems Design (associated to ISORC 2010). , IEEE Computer Society, May 2010 - url to publisher
[137] F. Kordon and Y. Kermarrec, editors. 14th International Conference on Reliable Software Technologies. volume 5570 of LNCS, Springer-Verlag, June 2009 - url to publisher
[138] F. Kordon, L. Pautet and L. Petrucci, editors. Systèmes répartis en action: de l'embarqué aux systèmes à large échelle. , Traité IC2 - Hermes, Octobre 2008 - url to publisher
[139] F. Kordon and T. Vardanega, editors. 13th International Conference on Reliable Software Technologies. volume 5026 of LNCS, Springer-Verlag, June 2008 - url to publisher
[140] F. Kordon and O. Sokolsky, editors. Composition of Embedded Systems : Scientific and Industrial Issues. volume 4888 of LNCS, Springer-Verlag, 2007 - url to publisher
[141] N. Abdennadher and F. Kordon, editors. 12th International Conference on Reliable Software Technologies. volume 4498 of LNCS, Springer-Verlag, June 2007 - url to publisher
[142] F. Kordon, editors. Special issue on Rapid System prototyping. volume 8-3, 8-4 and 8-5 of Distributed Systems on line, IEEE Computer Society, March-May 2007 - url to publisher
[143] F. Kordon and J. Sztipanovits, editors. Workshop on Networked Systems : realization of reliable systems on top of unreliable networked platforms. volume 4322 of LNCS, Springer Verlag, 2006 - url to publisher
[144] S. Haddad, F. Kordon, and L. Petrucci, editors. Méthodes Formelles pour les Systèmes Répartis et Coopératifs. , Traité IC2 - Hermes, Octobre 2006 - url to publisher
[145] F. Kordon and M. Lemoine, editors. Formal Methods for Embedded Distributed Systems. , Kluwer Academic Publishing (now Springer Verlag), 2004 - url to publisher
[146] F. Kordon, Luqi, and L. Wills, editors. Special issue on Rapid System prototyping. volume 70-3 of Journal of Systems and Software, pages 164-172, IEEE Computer Society, March 2004 - url to publisher

Book Chapters

[147] F. Kordon, J. Hugues, A. Canals, and A. Dohet. Introduction. Chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pages xix-xxii, Wiley, 2013 - url to publisher
[148] F. Kordon, J. Hugues, A. Canals, and A. Dohet. Elements for the Design of Embedded Computer Systems. Chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pages 3-27, Wiley, 2013 - url to publisher
[149] F. Kordon, J. Hugues, A. Canals, and A. Dohet. Introduction générale. Chapter in chapter 1 in "Modélisation et analyse de systèmes embarqués", pages 15-18, Hermes, 2013 - url to publisher
[150] F. Kordon, J. Hugues, A. Canals, and A. Dohet. Eléments pour la conception des systèmes embarqués.. Chapter in chapter 2 in "Modélisation et analyse de systèmes embarqués", pages 21-44, Hermes, 2013 - url to publisher
[151] S. Haddad and F. Kordon and L. Pautet and L. Petrucci. Introduction. Chapter in Distributed Systems: Design and Algorithms, pages 13-17, Wiley, May 2011 - url to publisher
[152] F. Kordon. Introduction to Large-Scale Peer-to-Peer Distributed Systems. Chapter in Distributed Systems: Design and Algorithms, pages 21-31, Wiley, May 2011 - url to publisher
[153] S. Haddad and F. Kordon and L. Pautet and L. Petrucci. Introduction. Chapter in Models and Analysis in Distributed Systems, pages 17-20, Wiley, May 2011 - url to publisher
[154] J. Delange and L. Pautet and F. Kordon. A Model-Based Approach To Configure and Reconfigure Avionics Systems. Chapter in Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, pages 509-541, IGI Global, 2011 - url to publisher
[155] F. Kordon. Introduction aux systèmes répartis à large échelle. Chapter in Systèmes répartis en action : de l'embarqué aux systèmes à large échelle (F. Kordon, L. Pautet and L. Petrucci eds), pages 189-200, Traité IC2 - Hermes, 2008
[156] F. Kordon, L. Pautet and L. Petrucci. Introduction générale. Chapter in Systèmes répartis en action : de l'embarqué aux systèmes à large échelle (F. Kordon, L. Pautet and L. Petrucci eds), pages 15-19, Traité IC2 - Hermes, 2008
[157] J. Hugues, F. Kordon, and L. Pautet. Construction d'un intergiciel vérifié. Chapter in Méthodes formelles pour les systèmes répartis et coopératifs (S. Haddad, F. Kordon, and L. Petrucci eds), pages 265-287, Traité IC2 - Hermes, 2006
[158] F. Kordon. Panorama sur le développement. Chapter in Méthodes formelles pour les systèmes répartis et coopératifs (S. Haddad, F. Kordon, and L. Petrucci eds), pages 253-264, Traité IC2 - Hermes, 2006
[159] S. Haddad, F. Kordon, and L. Petrucci. Introduction générale. Chapter in Méthodes formelles pour les systèmes répartis et coopératifs (S. Haddad, F. Kordon, and L. Petrucci eds), pages 15-21, Traité IC2 - Hermes, 2006
[160] F. Bréant, J-M. Couvreur, F. Gilliers, I. Mounier, E. Paviot-Adet, D. Poitrenaud, D. Regep, and G. Sutre.. Modeling and Verifying behavioral aspects. Chapter in Formal methods for embedded distributed systems : how to master the complexity (F. Kordon, M. lemoine eds.), pages 171-211, Kluwer, 2004 - url to publisher
[161] F. Kordon and W. El Kaïm. Code Generation. Chapter in Petri Nets for system Engineering (R. Valk and C. Girault eds), pages 433-470, Springer-Verlag, 2004 - url to publisher

International Tutorials

[162] S. Baarir and F. Kordon and L. Pettruci. From Symmetric Nets to Symmetric Nets with Bags. 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), online, June 2014
[163] S. Baarir and F. Kordon. Modeling and Verifying Distributed Systems with Petri Nets (tutorial). 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), pages 92, IEEE Press, November 2012
[164] C. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci and Y. Thierry-Mieg. Tutorial on Formal Methods for Distributed and Cooperative Systems. 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC), Lecture Notes in Computer Science, vol 4281, pages 362-365, Springer Verlag, October 2006

Ph.D. and Habilitation Theses

[165] F. Kordon. Prototypage d'applications coopératives réparties et d'environnements de génie logiciel. , Université Pierre et Marie Curie (Paris 6), December 1998 - get pdf
[166] F. Kordon. Prototypage de systèmes paralèlles à partir de réseaux de Petri colorés, application au langage Ada dans un environnement centralisé ou réparti. , Université Pierre et Marie Curie (Paris 6), May 1992 - get pdf