Fabrice Kordon

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

47EEYann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon: Hierarchical Set Decision Diagrams and Regular Models. TACAS 2009: 1-15
46EERza Bashirov, Fabrice Kordon, Hüseyin Lort: Exploiting colored Petri nets to decide on permutation admissibility. Acta Inf. 46(1): 43-55 (2009)
45 Fabrice Kordon, Tullio Vardanega: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings Springer 2008
44EEDjamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda: A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. CIAO! / EOMAS 2008: 78-92
43EEXavier Renault, Jérôme Hugues, Fabrice Kordon: Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS 2008: 185-200
42EEFabrice Kordon: Design Methodologies for Embedded Systems: Where is the Super-Glue? ISORC 2008: 358-359
41EEAlexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon: Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets 2008: 211-230
40EEFabrice Kordon, Jérôme Hugues, Xavier Renault: From Model Driven Engineering to Verification Driven Engineering. SEUS 2008: 381-393
39EEJean-Baptiste Voron, Fabrice Kordon: Transforming sources to petri nets: a way to analyze execution of parallel programs. SimuTools 2008: 13
38EEJérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon: From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Trans. Embedded Comput. Syst. 7(4): (2008)
37 Nabil Abdennadher, Fabrice Kordon: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings Springer 2007
36 Fabrice Kordon, Oleg Sokolsky: Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers Springer 2007
35EEAlexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry: dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN 2007: 495-504
34EEJérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon: Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. IEEE International Workshop on Rapid System Prototyping 2007: 106-112
33EEFabrice Kordon, Jean-Baptiste Voron: Rapid Prototyping of Intrusion Detection Systems. IEEE International Workshop on Rapid System Prototyping 2007: 89-98
32EEAlexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg: IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS 2007: 1-8
31EEFabrice Kordon: Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. ISORC 2007: 420-427
30 Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon: A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. MSVVEIS 2007: 163-168
29EE Luqi, Fabrice Kordon: Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. Monterey Workshop 2007: 15-24
28EEAlexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg: New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. ACSD 2006: 273-275
27EERazika Driouche, Zizette Boufaïda, Fabrice Kordon: Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario. DEXA Workshops 2006: 299-303
26EELom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves: PN Standardisation: A Survey. FORTE 2006: 307-322
25EEFabrice Kordon, Alban Linard, Emmanuel Paviot-Adet: Optimized Colored Nets Unfolding. FORTE 2006: 339-355
24EEChristine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg: Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC 2006: 362-365
23EEJérôme Hugues, Laurent Pautet, Fabrice Kordon: A Framework for DRE middleware, an Application to DDS. ISORC 2006: 224-231
22 Razika Driouche, Zizette Boufaïda, Fabrice Kordon: An Ontology Based Architecture for Integrating Enterprise Applications. MSVVEIS 2006: 26-37
21EEFabrice Kordon, Laure Petrucci: Toward Formal-Methods Oecumenism? IEEE Distributed Systems Online 7(7): (2006)
20EEThomas Vergnaud, Laurent Pautet, Fabrice Kordon: Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe 2005: 67-78
19EEThomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon: Rapid Development Methodology for Customized Middleware. IEEE International Workshop on Rapid System Prototyping 2005: 111-117
18EEJérôme Hugues, Laurent Pautet, Fabrice Kordon: Revisiting COTS middleware for DRE systems. ISORC 2005: 72-79
17EEJérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon: On the Formal Verification of Middleware Behavioral Properties. Electr. Notes Theor. Comput. Sci. 133: 139-157 (2005)
16EEFabrice Kordon, Laurent Pautet: Toward Nex-Generation Middleware? IEEE Distributed Systems Online 6(3): (2005)
15EEThomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon: PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. Ada-Europe 2004: 106-119
14EEFrédéric Gilliers, Jean-Pierre Velu, Fabrice Kordon: Generation of Distributed Programs in Their Target Execution Environment. IEEE International Workshop on Rapid System Prototyping 2004: 127-134
13EELinda M. Wills, Fabrice Kordon, Luqi: Rapid system prototyping. Journal of Systems and Software 70(3): 225-227 (2004)
12 Laurent Pautet, Fabrice Kordon: Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. Technique et Science Informatiques 23(10): 1301-1328 (2004)
11EEJérôme Hugues, Laurent Pautet, Fabrice Kordon: Contributions to middleware architectures to prototype distribution infrastructures. IEEE International Workshop on Rapid System Prototyping 2003: 124-
10EEFrédéric Gilliers, Fabrice Kordon, Dan Marius Regep: A Model Based Development Approach for Distributed Embedded Systems. RISSEF 2002: 137-151
9EEFabrice Kordon, Luqi: An Introduction to Rapid System Prototyping. IEEE Trans. Software Eng. 28(9): 817-821 (2002)
8EEThomas Quinot, Laurent Pautet, Fabrice Kordon: From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. DOA 2001: 165-175
7EEMarielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon: A Modular Approach to the Specification and Validation of an Electrical Flight Control System. FME 2001: 590-610
6 Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur: A Survey: Applying Formal Methods to a Software Intensive System. HASE 2001: 55-64
5EEDan Marius Regep, Fabrice Kordon: LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. IEEE International Workshop on Rapid System Prototyping 2001: 90-96
4EEInnocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet: Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System. FAABS 2000: 123-132
3EEDan Marius Regep, Fabrice Kordon: Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator. IEEE International Workshop on Rapid System Prototyping 2000: 128-133
2EEFabrice Kordon: MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. Ada-Europe 1999: 308-319
1EEDidier Buchs, A. Diagne, Fabrice Kordon: Testing Prototypes Validity to Enhance Code Reuse. International Workshop on Rapid System Prototyping 1998: 6-12

