 | 2009 |
|---|
| 49 |       | Fabrice Kordon,
Yvon Kermarrec:
Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Springer 2009 |
| 48 | | Yann Thierry-Mieg,
Denis Poitrenaud,
Alexandre Hamez,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models.
TACAS 2009: 1-15 |
| 47 | | Rza Bashirov,
Fabrice Kordon,
Hüseyin Lort:
Exploiting colored Petri nets to decide on permutation admissibility.
Acta Inf. 46(1): 43-55 (2009) |
| 46 | | Fabien Bonnefoi,
Christine Choppy,
Fabrice Kordon:
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example.
T. Petri Nets and Other Models of Concurrency 3: 159-188 (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 |
