Fabrice Kordon

Fabrice Kordon, Alioune Diagne, F. Kordon, 1996, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.

Embedded Systems: Kordon/Embedded Systems

Fabrice Kordon, Jérôme Hugues, Agusti Canals, 2013 .

Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers

Fabrice Kordon, Oleg Sokolsky, 2007, Monterey Workshop.

Modeling and Validation of ARINC653 architectures

Julien Delange, Laurent Pautet, Fabrice Kordon, 2010 .

Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues

Fabrice Kordon, Oleg Sokolsky, 2006 .

Formal Techniques Based on Nets, Object Orientation and Reusability for Rapid Prototyping of Complex Systems

Fabrice Kordon, 1994 .

A Modular Approach to the Specification and Validation of an Electrical Flight Control System

Fabrice Kordon, Isabelle Mounier, Marielle Doche, 2001, FME.

BioMedScape: A new WWW Platform in Neurosciences

Fabrice Kordon, Ghislaine Filliatreau, Nicolas Poizot, 1997 .

From AADL Architectural Models to Petri Nets: Checking Model Viability

Fabrice Kordon, Jérôme Hugues, Xavier Renault, 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009

Fabrice Kordon, Mitsuhisa Sato, Taisuke Boku, 2009, ISORC.

Architecture Description Languages

Laurent Pautet, Fabrice Kordon, Laure Petrucci, 2011 .

A Petri Net based runtime monitoring method for Web services specified with BPEL

Fabrice Kordon, Jim Zhu, 2010, 2010 2nd IEEE International Conference on Information Management and Engineering.

IibDMC: a Library to Operate Efficient Distributed Model Checking

Fabrice Kordon, Yann Thierry-Mieg, Alexandre Hamez, 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.

Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs

Fabrice Kordon, Luqi, 2007, Monterey Workshop.

Frameworks for software architecture

Fabrice Kordon, Daniel Moldt, K. M. van Hee, 2007 .

Controllability for discrete event systems modelled in VeriJ

Fabrice Kordon, Béatrice Bérard, Yann Thierry-Mieg, 2014, Int. J. Crit. Comput. Based Syst..

Behavioral modular description of fault tolerant distributed systems with AADL Behavioral Annex

Laurent Pautet, Fabrice Kordon, Thomas Robert, 2010, 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE).

Conclusions

Fabrice Kordon, Michel Lemoine, 2004, Formal Methods for Embedded Distributed Systems.

MCC'2015 - The Fifth Model Checking Contest

Fabrice Kordon, Hubert Garavel, Loïg Jezequel, 2016, Trans. Petri Nets Other Model. Concurr..

Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Tullio Vardanega, Fabrice Kordon, 2008, Ada-Europe.

Exploiting colored Petri nets to decide on permutation admissibility

Fabrice Kordon, Rza Bashirov, Hüseyin Lort, 2008, Acta Informatica.

From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models

Laurent Pautet, Fabrice Kordon, Thomas Quinot, 2001, Proceedings 3rd International Symposium on Distributed Objects and Applications.

From the prototype to the final embedded system using the Ocarina AADL tool suite

Laurent Pautet, Fabrice Kordon, Bechir Zalila, 2008, TECS.

PaInleSS: A Framework for Parallel SAT Solving

Fabrice Kordon, Souheib Baarir, Julien Sopena, 2017, SAT.

A framework for DRE middleware, an application to DDS

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

Guest Editorial

Fabrice Kordon, Klaus D. Müller-Glaser, Alexander Burst, 2000, Des. Autom. Embed. Syst..

Rapid development methodology for customized middleware

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2005, 16th IEEE International Workshop on Rapid System Prototyping (RSP'05).

Automation and intelligent scheduling of distributed system functional testing

Fabrice Kordon, Fabio De Rosa, Pierre-Henri Wuillemin, 2016, International Journal on Software Tools for Technology Transfer.

Using the AADL to Describe Distributed Applications from Middleware to Software Components

Laurent Pautet, Fabrice Kordon, Thomas Vergnaud, 2005, Ada-Europe.

Rapid Prototyping of Intrusion Detection Systems

Fabrice Kordon, Jean-Baptiste Voron, 2007, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07).

Architecture for a reuseable object-oriented polymorphic middleware

Laurent Pautet, Fabrice Kordon, Thomas Quinot, 2007 .

A primer on the Petri Net Markup Language and ISO/IEC 15909-2

