| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista |
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.  |
T. Petri Nets and Other Models of Concurrency  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg |
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. |
Petri Nets |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves |
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon |
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. |
NOTERE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron |
polyDD: Towards a Framework Generalizing Decision Diagrams. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg |
Introduction. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jean-Baptiste Voron, Clement Demoulins, Fabrice Kordon |
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
security, Petri nets, static analysis, observers, IDS, behavior modeling, automatic code generation |
| 1 | Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon |
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. |
ISORC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault |
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. |
Monterey Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rza Bashirov, Fabrice Kordon, Hüseyin Lort |
Exploiting colored Petri nets to decide on permutation admissibility. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
Symmetric Petri Nets, Hybrid Systems, Intelligent Transport Systems, Discretization, Coloured Petri Nets |
| 1 | Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon |
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Renault, Fabrice Kordon, Jérôme Hugues |
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. |
IEEE International Workshop on Rapid System Prototyping |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon |
Hierarchical Set Decision Diagrams and Regular Models. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Yvon Kermarrec (eds.) |
Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Renault, Fabrice Kordon, Jérôme Hugues |
From AADL Architectural Models to Petri Nets: Checking Model Viability. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon |
Model Driven Engineering versus Organic Computing, Two Complementary Approaches. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon |
Validate, simulate, and implement ARINC653 systems using the AADL. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
Ocarina, PolyORB-HI, real-time, distributed, embedded, AADL, DRE |
| 1 | Xavier Renault, Jérôme Hugues, Fabrice Kordon |
Formal Modeling of a Generic Middleware to Ensure Invariant Properties. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon |
Hierarchical Set Decision Diagrams and Automatic Saturation. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
Hierarchical Decision Diagrams, Model Checking, Saturation |
| 1 | Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda |
A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. |
CIAO! / EOMAS |
2008 |
DBLP DOI BibTeX RDF |
Multi-agent Systems, Coloured Petri Nets, Interaction Protocols, Business Processes Integration |
| 1 | Jean-Baptiste Voron, Fabrice Kordon |
Transforming sources to petri nets: a way to analyze execution of parallel programs. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
petri nets, software analysis, GCC |
| 1 | Fabrice Kordon, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings |
Ada-Europe |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fabrice Kordon |
Design Methodologies for Embedded Systems: Where is the Super-Glue? |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Jérôme Hugues, Xavier Renault |
From Model Driven Engineering to Verification Driven Engineering. |
SEUS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Yann Thierry-Mieg |
Experiences in Model Driven Verification of Behavior with UML. |
Monterey Workshop |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon |
Guest Editor's Introduction: Rapid System Prototyping. |
IEEE Distributed Systems Online |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon |
Guest Editor's Introduction: Rapid System Prototyping. |
IEEE Distributed Systems Online |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon |
Guest Editor's Introduction: Rapid System Prototyping. |
IEEE Distributed Systems Online |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry |
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
GreatSPN, Distributed Model Checking, Symbolic Reachability Graph |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Jean-Baptiste Voron |
Rapid Prototyping of Intrusion Detection Systems. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg |
IibDMC: a Library to Operate Efficient Distributed Model Checking. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nabil Abdennadher, Fabrice Kordon (eds.) |
Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings |
Ada-Europe |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fabrice Kordon |
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon |
A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luqi, Fabrice Kordon |
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Janos Sztipanovits (eds.) |
Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Oleg Sokolsky (eds.) |
Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers |
Monterey Workshop |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fabrice Kordon, Laure Petrucci |
Toward Formal-Methods Oecumenism? |
IEEE Distributed Systems Online |
2006 |
DBLP DOI BibTeX RDF |
software engineering, formal methods |
| 1 | Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves |
PN Standardisation: A Survey. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet |
Optimized Colored Nets Unfolding. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
Tutorial on Formal Methods for Distributed and Cooperative Systems. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
A Framework for DRE middleware, an Application to DDS. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Razika Driouche, Zizette Boufaïda, Fabrice Kordon |
An Ontology Based Architecture for Integrating Enterprise Applications. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Razika Driouche, Zizette Boufaïda, Fabrice Kordon |
Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Laurent Pautet |
Toward Nex-Generation Middleware? |
IEEE Distributed Systems Online |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, middleware |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
Rapid Development Methodology for Customized Middleware. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vergnaud, Laurent Pautet, Fabrice Kordon |
Using the AADL to Describe Distributed Applications from Middleware to Software Components. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
Revisiting COTS middleware for DRE systems. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud |
A Factory to Design and Build Tailorable and Verifiable Middleware. |
Monterey Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda M. Wills, Fabrice Kordon, Luqi |
Rapid system prototyping. |
Journal of Systems and Software |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Pautet, Fabrice Kordon |
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. |
Technique et Science Informatiques |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Jörg Henkel |
An Overview of Rapid System Prototyping Today. |
Design Autom. for Emb. Sys. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
Contributions to middleware architectures to prototype distribution infrastructures. |
IEEE International Workshop on Rapid System Prototyping |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Luqi |
An Introduction to Rapid System Prototyping. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Software engineering, prototyping, development methodology |
| 1 | Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep |
A Model Based Development Approach for Distributed Embedded Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Marius Regep, Fabrice Kordon |
LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. |
IEEE International Workshop on Rapid System Prototyping |
2001 |
DBLP DOI BibTeX RDF |
Modelling of embedded distributed systems, Automatic distributed program generation, Formal verification, UML extensions, ODP |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Thomas Quinot, Laurent Pautet, Fabrice Kordon |
From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. (PDF / PS) |
DOA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon |
A Modular Approach to the Specification and Validation of an Electrical Flight Control System. |
FME |
2001 |
DBLP DOI BibTeX RDF |
Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification |
| 1 | Klaus D. Müller-Glaser, Fabrice Kordon, Alexander Burst |
Guest Editorial. |
Design Autom. for Emb. Sys. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Marius Regep, Fabrice Kordon |
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator. (PDF / PS) |
IEEE International Workshop on Rapid System Prototyping |
2000 |
DBLP DOI BibTeX RDF |
Meta-data description, Semantic transformation, Hypergenericity, Prototyping, Program generation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon |
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Meta-data description, Semantic transformation, Code generation |
| 1 | Didier Buchs, A. Diagne, Fabrice Kordon |
Testing Prototypes Validity to Enhance Code Reuse. (PDF / PS) |
International Workshop on Rapid System Prototyping |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")