Nombre de documents

134

CV de Fabrice Kordon


Communication dans un congrès73 documents

  • Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault. Heuristics for Checking Liveness Properties with Partial Order Reductions. Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. Springer, 9938, pp.340-356, Lecture Notes in Computer Science. <10.1007/978-3-319-46520-3_22>. <hal-01368309>
  • Lom Messan Hillah, Ariele-Paolo Maesano, Libero Maesano, Fabio De Rosa, Fabrice Kordon, et al.. Service functional testing automation with intelligent scheduling and planning. Symposium on Applied Computing (SAC), Apr 2016, Pisa, Italy. pp.1605-1610, 2016, Proceeding of the 31st Annual ACM Symposium on Applied Computing. <hal-01306954>
  • Steffen Herbold, Jens Grabowski, Patrick Harms, Lom Messan Hillah, Fabrice Kordon, et al.. The MIDAS Cloud Platform for Testing SOA Applications. 8th International IEEE Conference on Software Testing, Verification and Validation (ICST), Apr 2015, Graz, Austria. IEEE Press, pp.1-8, <10.1109/ICST.2015.7102636>. <hal-01212852>
  • Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud. Parallel Explicit Model Checking for Generalized Büchi Automata. 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, Apr 2015, London, United Kingdom. Springer, 9035, pp.613-627, Lecture Notes in Computer Science. <10.1007/978-3-662-46681-0_56>. <hal-01216666>
  • Amel Yessad, Isabelle Mounier, Jean-Marc Labat, Fabrice Kordon, Thibault Carron. Have you found the error? A Formal Framework for Learning Game Verification. 9th European Conference on Technology Enhanced Learning, Sep 2014, Graz, Austria. Springer, 8719, pp.476-481, Lecture Notes in Computer Science. <10.1007/978-3-319-11200-8_45>. <hal-01215670>
  • Étienne André, Fabrice Kordon, Laure Petrucci. Teaching formal methods: Experience at UPMC and UP13 with CosyVerif. 25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. IEEE, pp.25-28, <10.1109/EAEEIE.2014.6879378>. <hal-01215588>
  • Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg. Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Apr 2014, Grenoble, France. Springer, 8413, pp.440-454, Lecture Notes in Computer Science. <10.1007/978-3-642-54862-8_38>. <hal-01216559>
  • Fabrice Kordon, Francis Hulin-Hubard. BenchKit, a Tool for Massive Concurrent Benchmarking. 14th International Conference on Application of Concurrency to System Design (ACSD'14), Jun 2014, Tunis, Tunisia. IEEE Computer Society Press, pp.159-165, <10.1109/ACSD.2014.12>. <hal-01091157>
  • Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud. Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. Nir Piterman and Scott A. Smolka. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), Mar 2013, Rome, Italy. Springer, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), 7795, pp.580-593, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-36742-7_42>. <hal-01066995>
  • Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud. Three SCC-based Emptiness Checks for Generalized Büchi Automata. Ken McMillan and Aart Middeldorp and Andrei Voronkov. 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13), Dec 2013, Stellenbosch, South Africa. Springer, Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13), 8312, pp.668-682, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-45221-5_44>. <hal-01066992>
  • Thibault Carron, Fabrice Kordon, Jean-Marc Labat, Isabelle Mounier, Amel Yessad. Toward Improvement of Serious Game Reliability. 7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. Academic Conferences and Publishing International, 2, pp.80-87. <hal-01216093>
  • Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. Towards Distributed Software Model-Checking using Decision Diagrams. 25th International Conference on Computer Aided Verification (CAV), Jul 2013, Saint-Petersbourg, Russia. Springer Verlag, 8044, pp.830-845, Lecture Notes in Computer Science. <10.1007/978-3-642-39799-8_58>. <hal-01215999>
  • Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, et al.. CosyVerif: An Open Source Extensible Verification Environment. 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. IEEE Computer Society Press, pp.33-36, 2013, <10.1109/ICECCS.2013.15>. <hal-00926165>
  • Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, et al.. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. Lindsay Groves; Jing Sun. 15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. Springer Berlin Heidelberg, 8144, pp.199-214, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-41202-8_14>. <hal-00926126>
  • Fabrice Kordon, Xavier Bonnaire, Rudyar Cortes, Olivier Marin. Verification of a Quasi certification Protocol over a DHT. Dagstuhl Seminar "Formal Verification of Distributed Algorithms", Apr 2013, Dagstuhl, Germany. 2013. <hal-00931415>
  • Xavier Bonnaire, Rudyar Cortes, Fabrice Kordon, Olivier Marin. A Scalable Architecture for Highly Reliable Certification. TrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul 2013, Melbourne, Australia. IEEE, pp.328-335, 2013, <10.1109/TrustCom.2013.44>. <hal-00931444>
  • Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir. State Space Analysis using Symmetries on Decision Diagrams. 12th International Conference on Application of Concurrency to System Design (ACSD'2012), Jun 2012, Hamburg, Germany. IEEE Computer Society, 12th International Conference on Application of Concurrency to System Design (ACSD'2012), pp.164-172, <10.1109/ACSD.2012.28>. <hal-01270057>
  • Souheib Baarir, Fabrice Kordon. Modeling and Verifying Distributed Systems with Petri Nets (tutorial). 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Nov 2012, Constantine, Algeria. IEEE Press, 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), pp.92-92, <10.1109/IWAISE.2012.24>. <hal-01282434>
  • Maximilien Colange, Lom Messan Hillah, Fabrice Kordon, Pierre Parutto. Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach. Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, 2012, Oxford, United Kingdom. Springer, Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, 7539, pp.330-352, Lecture Notes in Computer Science. <10.1007/978-3-642-34059-8_17>. <hal-01282265>
  • Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor. Petri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. Petri Net and Software Engineering (PNSE), 851, pp.60-76, 2012, CEUR Workshop Proceedings. <hal-00822408>
  • Fabrice Kordon, Béatrice Berard, Yann Thierry-Mieg, Yann Ben Maissa. Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification. Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Jul 2012, Dagstuhl, Germany. Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", pp.38-39, 2012. <hal-00822416>
  • Lom Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci. {Extending PNML Scope: the Prioritised Petri Nets Experience}. Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. CEUR, Petri Net and Software Engineering (PNSE 2011), 723, pp.92-106, CEUR-WS. <hal-01282491>
  • Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag. 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Jun 2011, Newcastle, United Kingdom. Springer, 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), 6709, pp.338-347, Lecture Notes in Computer Science. <10.1007/978-3-642-21834-7_20>. <hal-01282493>
  • Yann Thierry-Mieg, Béatrice Bérard, Fabrice Kordon, Didier Lime, Olivier Henri Roux. {Compositional Analysis of Discrete Time Petri nets}. 1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. CEUR, 1st workshop on Petri Nets Compositions (CompoNet 2011), 726, pp.17-31, CEUR-WS. <hal-01282489>
  • Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon. {Generalized Büchi Automata versus Testing Automata for Model Checking}. 2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), Jun 2011, Newcastle, United Kingdom. CEUR, 2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), 726, pp.65-79, CEUR-WS. <hal-01282490>
  • Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Modeling complex systems with VeriJ. 5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. British Informatics Society Ltd, 5th Verification and Evaluation of Computer and Communication System (VECOS), pp.34-45. <hal-01288126>
  • Jean-Baptiste Voron, Clément Démoulins, Fabrice Kordon. Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach. 10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. IEEE, 10th International Conference on Application of Concurrency to System Design (ACSD'2010), pp.57-66, <10.1109/ACSD.2010.32>. <hal-01292568>
  • Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron. polyDD: Towards a Framework Generalizing Decision Diagrams. 10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. IEEE, 10th International Conference on Application of Concurrency to System Design (ACSD'2010), pp.124-133, <10.1109/ACSD.2010.17>. <hal-01292564>
  • Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon. Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), May 2010, Carmona, Spain. IEEE, 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), pp.87-91, <10.1109/ISORC.2010.32>. <hal-01292574>
  • Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon. Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. 10th international conference on New Technologies of Distributed Systems (NOTERE'2010), Jun 2010, Tozeur, Tunisia. IEEE, 10th international conference on New Technologies of Distributed Systems (NOTERE'2010), pp.17-24, <10.1109/NOTERE.2010.5536853>. <hal-01292569>
  • Jun Zhu, Fabrice Kordon. A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL. 2nd International Conference on Information Management and Engineering (ICIME 2010), Apr 2010, Chengdu, China. IEEE, 2nd International Conference on Information Management and Engineering (ICIME 2010), pp.304-310, <10.1109/ICIME.2010.5477558>. <hal-01292580>
  • Lom Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Treves. PNML Framework: an extendable reference implementation of the Petri Net Markup Language. 31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Jun 2010, Braga, Portugal. Springer, 6128, pp.318-327, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-13675-7_20>. <hal-01125746>
  • Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg. Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams. 11th International Workshop on Discrete Event Systems (WODES'10), Sep 2010, Berlin, Germany. IFAC/Elsevier, 11th International Workshop on Discrete Event Systems (WODES'10), pp.281-286, <10.3182/20100830-3-DE-4013.00047>. <hal-01293801>
  • Julien Delange, Laurent Pautet, Fabrice Kordon. Modeling and Validation of ARINC653 architectures. Embedded Real Time Software and Systems (ERTSS'10), May 2010, Toulouse, France. Embedded Real Time Software and Systems (ERTSS'10), pp.1-8. <hal-01292578>
  • Souheib Baarir, Lom Messan Hillah, Fabrice Kordon, Etienne Renault. {Self-Reconfigurable Modular Robots and their Symbolic Configuration Space}. Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers, Mar 2010, Redmond, United States. Springer, Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers, 6662, pp.103-121, Lecture Notes in Computer Science. <10.1007/978-3-642-21292-5_6>. <hal-01288061>
  • Julien Delange, Laurent Pautet, Fabrice Kordon. Design, Verification and Implementation of MILS systems. The 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. IEEE Computer Society, Proceedings of the 21th International Symposium on Rapid System Prototyping, pp.1-8. <hal-01288211>
  • Fabrice Kordon. Model Driven Enginering versus Organic Computing, two complementary approaches. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, Mar 2009, Tokyo, Japan. IEEE Computer Society, 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, pp.99-100, <10.1109/ISORC.2009.25>. <hal-01298275>
  • Olivier Bertrand, Aurélien Calonne, Christine Choppy, Silien Hong, Kaïs Klai, et al.. Verification of large-scale distributed database systems in the NEOPPOD project. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Jun 2009, Paris, France. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, pp.315-316. <hal-01298277>
  • Xavier Renault, Fabrice Kordon, Jérôme Hugues. From AADL architectural models to Petri Nets: Checking model viability. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE Computer Society, 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), pp.313-320, <10.1109/ISORC.2009.11>. <hal-01298276>
  • Nicolas Treves, Lom Messan Hillah, Fabrice Kordon, Laure Petrucci. A primer on the Petri Net Markup Language and ISO/IEC 15909-2. 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Oct 2009, Aarhus, Denmark. pp.19, 2009. <hal-01126017>
  • Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon. Hierarchical Set Decision Diagrams and Regular Models. 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2009, York, United Kingdom. Springer, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 5505, pp.1-15, Lecture Notes in Computer Science. <10.1007/978-3-642-00768-2_1>. <hal-01294397>
  • Xavier Renault, Fabrice Kordon, Jérôme Hugues. Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets. The 20th International Workshop on Rapid System Prototyping, Jun 2009, Paris, France. IEEE, Proceedings of the 20th International Workshop on Rapid System Prototyping, pp.26-33, <10.1109/RSP.2009.30>. <hal-01294399>
  • Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves. Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains. 28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. IEEE, Proceedings of the 28th American Control Conference (ACC'09), pp.5018-5025, 2009, <10.1109/ACC.2009.5160020>. <hal-00772677>
  • Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda. A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration. Advances in Enterprise Engineering I, 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), Jun 2008, Montpellier, France. Springer-Verlag, Advances in Enterprise Engineering I, 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), 10, pp.78-92, Lecture Notes in Business Information Processing. <10.1007/978-3-540-68644-6_6>. <hal-01303701>
  • Béatrice Bérard, Serge Haddad, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory. 9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. IEEE Computer Society, 9th International Workshop on Discrete Event Systems (WODES'08), pp.346-351, <10.1109/WODES.2008.4605970>. <hal-01303699>
  • Fabien Bonnefoi, Christine Choppy, Fabrice Kordon. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. 9th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN' 08), Oct 2008, Aarhus, Denmark. Daimi University, PB 588, 9th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN' 08), pp.183-202. <hal-01303741>
  • Julien Delange, Laurent Pautet, Fabrice Kordon. Code Generation Strategies for Partitioned Systems. 29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. IEEE Computer Society, 29th IEEE Real-Time Systems Symposium (RTSS'08), pp.53-56. <hal-01303791>
  • Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon. Hierarchical Set Decision Diagrams and Automatic Saturation. 29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), Jun 2008, Xian, China. Springer-Verlag, 29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), 5062, pp.211-230, Lecture Notes in Computer Science. <10.1007/978-3-540-68746-7_16>. <hal-01303835>
  • Fabrice Kordon, Jérôme Hugues, Xavier Renault. From Model Driven Engineering to Verification Driven Engineering. 6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), Oct 2008, Capri, Italy. Springer-Verlag, 6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), 5287, pp.381-393, Lecture Notes in Computer Science. <10.1007/978-3-540-87785-1_34>. <hal-01304953>
  • Xavier Renault, Jérôme Hugues, Fabrice Kordon. Formal Modeling of a Generic Middleware to Ensure Invariant Properties. 10th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), Jun 2008, Oslo, Norway. Springer-Verlag, 10th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), 5051, pp.185-200, Lecture Notes in Computer Science. <10.1007/978-3-540-68863-1_12>. <hal-01304976>
  • Jean-Baptiste Voron, Fabrice Kordon. Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel Programs. International Workshop on Petri Nets Tools and APplications (PNTAP), Mar 2008, Marseille, France. ACM, International Workshop on Petri Nets Tools and APplications (PNTAP), pp.1-10. <hal-01305040>
  • Fabrice Kordon. Design Methodologies for Embedded Systems: Where is the Super-Glue?. 11th International Symposium on Object-oriented Real-time Distributed Computing (ISORC '08), May 2008, Orlando, United States. IEEE Computer Society, 11th International Symposium on Object-oriented Real-time Distributed Computing (ISORC '08), pp.358-359, <10.1109/ISORC.2008.88>. <hal-01304942>
  • Fabrice Kordon, Yann Thierry-Mieg. Experiences in Model Driven Verification of Behavior with UML. Foundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected Papers, Sep 2008, Budapest, Hungary. Springer, Foundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected Papers, 6028, pp.181-200, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-12566-9_10>. <hal-01288216>
  • Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg. libDMC: a library to Operate Efficient Distributed Model Checking. Workshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS'2007, Mar 2007, Long Beach, California, United States. Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International, 2007, <10.1109/IPDPS.2007.370647>. <hal-00687573>
  •   Luqi, Fabrice Kordon. Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, Revised Selected Papers, Sep 2007, Monterey, United States. Springer-Verlag, Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, Revised Selected Papers, 5320, pp.15-24, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-89778-1_5>. <hal-01304961>
  • Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry. dmcG: a distributed symbolic model checker based on GreatSPN. 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007), Jun 2007, Siedlce, Poland. Springer, ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, 4546, pp.495-504, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-73094-1_29>. <hal-00701513>
  • Fabien Bonnefoi, Lom Messan Hillah, Fabrice Kordon, Xavier Renault. Design, Modeling and Analysis of ITS using UML and Petri Nets. 10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, WA, United States. IEEE, 10th International IEEE Conference on Intelligent Transportation Systems, pp.314-319, <10.1109/ITSC.2007.4357718>. <hal-01334867>
  • Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon. A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents. 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), Jun 2007, Madeira, Portugal. INSTICC Press, 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), pp.163-168. <hal-01334853>
  • Fabrice Kordon. Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. International Symposium on Object-oriented Real-time Distributed Computing (ISORC'07), May 2007, Santorini, Greece. IEEE Computer Society, International Symposium on Object-oriented Real-time Distributed Computing (ISORC'07), pp.420-427, <10.1109/ISORC.2007.42>. <hal-01335145>
  • Fabrice Kordon, Jean-Baptiste Voron, Liviu Iftode. Rapid Prototyping of Intrusion Detection Systems. 18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. IEEE Computer Society, 18th International Workshop on Rapid System Prototyping (RSP), pp.89-98, <10.1109/RSP.2007.34>. <hal-01335149>
  • Fabrice Kordon, Laure Petrucci. A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots. 2nd National Workshop on Control Architectures of Robots: From Models to Execution on Distributed Control Architectures, May 2007, Paris, France. 2nd National Workshop on Control Architectures of Robots: From Models to Execution on Distributed Control Architectures, pp.15-26. <hal-01335148>
  • Jérôme Hugues, Béchir Zalila, Laurent Pautet, Fabrice Kordon. Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. 18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. IEEE Computer Society, 18th International Workshop on Rapid System Prototyping (RSP), pp.106-112, <10.1109/RSP.2007.33>. <hal-01335114>
  • Lom Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves. PN standardisation: a survey. 26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Sep 2006, Paris, France. Springer-Verlag, 4229, pp.307-322, 2006, Lecture Notes in Computer Science. <10.1007/11888116_23>. <hal-00084198>
  • Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, et al.. Tutorial on Formal Methods for Distributed and Cooperative Systems. 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. 4281, pp.362--365, 2006, Lecture Notes in Computer Science. <10.1007/11921240_25>. <hal-00340483>
  • Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet. Optimized Colored Nets Unfolding. International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), Sep 2006, Paris, France. Springer-Verlag, International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), 4229, pp.339-355, Lecture Notes in Computer Science. <10.1007/11888116_25>. <hal-01351825>
  • Alexandre Hamez, Lom Messan Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, et al.. New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems. 6th International Conference on Application of Concurrency to System Design (ACSD '06), Jun 2006, Turku, Finland. IEEE Computer Society, 6th International Conference on Application of Concurrency to System Design (ACSD '06), pp.273-275, <10.1109/ACSD.2006.15>. <hal-01351775>
  • Razika Driouche, Zizette Boufaïda, Fabrice Kordon. Towards Integrating Collaborative Business Process based onProcess Ontology and EbXML Collaboration Scenario. 6th International Workshop On Web Based Collaboration (WBC '2006), Sep 2006, Krakow, Poland. IEEE Computer Society, 6th International Workshop On Web Based Collaboration (WBC '2006), pp.299-303. <hal-01351742>
  • Razika Driouche, Zizette Boufaïda, Fabrice Kordon. An Ontology Based Architecture for Integrating Enterprise Applications. International Workshop on Modelling, Simulation and Validation of Enterprise Information Systems - MSVVEIS 2006, May 2006, Paphos, Cyprus. INSTICC Press, International Workshop on Modelling, Simulation and Validation of Enterprise Information Systems - MSVVEIS 2006, pp.26-37, <10.5220/0002493000260037>. <hal-01351749>
  • Razika Driouche, Zizette Boufaïda, Fabrice Kordon. A Multi-Views Business Process Ontology for Flexible Collaboration. International Workshop on Enterprise Integration, Interoperability and Networking (EI2N '06), Mar 2006, Bordeaux, France. Hermes, International Workshop on Enterprise Integration, Interoperability and Networking (EI2N '06), pp.49-62, <10.1002/9780470612200.ch4>. <hal-01351747>
  • Jérôme Hugues, Fabrice Kordon, Laurent Pautet. A Framework for DRE Middleware, an Application to DDS. International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Apr 2006, Gyeongju, South Korea. IEEE Computer Society, International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), pp.224-231, <10.1109/ISORC.2006.4>. <hal-01336642>
  • Fabien Bonnefoi, Lom Messan Hillah, Fabrice Kordon, Guy Fremont. An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems. Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Jun 2006, Turku, Finland. Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), pp.65-86. <hal-01336640>
  • Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud. A Factory To Design and Build Tailorable and Verifiable Middleware. Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), Sep 2005, University of California, Irvine, United States. Springer-Verlag, Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), 4322, pp.121-142, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-71156-8_7>. <hal-01335054>
  • Fabrice Kordon, Jean-François Peyre. Process decomposition for Rapid Prototyping of Parallel systems. 6th International Symposium on Computer and Information Science, Oct 1991, Antalya, Turkey. 1991. <hal-01124800>

