Please find here the complete list of my publications as a pdf document.
If you want to get one of my publication that is not in this web page, please drop me an email.
Some Publications
You may directly access to Journal publications, Conferences and workshop publications, Books and Edited books, Book chapters and
my thesis and Habilitation,.
| Journals Papers | |
| [1] | 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, November 2009 - url to publisher |
| [2] | 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, November 2009 - url to publisher |
| [3] | 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, October 2009 |
| [4] | 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, September 2009 - url to publisher |
| [5] | 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, February 2009 - url to publisher |
| [6] | 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 |
| [7] | 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, October 2008 - get pdf |
| [8] | 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, July 2008 - url to publisher |
| [9] | 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, May 2008 |
| [10] | 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, September 2007 |
| [11] | F. Kordon and L. Petrucci. Toward Formal-Methods Oecumenism ?. IEEE Distributed Systems Online, 7(7), IEEE Computer Society, July 2006 - url to publisher |
| [12] | 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, March 2006 - get pdf |
| [13] | 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, October 2005 |
| [14] | F. Kordon and L. Pautet. Toward Next-Generation Middleware ?. IEEE Distributed Systems Online, 6(3), IEEE Computer Society, March 2005 - url to publisher |
| [15] | 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 |
| [16] | 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 |
| [17] | L. Wills, F. Kordon, and Luqi. Rapid system prototyping. Journal of Systems and Software, 70(3), pages 225-227, 2004 |
| [18] | 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 |
| [19] | 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, September 1998 - get pdf - url to publisher |
| Conferences and Workshops Papers | |
| [20] | 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'09, associated with Petri Nets 2009) - poster paper, pages 315-316, June 2009 |
| [21] | 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 Workshop on Rapid System Prototyping, pages 26-33, IEEE Computer Society, June 2009 - url to publisher |
| [22] | 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'09), pages 5018-5025, Omnipress IEEE Catalog, June 2009 - get pdf |
| [23] | 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'09), Volume 5505 of Lecture Notes in Computer Science, pages 1-15, Springer Verlag, March 2009 - url to publisher |
| [24] | 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'09), pages 313-320, IEEE Computer Society, March 2009 - url to publisher |
| [25] | F. Kordon. Model Driven Engineering versus Organic Computing, two complementary approaches. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) - Panel paper, pages 99-100, IEEE Computer Society, March 2009 - url to publisher |
| [26] | 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 - url to publisher |
| [27] | J. Delange, L. Pautet, and F. kordon. Code Generation Strategies for Partitioned Systems. 29th IEEE Real-Time Systems Symposium (RTSS'08), work in progress proceedings, pages 53-56, IEEE Computer Society, December 2008 - get pdf |
| [28] | 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 2008), volume 5287 of Lecture Notes in Computer Science, pages 381-393, Springer Verlag, October 2008 - url to publisher |
| [29] | 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 2008), volume 5062 of Lecture Notes in Computer Science, pages 211-230, Springer Verlag, June 2008 - url to publisher |
| [30] | 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'08), volume 10 of Lecture Notes in Business Information Processing, pages 78-92, Springer Verlag, June 2008 - url to publisher |
| [31] | 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'08), volume 5051 of Lecture Notes in Computer Science, pages 185-200, Springer Verlag, June 2008 - url to publisher |
| [32] | 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'08), pages 346-351, IEEE Computer Society, May 2008 |
| [33] | F. Kordon. Design Methodologies for Embedded Systems : Where is the Super-Glue ?. 11th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'08) - Panel Paper, pages 358-359, IEEE Computer Society, May 2008 - get pdf - url to publisher |
| [34] | JB. 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 |
| [35] | 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'07), pages 314-319, IEEE Press, June 2007 - get pdf |
| [36] | 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'07), pages 163-168, INSTICC Press, June 2007 - get pdf - url to publisher |
| [37] | 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 2007), volume 4546 of Lecture Notes in Computer Science, pages 495-504, Springer Verlag, June 2007 - get pdf - url to publisher |
| [38] | 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, June 2007 - get pdf - url to publisher |
| [39] | 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, June 2007 - get pdf - url to publisher |
| [40] | F. Kordon. Mastering Complexity in Formal Analysis of Complex Systems : Some Issues and Strategies Applied to Intelligent Transport Systems. 10th IIEEE nternational Symposium on Object-oriented Real-time distributed Computing (ISORC'07), pages 420-427, IEEE Computer Society, May 2007 - get pdf - url to publisher |
| [41] | 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 |
| [42] | 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'2007, IEEE Computer Society, March 2007 - get pdf |
| [43] | 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 - url to publisher |
| [44] | F. Kordon, A. Linard, and E. Paviot-Adet. Optimized Colored Nets Unfolding. 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), volume 4229 of LNCS, pages 339-355, Springer Verlag, September 2006 - get pdf - url to publisher |
| [45] | 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'06), volume 4229 of LNCS, pages 307-322, Springer Verlag, September 2006 - get pdf - url to publisher |
| [46] | 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'2006, pages 299-303, IEEE Computer Society, September 2006 |
| [47] | 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'06), June 2006 - get pdf |
| [48] | 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'06), pages 273-275, IEEE Computer Society, June 2006 - get pdf - url to publisher |
| [49] | 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'06), pages 224-231, IEEE Computer Society, May 2006 - get pdf - url to publisher |
| [50] | 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'06, pages 51-62, Hermes, May 2006 |
| [51] | 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 2006, pages 26-46, INSTICC Press, May 2006 |
| [52] | 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 |
| [53] | 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'05), volume 3555 of LNCS, pages 67-78, Springer Verlag, June 2005 - get pdf - url to publisher |
| [54] | 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'05), pages 72-79, IEEE Computer Society, May 2005 - get pdf - url to publisher |
| [55] | J. Hugues, F. Kordon, and L. Pautet. Towards Proof-Based Real-Time Distribution Middleware. 13th International Conference On Real-Time Systems (RTS'05), pages 51-70, BIRP, April 2005 |
| [56] | 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'04), Electornic Notes in Theoretical Computer Science (vol 133), pages 139-157, Elsevier, September 2004 - get pdf - url to publisher |
| [57] | 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'04), June 2004 - get pdf |
| [58] | 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 |
| [59] | 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 2004, volume 3555 of LNCS, pages 106-119, Springer Verlag, June 2004 - get pdf - url to publisher |
| [60] | 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 |
| [61] | 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 AFADL'03, January 2003 - get pdf |
| [62] | J. Hugues, F. Kordon, and L. Pautet. Refining Middleware Functions for Verification Purpose. 2003 Monterey Workshop : From Requirements to Implementation, 2003 - get pdf |
| [63] | 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'03), pages 124-131, IEEE Computer Society, June 2003 - get pdf - url to publisher |
| [64] | 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'02), University of California,, 2002 - get pdf |
| [65] | 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 |
| [66] | 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 |
| [67] | 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 |
| [68] | 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, pages 55-64, IEEE Computer Society, 2001 - get pdf - url to publisher |
| [69] | 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 2000),, pages 128-133, IEEE Computer Society, June 2000 - get pdf - url to publisher |
| [70] | F. Kordon. Metascribe, an ada-based tool for the construction of transformation engines. Proceedings of the5th International Conference on Reliable Software Technologies, pages 308-319, Springer Verlag, June 1999 - get pdf - url to publisher |
| Edited Books, Proceedings and Special Issues | |
| [71] | F. Kordon and Y. Kermarrec, editors. 14th International Conference on Reliable Software Technologies. volume 5570 of LNCS, Springer-Verlag, June 2009 - url to publisher |
| [72] | 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 |
| [73] | F. Kordon and T. Vardanega, editors. 13th International Conference on Reliable Software Technologies. volume 5026 of LNCS, Springer-Verlag, June 2008 - url to publisher |
| [74] | F. Kordon and O. Sokolsky, editors. Composition of Embedded Systems : Scientific and Industrial Issues. volume 4888 of LNCS, Springer-Verlag, 2007 - url to publisher |
| [75] | N. Abdennadher and F. Kordon, editors. 12th International Conference on Reliable Software Technologies. volume 4498 of LNCS, Springer-Verlag, June 2007 - url to publisher |
| [76] | 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 |
| [77] | 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 |
| [78] | 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 |
| [79] | F. Kordon and M. Lemoine, editors. Formal Methods for Embedded Distributed Systems. , Kluwer Academic Publishing (now Springer Verlag), 2004 - url to publisher |
| [80] | F. Kordon, Luqi, and L. Wills, editors. Special issue on Rapid System prototyping. volume 70-3 of Journal of Systems and Software, IEEE Computer Society, March 2004 - url to publisher |
| Book Chapters | |
| [81] | 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 |
| [82] | 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 |
| [83] | 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 |
| [84] | 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 |
| [85] | 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 |
| [86] | 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 |
| [87] | 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 |
| Ph.D. and Habilitation Theses | |
| [88] | 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 |
| [89] | 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 |