Coauthor Index

1Nabil Abdennadher [37]
2Souheib Baarir [17]
3Innocent Bakam [4]
4Rza Bashirov [46]
5Djamel Benmerzoug [30] [44]
6Mahmoud Boufaïda [30] [44]
7Zizette Boufaïda [22] [27]
8François Bousquet [4]
9Didier Buchs [1]
10Christine Choppy [24]
11A. Diagne [1]
12Marielle Doche [7]
13Razika Driouche [22] [27]
14Gervais Gaudiére [6]
15Frédéric Gilliers [10] [14]
16Adriaan de Groot [6]
17Serge Haddad [24]
18Alexandre Hamez [28] [32] [35] [41] [47]
19Lom Hillah [26] [28]
20Jozef Hooman [6]
21Jérôme Hugues [11] [15] [17] [18] [19] [23] [34] [38] [40] [43]
22Deepak Kapur [6]
23Hanna Klaudel [24]
24Fabrice Legond-Aubry [35]
25Michel Lemoine [6]
26Alban Linard [25] [28]
27Hüseyin Lort [46]
28 Luqi [9] [13] [29]
29Christophe Le Page [4]
30Laurent Pautet [8] [11] [12] [15] [16] [17] [18] [19] [20] [23] [34] [38]
31Emmanuel Paviot-Adet [6] [25] [28]
32Laure Petrucci (Laure Petrucci-Dauchy) [21] [24] [26]
33Denis Poitrenaud [47]
34Thomas Quinot [8]
35Dan Marius Regep [3] [5] [10]
36Xavier Renault [28] [40] [43]
37Oleg Sokolsky [36]
38Yann Thierry-Mieg [17] [24] [28] [32] [35] [41] [47]
39Nicolas Trèves [26]
40Tullio Vardanega [45]
41Jean-Pierre Velu [14]
42Thomas Vergnaud [15] [17] [19] [20]
43Isabelle Vernier-Mounier [6] [7]
44Jean-Baptiste Voron [33] [39]
45Linda M. Wills [13]
46Victor L. Winter [6]
47Bechir Zalila [34] [38]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)