Fabrice Kordon, Laure Petrucci, Lom Messan Hillah, 2009 .

Model Driven Engineering versus Organic Computing, Two Complementary Approaches

Fabrice Kordon, 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots

Fabrice Kordon, Laure Petrucci, 2007 .

Service functional testing automation with intelligent scheduling and planning

Fabrice Kordon, Fabio De Rosa, Pierre-Henri Wuillemin, 2016, SAC.

Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems

Fabrice Kordon, 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

Modeling and Analyzing Wireless Sensor Networks with VeriSensor

Fabrice Kordon, Yann Thierry-Mieg, Salma Mouline, 2012, PNSE.

Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies

Fabrice Kordon, Yvon Kermarrec, 2009 .

Generation of distributed programs in their target execution environment

Fabrice Kordon, Frédéric Gilliers, Jean-Pierre Velu, 2004, Proceedings. 15th IEEE International Workshop on Rapid System Prototyping, 2004..

Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach

Fabrice Kordon, Maximilien Colange, Lom-Messan Hillah, 2012, Monterey Workshop.

A Scalable Architecture for Highly Reliable Certification

Fabrice Kordon, Xavier Bonnaire, Rudyar Cortés, 2013, 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications.

BioMedScape: a Web based Environment for Diffusion and Analysis of Research Data in Discrete Areas of Life-Sciences

Fabrice Kordon, Ghislaine Filliatreau, Nicolas Poizot, 1997 .

{2nd Model-based Engineering for Real-Time Embedded Systems (associated to ISORC 2011)}

Fabrice Kordon, Bran Selic, Sébastien Gérard, 2011 .

Distributed Systems Design and Algorithms

Laurent Pautet, Fabrice Kordon, Laure Petrucci, 2013 .

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving

Fabrice Kordon, Souheib Baarir, Julien Sopena, 2020, SAT.

Automated controllability and synthesis with hierarchical set decision diagrams

Fabrice Kordon, Béatrice Bérard, Yann Thierry-Mieg, 2010, WODES.

An Experimental Approach towards the XML representation of Petri Net Models

Fabrice Kordon, Ousmane Sy, Didier Buchs, 2000 .

The MIDAS Cloud Platform for Testing SOA Applications

Fabrice Kordon, Claudia Di Napoli, Marc-Florian Wendland, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

Self-adaptive Model Checking, the Next Step?

Fabrice Kordon, Yann Thierry-Mieg, 2018, Petri Nets.

Modeling and verifying behavioral aspects

Fabrice Kordon, Denis Poitrenaud, Isabelle Mounier, 2004, Formal Methods for Embedded Distributed Systems.

Variations on parallel explicit emptiness checks for generalized Büchi automata

Fabrice Kordon, Denis Poitrenaud, Alexandre Duret-Lutz, 2017, International Journal on Software Tools for Technology Transfer.

Models and Analysis for Distributed Systems

Laurent Pautet, Fabrice Kordon, Laure Petrucci, 2011 .

Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System

Fabrice Kordon, Christophe Le Page, François Bousquet, 2000, FAABS.

Using MetaScribe to prototype a UML to C++/Ada95 code generator

Fabrice Kordon, Dan Marius Regep, 2000, Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668).

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems

Laurent Pautet, Fabrice Kordon, Thomas Robert, 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Quality Management Issues along Life-cycle of Distributed Applications

Fabrice Kordon, Pascal Estraillier, Alioune Diagne, 1998 .

A Model Based Development Approach for Distributed Embedded Systems

Fabrice Kordon, Frédéric Gilliers, Dan Marius Regep, 2002, RISSEF.

Validate, simulate, and implement ARINC653 systems using the AADL

Julien Delange, Laurent Pautet, Fabrice Kordon, 2009 .

A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration

Fabrice Kordon, Mahmoud Boufaïda, Djamel Benmerzoug, 2008, CIAO! / EOMAS.

Tutorial 1: Modeling and Verifying Distributed Systems with Petri Nets

Fabrice Kordon, Souheib Baarir, 2012, 2012 Second International Workshop on Advanced Information Systems for Enterprises.

Have You Found the Error? A Formal Framework for Learning Game Verification

Fabrice Kordon, Jean-Marc Labat, Isabelle Mounier, 2014, EC-TEL.

Case Study: Pacemaker

Fabrice Kordon, Agusti Canals, Alain Dohet, 2013 .

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

Fabrice Kordon, Souheib Baarir, Hakan Metin, 2019, NFM.

Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow

Fabrice Kordon, Yann Thierry-Mieg, Salma Mouline, 2013, Trans. Petri Nets Other Model. Concurr..

An approach for developing an interoperability mechanism between cloud providers

Fabrice Kordon, Mahmoud Boufaïda, Meriem Thabet, 2014, Int. J. Space Based Situated Comput..

Verification of a Quasi certification Protocol over a DHT

Fabrice Kordon, Xavier Bonnaire, Olivier Marin, 2013 .

Testing prototypes validity to enhance code reuse

Fabrice Kordon, Didier Buchs, Alioune Diagne, 1998, Proceedings. Ninth International Workshop on Rapid System Prototyping (Cat. No.98TB100237).

Revisiting COTS middleware for DRE systems

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

Report on the Model Checking Contest at Petri Nets 2011

Fabrice Kordon, Sami Evangelista, Niels Lohmann, 2012, Trans. Petri Nets Other Model. Concurr..

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag

Fabrice Kordon, Souheib Baarir, Maximilien Colange, 2011, Petri Nets.

Elements for the Design of Embedded Computer Systems

Fabrice Kordon, Jérôme Hugues, Agusti Canals, 2013 .

Validate, simulate, and implement ARINC653 systems using the AADL

Julien Delange, Laurent Pautet, Fabrice Kordon, 2009, SIGAda '09.

TOOLympics 2019: An Overview of Competitions in Formal Methods

Fabrice Kordon, Ezio Bartocci, Dirk Beyer, 2019, TACAS.

14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA

Fabrice Kordon, Peter Athanas, 2003, IEEE International Workshop on Rapid System Prototyping.

Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets

Fabrice Kordon, Jérôme Hugues, Xavier Renault, 2009, 2009 IEEE/IFIP International Symposium on Rapid System Prototyping.

MetaScribe, an Ada-based Tool for the Construction of Transformation Engines

Fabrice Kordon, 1999, Ada-Europe.

An Introduction to Rapid System Prototyping

Fabrice Kordon, Luqi, 2002, IEEE Trans. Software Eng..

Design, modeling and analysis of ITS using UML and Petri Nets

Fabrice Kordon, Lom-Messan Hillah, Xavier Renault, 2007, 2007 IEEE Intelligent Transportation Systems Conference.

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation

Fabrice Kordon, Yann Thierry-Mieg, Alexandre Hamez, 2009, Fundam. Informaticae.

Heuristics for Checking Liveness Properties with Partial Order Reductions

Fabrice Kordon, Denis Poitrenaud, Alexandre Duret-Lutz, 2016, ATVA.

Model Checking Contest @ Petri Nets, Report on the 2013 edition pdf

Fabrice Kordon, Christian Rohr, Marco Beccuti, 2013, ArXiv.

Hierarchical Set Decision Diagrams and Automatic Saturation

Fabrice Kordon, Yann Thierry-Mieg, Alexandre Hamez, 2008, Petri Nets.

Revised Selected Papers of the 13th Monterey Workshop on Composition of Embedded Systems. Scientific and Industrial Issues - Volume 4888

Fabrice Kordon, Oleg Sokolsky, 2006 .

dmcG : A Distributed Symbolic Model Checker Based on GreatSPN

Fabrice Kordon, Fabrice Legond-Aubry, Yann Thierry-Mieg, 2007, ICATPN.

Petri net approaches for modelling and validation

Fabrice Kordon, Daniel Moldt, W.M.P. van der Aalst, 2003 .

Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification

Fabrice Kordon, Béatrice Bérard, Yann Thierry-Mieg, 2012 .

Formal Framework to improve the reliability of concurrent and collaborative learning games

Fabrice Kordon, Jean-Marc Labat, Isabelle Mounier, 2014, EAI Endorsed Trans. Serious Games.

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language

Fabrice Kordon, Laure Petrucci, Lom-Messan Hillah, 2010, Petri Nets.

An integrated framework for rapid system prototyping and automatic code distribution

Fabrice Kordon, William El Kaim, F. Kordon, 1994, Proceedings of IEEE 5th International Workshop on Rapid System Prototyping.

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking

Fabrice Kordon, Denis Poitrenaud, Etienne Renault, 2013, TACAS.

Compositional Analysis of Discrete Time Petri nets

Fabrice Kordon, Didier Lime, Béatrice Bérard, 2011 .

13th International Conference on Reliable Software Technologies

