2009 |
47 | EE | Yann Thierry-Mieg,
Denis Poitrenaud,
Alexandre Hamez,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models.
TACAS 2009: 1-15 |
46 | EE | 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 | EE | 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 | EE | Xavier Renault,
Jérôme Hugues,
Fabrice Kordon:
Formal Modeling of a Generic Middleware to Ensure Invariant Properties.
FMOODS 2008: 185-200 |
42 | EE | Fabrice Kordon:
Design Methodologies for Embedded Systems: Where is the Super-Glue?
ISORC 2008: 358-359 |
41 | EE | Alexandre Hamez,
Yann Thierry-Mieg,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Automatic Saturation.
Petri Nets 2008: 211-230 |
40 | EE | Fabrice Kordon,
Jérôme Hugues,
Xavier Renault:
From Model Driven Engineering to Verification Driven Engineering.
SEUS 2008: 381-393 |
39 | EE | Jean-Baptiste Voron,
Fabrice Kordon:
Transforming sources to petri nets: a way to analyze execution of parallel programs.
SimuTools 2008: 13 |
38 | EE | 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 | EE | Alexandre Hamez,
Fabrice Kordon,
Yann Thierry-Mieg,
Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.
ICATPN 2007: 495-504 |
34 | EE | 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 | EE | Fabrice Kordon,
Jean-Baptiste Voron:
Rapid Prototyping of Intrusion Detection Systems.
IEEE International Workshop on Rapid System Prototyping 2007: 89-98 |
32 | EE | Alexandre Hamez,
Fabrice Kordon,
Yann Thierry-Mieg:
IibDMC: a Library to Operate Efficient Distributed Model Checking.
IPDPS 2007: 1-8 |
31 | EE | 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 | EE | Luqi,
Fabrice Kordon:
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs.
Monterey Workshop 2007: 15-24 |
2006 |
28 | EE | 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 | 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 Gaudiére,
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 |