Fabrice Kordon

2008
37	EE	Fabrice Kordon: Design Methodologies for Embedded Systems: Where is the Super-Glue? ISORC 2008: 358-359
2007
36		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
35		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
34	EE	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry: dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN 2007: 495-504
33	EE	Fabrice Kordon, Jean-Baptiste Voron, Liviu Iftode: Rapid Prototyping of Intrusion Detection Systems. IEEE International Workshop on Rapid System Prototyping 2007: 106-112
32	EE	Fabrice Kordon, Jean-Baptiste Voron: Rapid Prototyping of Intrusion Detection Systems. IEEE International Workshop on Rapid System Prototyping 2007: 89-98
31	EE	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg: IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS 2007: 1-8
30	EE	Fabrice Kordon: Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. ISORC 2007: 420-427
29		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
2006
28	EE	Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, X. Renault, Yann Thierry-Mieg: New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. ACSD 2006: 273-275
27	EE	Razika 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
26	EE	Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves: PN Standardisation: A Survey. FORTE 2006: 307-322
25	EE	Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet: Optimized Colored Nets Unfolding. FORTE 2006: 339-355
24	EE	Christine 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
23	EE	Jé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
21	EE	Fabrice Kordon, Laure Petrucci: Toward Formal-Methods Oecumenism? IEEE Distributed Systems Online 7(7): (2006)
2005
20	EE	Thomas Vergnaud, Laurent Pautet, Fabrice Kordon: Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe 2005: 67-78
19	EE	Thomas 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
18	EE	Jérôme Hugues, Laurent Pautet, Fabrice Kordon: Revisiting COTS middleware for DRE systems. ISORC 2005: 72-79
17	EE	Jé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)
16	EE	Fabrice Kordon, Laurent Pautet: Toward Nex-Generation Middleware? IEEE Distributed Systems Online 6(3): (2005)
2004
15	EE	Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon: PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. Ada-Europe 2004: 106-119
14	EE	Fré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
13	EE	Linda 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)
2003
11	EE	Jérôme Hugues, Laurent Pautet, Fabrice Kordon: Contributions to middleware architectures to prototype distribution infrastructures. IEEE International Workshop on Rapid System Prototyping 2003: 124-
2002
10	EE	Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep: A Model Based Development Approach for Distributed Embedded Systems. RISSEF 2002: 137-151
9	EE	Fabrice Kordon, Luqi: An Introduction to Rapid System Prototyping. IEEE Trans. Software Eng. 28(9): 817-821 (2002)
2001
8	EE	Thomas Quinot, Laurent Pautet, Fabrice Kordon: From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. DOA 2001: 165-175
7	EE	Marielle 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 Gaudiere, Victor L. Winter, Deepak Kapur: A Survey: Applying Formal Methods to a Software Intensive System. HASE 2001: 55-64
5	EE	Dan Marius Regep, Fabrice Kordon: LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. IEEE International Workshop on Rapid System Prototyping 2001: 90-96
2000
4	EE	Innocent 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
3	EE	Dan 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
1999
2	EE	Fabrice Kordon: MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. Ada-Europe 1999: 308-319
1998
1	EE	Didier Buchs, A. Diagne, Fabrice Kordon: Testing Prototypes Validity to Enhance Code Reuse. International Workshop on Rapid System Prototyping 1998: 6-12

Coauthor Index

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

Colors in the list of coauthors