Tullio Vardanega, Fabrice Kordon, 2008 .

Design Methodologies for Embedded Systems: Where is the Super-Glue?

Fabrice Kordon, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

1st Model-Based Engineering for Real-Time Embedded Systems Design (associated to ISORC 2010)

Fabrice Kordon, Bran Selic, Reda Bendraou, 2010 .

Evinrude: A Tool to Automatically Transform Program's Sources into Petri Nets

Fabrice Kordon, Jean-Baptiste Voron, F. Kordon, 2008 .

An Ontology Based Architecture for Integrating Enterprise Applications

Fabrice Kordon, Razika Driouche, Zizette Boufaïda, 2006, MSVVEIS.

Application des méthodes formelles à la robotique modulaire : Méthodes formelles pour l'analyse des robots autonomes et modulaires

Fabrice Kordon, Laure Petrucci, Lom Messan Hillah, 2008 .

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

Fabrice Kordon, Laure Petrucci, Étienne André, 2013, ICFEM.

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Fabrice Kordon, Jérôme Hugues, Agusti Canals, 2013 .

From Model Driven Engineering to Verification Driven Engineering

Fabrice Kordon, Jérôme Hugues, Xavier Renault, 2008, SEUS.

Verification of Timed Systems

Laurent Pautet, Fabrice Kordon, Laure Petrucci, 2011 .

Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Fabrice Kordon, Janos Sztipanovits, 2007, Monterey Workshop.

Extending pnml Scope: A Framework to Combine Petri Nets Types

Fabrice Kordon, Laure Petrucci, Lom-Messan Hillah, 2012, Trans. Petri Nets Other Model. Concurr..

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata

Fabrice Kordon, Ala-Eddine Ben Salem, Alexandre Duret-Lutz, 2014, TACAS.

MCC'2017 - The Seventh Model Checking Contest

Fabrice Kordon, Marco Beccuti, Jirí Srba, 2018, Trans. Petri Nets Other Model. Concurr..

Formal Methods for Embedded Distributed Systems

Fabrice Kordon, Michel Lemoine, F. Kordon, 2004, Springer US.

Refining Middleware Functions for Verification Purpose

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2003 .

Experiences in Model Driven Verification of Behavior with UML

Fabrice Kordon, Yann Thierry-Mieg, 2008, Monterey Workshop.

Flex‐eWare: a flexible model driven solution for designing and implementing embedded distributed systems

Laurent Pautet, Fabrice Kordon, Jacques Pulou, 2012, Softw. Pract. Exp..

Guest Editor's Introduction: Rapid System Prototyping

Fabrice Kordon, 2007, IEEE Distributed Systems Online.

Teaching formal methods: Experience at UPMC and UP13 with CosyVerif

Fabrice Kordon, Laure Petrucci, Etienne Andre, 2014, 2014 25th EAEEIE Annual Conference (EAEEIE).

A generic prototype model for distributed systems based on high level object oriented specification

Fabrice Kordon, 1993, [1993] Proceedings The Fourth International Workshop on Rapid System Prototyping.

A Specification and Validation Approach for Business Process Integration based on Web Services and Agents

Fabrice Kordon, Mahmoud Boufaïda, Djamel Benmerzoug, 2007, MSVVEIS.

Formal Verification of Embedded Distributed Systems in a Prototyping Approach

Fabrice Kordon, Dan Regep, Emmanuel Paviot-Adet, 2001 .

Rapid system prototyping

Fabrice Kordon, Luqi, Linda M. Wills, 2004, J. Syst. Softw..

Introduction to the special issue from Petri Nets 2016

Fabrice Kordon, Daniel Moldt, 2018, Sci. Comput. Program..

Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Fabrice Kordon, Yvon Kermarrec, 2009, Ada-Europe.

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2004, Ada-Europe.

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets

Fabrice Kordon, Sami Evangelista, Emmanuel Paviot-Adet, 2012, Trans. Petri Nets Other Model. Concurr..

Message from the General Chairs

Fabrice Kordon, 2005, IEEE International Workshop on Rapid System Prototyping.

CosyVerif: An Open Source Extensible Verification Environment

Fabrice Kordon, Laure Petrucci, Étienne André, 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

Complex system prototyping using environment abstraction

Fabrice Kordon, Pascal Estraillier, 1991, [1991 Proceedings] The Second International Workshop on Rapid System Prototyping.

Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Fabrice Kordon, Nabil Abdennadher, 2007, Ada-Europe.