Article dans une revue33 documents

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

Autre publication1 document

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

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

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

Direction d'ouvrage, Proceedings8 documents

  • Fabrice Kordon, Daniel Moldt. Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. Jun 2016, Torun, Poland. 9695, 2016, Lecture Notes in Computer Science, 978-3-319-39085-7. <10.1007/978-3-319-39086-4>. <http://link.springer.com>. <hal-01341943>
  • Sébastien Gérard, Fabrice Kordon, Bran Selic. {2nd Model-based Engineering for Real-Time Embedded Systems (associated to ISORC 2011)}. IEEE Computer Society, 2011. <hal-01287960>
  • Reda Bendraou, Daniela Cancila, Huascar Espinoza, Sébastien Gérard, Fabrice Kordon, et al.. 1st Model-Based Engineering for Real-Time Embedded Systems Design (associated to ISORC 2010). IEEE Computer Society, 2010, 978-0-7695-4038-2. <hal-01293895>
  • Fabrice Kordon, Yvon Kermarrec. Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings. France. 5570, Springer Berlin Heidelberg, 2009, Lecture Notes in Computer Science, 978-3-642-01923-4. <10.1007/978-3-642-01924-1>. <hal-00426649>
  • Fabrice Kordon, Tullio Vardanega. 13th International Conference on Reliable Software Technologies. 5026, Springer-Verlag, 2008, Lecture Notes in Computer Science, <10.1007/978-3-540-68624-8>. <hal-01304948>
  • Fabrice Kordon. Special Issue on Rapid System Prototyping. 8-3, 8-4 and 8-5, IEEE, 2007, Distributed Systems on Line. <hal-01335700>
  • Nabil Abdennadher, Fabrice Kordon. 12th International Conference on Reliable Software Technologies. 4498, Springer-Verlag, 2007, Lecture Notes in Computer Science, <10.1007/978-3-540-73230-3>. <hal-01334839>
  • Fabrice Kordon, Janos Sztipanovits. Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms. 4322, Springer-Verlag, 2007, Lecture Notes in Computer Science (LNCS), <10.1007/978-3-540-71156-8>. <hal-01335141>

