Fabrice Kordon

	2009
48		Fabrice Kordon, Yvon Kermarrec: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings Springer 2009
47		Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon: Hierarchical Set Decision Diagrams and Regular Models. TACAS 2009: 1-15
46		Rza Bashirov, Fabrice Kordon, Hüseyin Lort: Exploiting colored Petri nets to decide on permutation admissibility. Acta Inf. 46(1): 43-55 (2009)
	2008
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
44		Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda: A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. CIAO! / EOMAS 2008: 78-92
43		Xavier Renault, Jérôme Hugues, Fabrice Kordon: Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS 2008: 185-200
42		Fabrice Kordon: Design Methodologies for Embedded Systems: Where is the Super-Glue? ISORC 2008: 358-359
41		Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon: Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets 2008: 211-230
40		Fabrice Kordon, Jérôme Hugues, Xavier Renault: From Model Driven Engineering to Verification Driven Engineering. SEUS 2008: 381-393
39		Jean-Baptiste Voron, Fabrice Kordon: Transforming sources to petri nets: a way to analyze execution of parallel programs. SimuTools 2008: 13
38		Jé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)
	2007
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
35		Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry: dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN 2007: 495-504
34		Jé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
33		Fabrice Kordon, Jean-Baptiste Voron: Rapid Prototyping of Intrusion Detection Systems. IEEE International Workshop on Rapid System Prototyping 2007: 89-98
32		Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg: IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS 2007: 1-8
31		Fabrice 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
29		Luqi, Fabrice Kordon: Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. Monterey Workshop 2007: 15-24
	2006
28		Alexandre 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
27		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		Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves: PN Standardisation: A Survey. FORTE 2006: 307-322
25		Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet: Optimized Colored Nets Unfolding. FORTE 2006: 339-355
24		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		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		Fabrice Kordon, Laure Petrucci: Toward Formal-Methods Oecumenism? IEEE Distributed Systems Online 7(7): (2006)
	2005
20		Thomas Vergnaud, Laurent Pautet, Fabrice Kordon: Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe 2005: 67-78
19		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		Jérôme Hugues, Laurent Pautet, Fabrice Kordon: Revisiting COTS middleware for DRE systems. ISORC 2005: 72-79
17		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		Fabrice Kordon, Laurent Pautet: Toward Nex-Generation Middleware? IEEE Distributed Systems Online 6(3): (2005)
	2004
15		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		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		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		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		Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep: A Model Based Development Approach for Distributed Embedded Systems. RISSEF 2002: 137-151
9		Fabrice Kordon, Luqi: An Introduction to Rapid System Prototyping. IEEE Trans. Software Eng. 28(9): 817-821 (2002)
	2001
8		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		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 Gaudiére, Victor L. Winter, Deepak Kapur: A Survey: Applying Formal Methods to a Software Intensive System. HASE 2001: 55-64
5		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		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		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		Fabrice Kordon: MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. Ada-Europe 1999: 308-319
	1998
1		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	[37]
2	Souheib Baarir	[17]
3	Innocent Bakam	[4]
4	Rza Bashirov	[46]
5	Djamel Benmerzoug	[30] [44]
6	Mahmoud Boufaïda	[30] [44]
7	Zizette Boufaïda	[22] [27]
8	François Bousquet	[4]
9	Didier Buchs	[1]
10	Christine Choppy	[24]
11	A. Diagne	[1]
12	Marielle Doche	[7]
13	Razika Driouche	[22] [27]
14	Gervais Gaudiére	[6]
15	Frédéric Gilliers	[10] [14]
16	Adriaan de Groot	[6]
17	Serge Haddad	[24]
18	Alexandre Hamez	[28] [32] [35] [41] [47]
19	Lom-Messan Hillah (Lom Hillah)	[26] [28]
20	Jozef Hooman	[6]
21	Jérôme Hugues	[11] [15] [17] [18] [19] [23] [34] [38] [40] [43]
22	Deepak Kapur	[6]
23	Yvon Kermarrec	[48]
24	Hanna Klaudel	[24]
25	Fabrice Legond-Aubry	[35]
26	Michel Lemoine	[6]
27	Alban Linard	[25] [28]
28	Hüseyin Lort	[46]
29	Luqi	[9] [13] [29]
30	Christophe Le Page	[4]
31	Laurent Pautet	[8] [11] [12] [15] [16] [17] [18] [19] [20] [23] [34] [38]
32	Emmanuel Paviot-Adet	[6] [25] [28]
33	Laure Petrucci (Laure Petrucci-Dauchy)	[21] [24] [26]
34	Denis Poitrenaud	[47]
35	Thomas Quinot	[8]
36	Dan Marius Regep	[3] [5] [10]
37	Xavier Renault	[28] [40] [43]
38	Oleg Sokolsky	[36]
39	Yann Thierry-Mieg	[17] [24] [28] [32] [35] [41] [47]
40	Nicolas Trèves	[26]
41	Tullio Vardanega	[45]
42	Jean-Pierre Velu	[14]
43	Thomas Vergnaud	[15] [17] [19] [20]
44	Isabelle Vernier-Mounier	[6] [7]
45	Jean-Baptiste Voron	[33] [39]
46	Linda M. Wills	[13]
47	Victor L. Winter	[6]
48	Bechir Zalila	[34] [38]

Colors in the list of coauthors