Contributions to middleware architectures to prototype distribution infrastructures

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2003, 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings..

Formalisation and verification of interaction protocols for business process integration: a Petri net approach

Fabrice Kordon, Mahmoud Boufaïda, Djamel Benmerzoug, 2008, Int. J. Simul. Process. Model..

A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example

Fabrice Kordon, Christine Choppy, Fabien Bonnefoi, 2008, Trans. Petri Nets Other Model. Concurr..

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina

Laurent Pautet, Fabrice Kordon, Bechir Zalila, 2007, IEEE International Workshop on Rapid System Prototyping.

Formal Modeling of a Generic Middleware to Ensure Invariant Properties

Fabrice Kordon, Jérôme Hugues, Xavier Renault, 2008, FMOODS.

An Overview of Rapid System Prototyping Today

Fabrice Kordon, Jörg Henkel, 2003, Des. Autom. Embed. Syst..

Towards Proof-Based Real-Time Distribution Middleware

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2005 .

A Factory to Design and Build Tailorable and Verifiable Middleware

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2005, Monterey Workshop.

A survey: applying formal methods to a software intensive system

Fabrice Kordon, Jozef Hooman, Deepak Kapur, 2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.

BenchKit, a Tool for Massive Concurrent Benchmarking

Fabrice Kordon, Francis Hulin-Hubard, 2014, 2014 14th International Conference on Application of Concurrency to System Design.

PN Standardisation: A Survey

Fabrice Kordon, Laure Petrucci, Lom-Messan Hillah, 2006, FORTE.

Process decomposition for Rapid Prototyping of Parallel systems

Fabrice Kordon, Jean-François Peyre, 1991 .

An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems

Fabrice Kordon, Lom Messan Hillah, Guy Fremont, 2006 .

Software Architecture of Modern Model Checkers

Fabrice Kordon, Jaco van de Pol, Michael Leuschel, 2019, Computing and Software Science.

Models and Analysis in Distributed Systems: Kordon/Models and Analysis in Distributed Systems

Laurent Pautet, Fabrice Kordon, Laure Petrucci, 2011 .

FrameKit and the prototyping of CASE environments

Fabrice Kordon, Jean-Luc Mounier, 1997, Proceedings 8th IEEE International Workshop on Rapid System Prototyping Shortening the Path from Specification to Prototype.

Specification and Design Approaches

Laurent Pautet, Fabrice Kordon, Laure Petrucci, 2011 .

DROOPI: towards a generic middleware

Laurent Pautet, Fabrice Kordon, Thomas Quinot, 2001, ALET.

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving

Fabrice Kordon, Souheib Baarir, Maximilien Colange, 2018, TACAS.

Three SCC-Based Emptiness Checks for Generalized Büchi Automata

Fabrice Kordon, Denis Poitrenaud, Alexandre Duret-Lutz, 2013, LPAR.

Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables

Laurent Pautet, Fabrice Kordon, 2004, Tech. Sci. Informatiques.

Guest Editor's Introduction: Rapid System Prototyping

Fabrice Kordon, 2007, IEEE Distributed Syst. Online.

Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach

Fabrice Kordon, Jean-Baptiste Voron, Clement Demoulins, 2010, 2010 10th International Conference on Application of Concurrency to System Design.

Model Checking Using Generalized Testing Automata

Fabrice Kordon, Alexandre Duret-Lutz, Ala-Eddine Ben Salem, 2012, Trans. Petri Nets Other Model. Concurr..

H-COSTAM: a hierarchical communicating state-machine model for generic prototyping

Fabrice Kordon, William El Kaim, 1995, Proceedings Sixth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.

Transforming sources to petri nets: a way to analyze execution of parallel programs

Fabrice Kordon, Jean-Baptiste Voron, F. Kordon, 2008, SimuTools.

Introduction to Large‐Scale Peer‐to‐Peer Distributed Systems

Fabrice Kordon, 2013 .

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Dirk Beyer, Fabrice Kordon, Bernhard Steffen, 2019, Lecture Notes in Computer Science.

Toward Formal-Methods Oecumenism?

Fabrice Kordon, Laure Petrucci, 2006, IEEE Distributed Syst. Online.

Challenges and Opportunity with Big Data

Fabrice Kordon, Lei Ren, Lin Zhang, 2016, Lecture Notes in Computer Science.

2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013

Kamel Barkaoui, Zuohua Ding, Fabrice Kordon, 2013, ICECCS.