Chapitre d'ouvrage13 documents

  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Elements for the Design of Embedded Computer Systems. Embedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.3-27, 2013. <hal-01221595>
  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Eléments pour la conception des systèmes embarqués. Modélisation et analyse de systèmes embarqués, Hermes, pp.21-44, 2013. <hal-01221593>
  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Introduction générale. Modélisation et analyse de systèmes embarqués, Hermes, pp.15-18, 2013. <hal-01221594>
  • Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet. Introduction. Embedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.xix-xxii, 2013. <hal-01221598>
  • Julien Delange, Laurent Pautet, Fabrice Kordon. A Model-Based Approach To Configure and Reconfigure Avionics Systems. Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, pp.509-541, 2011, 9781609600860. <10.4018/978-1-60960-086-0.ch019>. <hal-01288059>
  • Fabrice Kordon. Introduction to Large-Scale Peer-to-Peer Distributed Systems. Distibuted Systems: Design and Algorithms, Wiley, pp.21-31, 2011, 9781848212503. <10.1002/9781118601365.ch2>. <hal-01288074>
  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. General introduction. Distibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. <10.1002/9781118601365.ch1>. <hal-01288072>
  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. Introduction. Models and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142. <hal-01282495>
  • Fabrice Kordon. Introduction aux systèmes répartis à large échelle. Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermes, pp.189-200, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4. <hal-01304909>
  • Fabrice Kordon, Laurent Pautet, Laure Petrucci. Introduction générale. Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermès, pp.15-19, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4. <hal-01304954>
  • Fabrice Kordon. Panorama sur le développement. Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.253-264, 2006, 2-7462-1447-4. <hal-01351822>
  • Serge Haddad, Fabrice Kordon, Laure Petrucci. Introduction générale. Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.1-6, 2006, 2-7462-1447-4. <hal-01351774>
  • Jérôme Hugues, Fabrice Kordon, Laurent Pautet. Construction d'un intergiciel vérifié. Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.265-287, 2006, 2-7462-1447-4. <hal-01351785>