Fabrice Kordon

ORCID

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 22

Top Venues

Trans. Petri Nets Other Model. Concurr.

Int. J. Softw. Tools Technol. Transf.

TACAS

Petri Nets

Publications

Fabrice Kordon, Lom-Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. SAT (2020)
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
On the Usefulness of Clause Strengthening in Parallel SAT Solving. NFM (2020)
Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Hakan Metin, Souheib Baarir, Fabrice Kordon
Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. NFM (2019)
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. TACAS (1) (2019)
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Fabrice Kordon, Daniel Moldt
Introduction to the special issue from Petri Nets 2016. Sci. Comput. Program. 157 (2018)
Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. TACAS (1) (2018)
Fabrice Kordon, Yann Thierry-Mieg
Self-adaptive Model Checking, the Next Step? Petri Nets (2018)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Lom-Messan Hillah, Fabrice Kordon
Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. Petri Nets (2017)
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
PaInleSS: A Framework for Parallel SAT Solving. SAT (2017)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Variations on parallel explicit emptiness checks for generalized Büchi automata. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin
ASCENT: A Provably Terminating Decentralized Logging Service. Comput. J. 60 (12) (2017)
Lom-Messan Hillah, Ariele-Paolo Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin, Riccardo Fontanelli, Sergio Di Bona, Davide Guerri, Libero Maesano
Automation and intelligent scheduling of distributed system functional testing - Model-based functional testing in practice. Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault
Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA (2016)
Lom-Messan Hillah, Ariele-Paolo Maesano, Libero Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin
Service functional testing automation with intelligent scheduling and planning. SAC (2016)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS (2015)
Steffen Herbold, Alberto De Francesco, Jens Grabowski, Patrick Harms, Lom-Messan Hillah, Fabrice Kordon, Ariele-Paolo Maesano, Libero Maesano, Claudia Di Napoli, Fabio De Rosa, Martin A. Schneider, Nicola Tonellotto, Marc-Florian Wendland, Pierre-Henri Wuillemin
The MIDAS Cloud Platform for Testing SOA Applications. ICST (2015)
Fabrice Kordon, Francis Hulin-Hubard
BenchKit, a Tool for Massive Concurrent Benchmarking. ACSD (2014)
Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg
Controllability for discrete event systems modelled in VeriJ. Int. J. Crit. Comput. Based Syst. 5 (3/4) (2014)
Amel Yessad, Isabelle Mounier, Jean-Marc Labat, Fabrice Kordon, Thibault Carron
Have You Found the Error? A Formal Framework for Learning Game Verification. EC-TEL (2014)
Isabelle Mounier, Amel Yessad, Thibault Carron, Fabrice Kordon, Jean-Marc Labat
Formal Framework to improve the reliability of concurrent and collaborative learning games. EAI Endorsed Trans. Serious Games 1 (2) (2014)
Meriem Thabet, Mahmoud Boufaïda, Fabrice Kordon
An approach for developing an interoperability mechanism between cloud providers. Int. J. Space Based Situated Comput. 4 (2) (2014)
Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. TACAS (2014)
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
Towards Distributed Software Model-Checking Using Decision Diagrams. CAV (2013)
Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon
CosyVerif: An Open Source Extensible Verification Environment. ICECCS (2013)
Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM (2013)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR (2013)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS (2013)
Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin
A Scalable Architecture for Highly Reliable Certification. TrustCom/ISPA/IUCC (2013)
Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
Extending pnml Scope: A Framework to Combine Petri Nets Types. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Julien Delange, Laurent Pautet, Fabrice Kordon
Design, implementation and verification of MILS systems. Softw. Pract. Exp. 42 (7) (2012)
Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir
State Space Analysis Using Symmetries on Decision Diagrams. ACSD (2012)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR (2012)
Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
Modeling and Analyzing Wireless Sensor Networks with VeriSensor. PNSE (2012)
Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
Model Checking Using Generalized Testing Automata. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Mathieu Jan, Christophe Jouvray, Fabrice Kordon, Antonio Kung, Jimmy Lalande, Frédéric Loiret, Juan F. Navas, Laurent Pautet, Jacques Pulou, Ansgar Radermacher, Lionel Seinturier
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. Softw. Pract. Exp. 42 (12) (2012)
Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. Monterey Workshop (2012)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets (2011)
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
Extending PNML Scope: the Prioritised Petri Nets Experience. PNSE (2011)
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)
Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg
Introduction. ACSD/Petri Nets Workshops (2010)
Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. NOTERE (2010)
Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. ISORC (2010)
Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron
polyDD: Towards a Framework Generalizing Decision Diagrams. ACSD (2010)
Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop (2010)
Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg
Automated controllability and synthesis with hierarchical set decision diagrams. WODES (2010)
Jean-Baptiste Voron, Clement Demoulins, Fabrice Kordon
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach. ACSD (2010)
Rza Bashirov, Fabrice Kordon, Hüseyin Lort
Exploiting colored Petri nets to decide on permutation admissibility. Acta Informatica 46 (1) (2009)
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon
Hierarchical Set Decision Diagrams and Regular Models. TACAS (2009)
Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves
Efficient state-based analysis by introducing bags in Petri nets color domains. ACC (2009)
Fabrice Kordon
Model Driven Engineering versus Organic Computing, Two Complementary Approaches. ISORC (2009)
Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon
Validate, simulate, and implement ARINC653 systems using the AADL. SIGAda (2009)
Xavier Renault, Fabrice Kordon, Jérôme Hugues
From AADL Architectural Models to Petri Nets: Checking Model Viability. ISORC (2009)
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundam. Informaticae 94 (3-4) (2009)
Fabien Bonnefoi, Christine Choppy, Fabrice Kordon
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Trans. Petri Nets Other Model. Concurr. 3 (2009)
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)
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. Embed. Comput. Syst. 7 (4) (2008)
Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda
A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. CIAO! / EOMAS (2008)
Fabrice Kordon, Jérôme Hugues, Xavier Renault
From Model Driven Engineering to Verification Driven Engineering. SEUS (2008)
Jean-Baptiste Voron, Fabrice Kordon
Transforming sources to petri nets: a way to analyze execution of parallel programs. SimuTools (2008)
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets (2008)
Xavier Renault, Jérôme Hugues, Fabrice Kordon
Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS (2008)
Fabrice Kordon
Design Methodologies for Embedded Systems: Where is the Super-Glue? ISORC (2008)
Fabrice Kordon, Yann Thierry-Mieg
Experiences in Model Driven Verification of Behavior with UML. Monterey Workshop (2008)
Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda
Formalisation and verification of interaction protocols for business process integration: a Petri net approach. Int. J. Simul. Process. Model. 4 (3/4) (2008)
Fabrice Kordon, Jean-Baptiste Voron
Rapid Prototyping of Intrusion Detection Systems. IEEE International Workshop on Rapid System Prototyping (2007)
Fabrice Kordon
Guest Editor's Introduction: Rapid System Prototyping. IEEE Distributed Syst. Online 8 (5) (2007)
Fabrice Kordon
Guest Editor's Introduction: Rapid System Prototyping. IEEE Distributed Syst. Online 8 (4) (2007)
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN (2007)
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)
Fabien Bonnefoi, Lom-Messan Hillah, Fabrice Kordon, Xavier Renault
Design, modeling and analysis of ITS using UML and Petri Nets. ITSC (2007)
Fabrice Kordon
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. ISORC (2007)
Fabrice Kordon
Guest Editor's Introduction: Rapid System Prototyping. IEEE Distributed Syst. Online 8 (3) (2007)
Luqi, Fabrice Kordon
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. Monterey Workshop (2007)
Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon
A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. MSVVEIS (2007)
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg
IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS (2007)
Razika Driouche, Zizette Boufaïda, Fabrice Kordon
An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration. Int. J. Interoperability Bus. Inf. Syst. 5 (2007)
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)
Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves
PN Standardisation: A Survey. FORTE (2006)
Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC (2006)
Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet
Optimized Colored Nets Unfolding. FORTE (2006)
Razika Driouche, Zizette Boufaïda, Fabrice Kordon
An Ontology Based Architecture for Integrating Enterprise Applications. MSVVEIS (2006)
Jérôme Hugues, Laurent Pautet, Fabrice Kordon
A Framework for DRE middleware, an Application to DDS. ISORC (2006)
Fabrice Kordon, Laure Petrucci
Toward Formal-Methods Oecumenism? IEEE Distributed Syst. Online 7 (7) (2006)
Razika Driouche, Zizette Boufaïda, Fabrice Kordon
Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario. DEXA Workshops (2006)
Jérôme Hugues, Laurent Pautet, Fabrice Kordon
Revisiting COTS middleware for DRE systems. ISORC (2005)
Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud
A Factory to Design and Build Tailorable and Verifiable Middleware. Monterey Workshop (2005)
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe (2005)
Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
On the Formal Verification of Middleware Behavioral Properties. Electron. Notes Theor. Comput. Sci. 133 (2005)
Fabrice Kordon, Laurent Pautet
Toward Nex-Generation Middleware? IEEE Distributed Syst. Online 6 (3) (2005)
Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
Rapid Development Methodology for Customized Middleware. IEEE International Workshop on Rapid System Prototyping (2005)

Fabrice Kordon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabrice Kordon