The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fabrice Kordon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:273-275 [Conf]
  2. Fabrice Kordon
    MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1999, pp:308-319 [Conf]
  3. Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
    PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2004, pp:106-119 [Conf]
  4. Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
    Using the AADL to Describe Distributed Applications from Middleware to Software Components. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2005, pp:67-78 [Conf]
  5. Razika Driouche, Zizette Boufaïda, Fabrice Kordon
    Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2006, pp:299-303 [Conf]
  6. Thomas Quinot, Laurent Pautet, Fabrice Kordon
    From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. [Citation Graph (0, 0)][DBLP]
    DOA, 2001, pp:165-175 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:123-132 [Conf]
  8. Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon
    A Modular Approach to the Specification and Validation of an Electrical Flight Control System. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:590-610 [Conf]
  9. Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves
    PN Standardisation: A Survey. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:307-322 [Conf]
  10. Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet
    Optimized Colored Nets Unfolding. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:339-355 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:55-64 [Conf]
  12. Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
    Tutorial on Formal Methods for Distributed and Cooperative Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:362-365 [Conf]
  13. Jérôme Hugues, Laurent Pautet, Fabrice Kordon
    A Framework for DRE middleware, an Application to DDS. [Citation Graph (0, 0)][DBLP]
    ISORC, 2006, pp:224-231 [Conf]
  14. Jérôme Hugues, Laurent Pautet, Fabrice Kordon
    Revisiting COTS middleware for DRE systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:72-79 [Conf]
  15. Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep
    A Model Based Development Approach for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:137-151 [Conf]
  16. Frédéric Gilliers, Jean-Pierre Velu, Fabrice Kordon
    Generation of Distributed Programs in Their Target Execution Environment. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2004, pp:127-134 [Conf]
  17. Didier Buchs, A. Diagne, Fabrice Kordon
    Testing Prototypes Validity to Enhance Code Reuse. [Citation Graph (0, 0)][DBLP]
    International Workshop on Rapid System Prototyping, 1998, pp:6-12 [Conf]
  18. Jérôme Hugues, Laurent Pautet, Fabrice Kordon
    Contributions to middleware architectures to prototype distribution infrastructures. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2003, pp:124-0 [Conf]
  19. Dan Marius Regep, Fabrice Kordon
    Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2000, pp:128-133 [Conf]
  20. Dan Marius Regep, Fabrice Kordon
    LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2001, pp:90-96 [Conf]
  21. Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
    Rapid Development Methodology for Customized Middleware. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2005, pp:111-117 [Conf]
  22. Razika Driouche, Zizette Boufaïda, Fabrice Kordon
    An Ontology Based Architecture for Integrating Enterprise Applications. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:26-37 [Conf]
  23. Fabrice Kordon, Laurent Pautet
    Toward Nex-Generation Middleware? [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2005, v:6, n:3, pp:- [Journal]
  24. Fabrice Kordon, Laure Petrucci
    Toward Formal-Methods Oecumenism? [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2006, v:7, n:7, pp:- [Journal]
  25. Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
    On the Formal Verification of Middleware Behavioral Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:139-157 [Journal]
  26. Linda M. Wills, Fabrice Kordon, Luqi
    Rapid system prototyping. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2004, v:70, n:3, pp:225-227 [Journal]
  27. Fabrice Kordon, Luqi
    An Introduction to Rapid System Prototyping. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:9, pp:817-821 [Journal]
  28. Laurent Pautet, Fabrice Kordon
    Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2004, v:23, n:10, pp:1301-1328 [Journal]
  29. Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
    dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:495-504 [Conf]
  30. Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg
    IibDMC: a Library to Operate Efficient Distributed Model Checking. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-8 [Conf]
  31. Fabrice Kordon, Jean-Baptiste Voron
    Rapid Prototyping of Intrusion Detection Systems. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2007, pp:89-98 [Conf]
  32. Fabrice Kordon, Jean-Baptiste Voron, Liviu Iftode
    Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2007, pp:106-112 [Conf]

  33. Hierarchical Set Decision Diagrams and Automatic Saturation. [Citation Graph (, )][DBLP]


  34. PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. [Citation Graph (, )][DBLP]


  35. A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. [Citation Graph (, )][DBLP]


  36. Formal Modeling of a Generic Middleware to Ensure Invariant Properties. [Citation Graph (, )][DBLP]


  37. Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. [Citation Graph (, )][DBLP]


  38. Design Methodologies for Embedded Systems: Where is the Super-Glue? [Citation Graph (, )][DBLP]


  39. From AADL Architectural Models to Petri Nets: Checking Model Viability. [Citation Graph (, )][DBLP]


  40. Model Driven Engineering versus Organic Computing, Two Complementary Approaches. [Citation Graph (, )][DBLP]


  41. Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. [Citation Graph (, )][DBLP]


  42. From Model Driven Engineering to Verification Driven Engineering. [Citation Graph (, )][DBLP]


  43. Hierarchical Set Decision Diagrams and Regular Models. [Citation Graph (, )][DBLP]


  44. A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. [Citation Graph (, )][DBLP]


  45. Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. [Citation Graph (, )][DBLP]


  46. Experiences in Model Driven Verification of Behavior with UML. [Citation Graph (, )][DBLP]


  47. Transforming sources to petri nets: a way to analyze execution of parallel programs. [Citation Graph (, )][DBLP]


  48. Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. [Citation Graph (, )][DBLP]


  49. Exploiting colored Petri nets to decide on permutation admissibility. [Citation Graph (, )][DBLP]


  50. Guest Editor's Introduction: Rapid System Prototyping. [Citation Graph (, )][DBLP]


  51. Guest Editor's Introduction: Rapid System Prototyping. [Citation Graph (, )][DBLP]


  52. Guest Editor's Introduction: Rapid System Prototyping. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002