Complex system prototyping using environment abstraction. - Fabrice Kordon; Pascal Estraillier (RSP, 1991)

A generic prototype model for distributed systems based on high level object oriented specification. - Fabrice Kordon (RSP, 1993)

An integrated framework for rapid system prototyping and automatic code distribution. - William El Kaim; Fabrice Kordon (RSP, 1994)

H-COSTAM: a hierarchical communicating state-machine model for generic prototyping. - Fabrice Kordon; William El Kaim (RSP, 1995)

A multi formalisms prototyping approach from formal description to implementation of distributed systems. - Alioune Diagne; Fabrice Kordon (RSP, 1996)

FrameKit and the prototyping of CASE environments. - Fabrice Kordon; Jean-Luc Mounier (IEEE International Workshop on Rapid System Prototyping, 1997)

Testing Prototypes Validity to Enhance Code Reuse. - Didier Buchs; Alioune Diagne; Fabrice Kordon (International Workshop on Rapid System Prototyping, 1998)

MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. - Fabrice Kordon (Ada-Europe, 1999)

Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System. - Innocent Bakam; Fabrice Kordon; Christophe Le Page; François Bousquet (FAABS, 2000)

Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator. - Dan Marius Regep; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2000)

Guest Editorial. - Klaus D. Müller-Glaser; Fabrice Kordon; Alexander Burst (Des. Autom. Embed. Syst., 2000)

From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. - Thomas Quinot; Laurent Pautet; Fabrice Kordon (DOA, 2001)

A Modular Approach to the Specification and Validation of an Electrical Flight Control System. - Marielle Doche; Isabelle Vernier-Mounier; Fabrice Kordon (FME, 2001)

A Survey: Applying Formal Methods to a Software Intensive System. - Adriaan de Groot; Jozef Hooman; Fabrice Kordon; Emmanuel Paviot-Adet; Isabelle Vernier-Mounier; Michel Lemoine; Gervais Gaudiére; Victor L. Winter; Deepak Kapur (HASE, 2001)

LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. - Dan Marius Regep; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2001)

A Model Based Development Approach for Distributed Embedded Systems. - Frédéric Gilliers; Fabrice Kordon; Dan Marius Regep (RISSEF, 2002)

An Introduction to Rapid System Prototyping. - Fabrice Kordon; Luqi (IEEE Trans. Software Eng., 2002)

Contributions to middleware architectures to prototype distribution infrastructures. - Jérôme Hugues; Laurent Pautet; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2003)

An Overview of Rapid System Prototyping Today. - Fabrice Kordon; Jörg Henkel (Des. Autom. Embed. Syst., 2003)

Modeling and verifying behavioral aspects. - François Breant; Jean-Michel Couvreur; Frédéric Gilliers; Fabrice Kordon; Isabelle Mounier; Emmanuel Paviot-Adet; Denis Poitrenaud; Dan Marius Regep; Grégoire Sutre (Formal Methods for Embedded Distributed Systems, 2004)

Conclusions. - Fabrice Kordon; Michel Lemoine (Formal Methods for Embedded Distributed Systems, 2004)

The BART Case Study. - Victor L. Winter; Fabrice Kordon; Michel Lemoine (Formal Methods for Embedded Distributed Systems, 2004)

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. - Thomas Vergnaud; Jérôme Hugues; Laurent Pautet; Fabrice Kordon (Ada-Europe, 2004)

Generation of Distributed Programs in Their Target Execution Environment. - Frédéric Gilliers; Jean-Pierre Velu; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2004)

On the Formal Verification of Middleware Behavioral Properties. - Jérôme Hugues; Thomas Vergnaud; Laurent Pautet; Yann Thierry-Mieg; Souheib Baarir; Fabrice Kordon (FMICS, 2004)

Rapid system prototyping. - Linda M. Wills; Fabrice Kordon; Luqi (J. Syst. Softw., 2004)

Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. - Laurent Pautet; Fabrice Kordon (Tech. Sci. Informatiques, 2004)

Using the AADL to Describe Distributed Applications from Middleware to Software Components. - Thomas Vergnaud; Laurent Pautet; Fabrice Kordon (Ada-Europe, 2005)

Revisiting COTS middleware for DRE systems. - Jérôme Hugues; Laurent Pautet; Fabrice Kordon (ISORC, 2005)

A Factory to Design and Build Tailorable and Verifiable Middleware. - Jérôme Hugues; Fabrice Kordon; Laurent Pautet; Thomas Vergnaud (Monterey Workshop, 2005)

Rapid Development Methodology for Customized Middleware. - Thomas Vergnaud; Jérôme Hugues; Laurent Pautet; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2005)

Toward Nex-Generation Middleware? - Fabrice Kordon; Laurent Pautet (IEEE Distributed Syst. Online, 2005)

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. - Alexandre Hamez; Lom Hillah; Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet; Xavier Renault; Yann Thierry-Mieg (ACSD, 2006)

Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario. - Razika Driouche; Zizette Boufaïda 001; Fabrice Kordon (DEXA Workshops, 2006)

PN Standardisation: A Survey. - Lom Hillah; Fabrice Kordon; Laure Petrucci-Dauchy; Nicolas Trèves (FORTE, 2006)

Optimized Colored Nets Unfolding. - Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet (FORTE, 2006)

Tutorial on Formal Methods for Distributed and Cooperative Systems. - Christine Choppy; Serge Haddad; Hanna Klaudel; Fabrice Kordon; Laure Petrucci; Yann Thierry-Mieg (ICTAC, 2006)

A Framework for DRE middleware, an Application to DDS. - Jérôme Hugues; Laurent Pautet; Fabrice Kordon (ISORC, 2006)

An Ontology Based Architecture for Integrating Enterprise Applications. - Razika Driouche; Zizette Boufaïda 001; Fabrice Kordon (MSVVEIS, 2006)

Toward Formal-Methods Oecumenism? - Fabrice Kordon; Laure Petrucci (IEEE Distributed Syst. Online, 2006)

dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. - Alexandre Hamez; Fabrice Kordon; Yann Thierry-Mieg; Fabrice Legond-Aubry (ICATPN, 2007)

IibDMC: a Library to Operate Efficient Distributed Model Checking. - Alexandre Hamez; Fabrice Kordon; Yann Thierry-Mieg (IPDPS, 2007)

Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. - Fabrice Kordon (ISORC, 2007)

Design, modeling and analysis of ITS using UML and Petri Nets. - Fabien Bonnefoi; Lom-Messan Hillah; Fabrice Kordon; Xavier Renault (ITSC, 2007)

Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. - Luqi; Fabrice Kordon (Monterey Workshop, 2007)

Rapid Prototyping of Intrusion Detection Systems. - Fabrice Kordon; Jean-Baptiste Voron (IEEE International Workshop on Rapid System Prototyping, 2007)

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. - Jérôme Hugues; Bechir Zalila; Laurent Pautet; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2007)

A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. - Djamel Benmerzoug; Mahmoud Boufaïda; Fabrice Kordon (MSVVEIS, 2007)

Guest Editor's Introduction: Rapid System Prototyping. - Fabrice Kordon (IEEE Distributed Syst. Online, 2007)

An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration. - Razika Driouche; Zizette Boufaïda 001; Fabrice Kordon (Int. J. Interoperability Bus. Inf. Syst., 2007)

Hierarchical Set Decision Diagrams and Automatic Saturation. - Alexandre Hamez; Yann Thierry-Mieg; Fabrice Kordon (Petri Nets, 2008)

A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. - Djamel Benmerzoug; Fabrice Kordon; Mahmoud Boufaïda (CIAO! / EOMAS, 2008)

Formal Modeling of a Generic Middleware to Ensure Invariant Properties. - Xavier Renault; Jérôme Hugues; Fabrice Kordon (FMOODS, 2008)

Design Methodologies for Embedded Systems: Where is the Super-Glue? - Fabrice Kordon (ISORC, 2008)

Experiences in Model Driven Verification of Behavior with UML. - Fabrice Kordon; Yann Thierry-Mieg (Monterey Workshop, 2008)

From Model Driven Engineering to Verification Driven Engineering. - Fabrice Kordon; Jérôme Hugues; Xavier Renault (SEUS, 2008)

Transforming sources to petri nets: a way to analyze execution of parallel programs. - Jean-Baptiste Voron; Fabrice Kordon (SimuTools, 2008)

Formalisation and verification of interaction protocols for business process integration: a Petri net approach. - Djamel Benmerzoug; Fabrice Kordon; Mahmoud Boufaïda (Int. J. Simul. Process. Model., 2008)

From the prototype to the final embedded system using the Ocarina AADL tool suite. - Jérôme Hugues; Bechir Zalila; Laurent Pautet; Fabrice Kordon (ACM Trans. Embed. Comput. Syst., 2008)

Efficient state-based analysis by introducing bags in Petri nets color domains. - Serge Haddad; Fabrice Kordon; Laure Petrucci; Jean-François Pradat-Peyre; Nicolas Trèves (ACC, 2009)

Model Driven Engineering versus Organic Computing, Two Complementary Approaches. - Fabrice Kordon (ISORC, 2009)

From AADL Architectural Models to Petri Nets: Checking Model Viability. - Xavier Renault; Fabrice Kordon; Jérôme Hugues (ISORC, 2009)

Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. - Xavier Renault; Fabrice Kordon; Jérôme Hugues (IEEE International Workshop on Rapid System Prototyping, 2009)

Validate, simulate, and implement ARINC653 systems using the AADL. - Julien Delange; Laurent Pautet; Alain Plantec; Mickaël Kerboeuf; Frank Singhoff; Fabrice Kordon (SIGAda, 2009)

Hierarchical Set Decision Diagrams and Regular Models. - Yann Thierry-Mieg; Denis Poitrenaud; Alexandre Hamez; Fabrice Kordon (TACAS, 2009)

Exploiting colored Petri nets to decide on permutation admissibility. - Rza Bashirov; Fabrice Kordon; Hüseyin Lort (Acta Informatica, 2009)

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. - Alexandre Hamez; Yann Thierry-Mieg; Fabrice Kordon (Fundam. Informaticae, 2009)

A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. - Fabien Bonnefoi; Christine Choppy; Fabrice Kordon (Trans. Petri Nets Other Model. Concurr., 2009)

Introduction. - Didier Buchs; Fabrice Kordon; Alexander Serebrenik; Natalia Sidorova; Jeremy Spronston; Yann Thierry-Mieg (ACSD/Petri Nets Workshops, 2010)

polyDD: Towards a Framework Generalizing Decision Diagrams. - Alban Linard; Emmanuel Paviot-Adet; Fabrice Kordon; Didier Buchs; Samuel Charron (ACSD, 2010)

Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach. - Jean-Baptiste Voron; Clement Demoulins; Fabrice Kordon (ACSD, 2010)

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. - Lom-Messan Hillah; Fabrice Kordon; Laure Petrucci; Nicolas Trèves (Petri Nets, 2010)

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. - Gilles Lasnier; Thomas Robert 003; Laurent Pautet; Fabrice Kordon (ISORC, 2010)

Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. - Souheib Baarir; Lom-Messan Hillah; Fabrice Kordon; Etienne Renault (Monterey Workshop, 2010)

Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. - Gilles Lasnier; Thomas Robert 003; Laurent Pautet; Fabrice Kordon (NOTERE, 2010)

Automated controllability and synthesis with hierarchical set decision diagrams. - Yan Zhang 017; Béatrice Bérard; Fabrice Kordon; Yann Thierry-Mieg (WODES, 2010)

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. - Maximilien Colange; Souheib Baarir; Fabrice Kordon; Yann Thierry-Mieg (Petri Nets, 2011)

Extending PNML Scope: the Prioritised Petri Nets Experience. - Lom-Messan Hillah; Fabrice Kordon; Charles Lakos; Laure Petrucci (PNSE, 2011)

State Space Analysis Using Symmetries on Decision Diagrams. - Maximilien Colange; Fabrice Kordon; Yann Thierry-Mieg; Souheib Baarir (ACSD, 2012)

Modeling and Analyzing Wireless Sensor Networks with VeriSensor. - Yann Ben Maissa; Fabrice Kordon; Salma Mouline; Yann Thierry-Mieg (PNSE, 2012)

Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. - Maximilien Colange; Lom-Messan Hillah; Fabrice Kordon; Pierre Parutto (Monterey Workshop, 2012)

Raw Report on the Model Checking Contest at Petri Nets 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; et al. (CoRR, 2012)

Design, implementation and verification of MILS systems. - Julien Delange; Laurent Pautet; Fabrice Kordon (Softw. Pract. Exp., 2012)

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. - 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 (Softw. Pract. Exp., 2012)

Extending pnml Scope: A Framework to Combine Petri Nets Types. - Lom-Messan Hillah; Fabrice Kordon; Charles Lakos; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2012)

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. - Silien Hong; Fabrice Kordon; Emmanuel Paviot-Adet; Sami Evangelista (Trans. Petri Nets Other Model. Concurr., 2012)

Report on the Model Checking Contest at Petri Nets 2011. - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Kai Lampka; Niels Lohmann; Emmanuel Paviot-Adet; Yann Thierry-Mieg; Harro Wimmel (Trans. Petri Nets Other Model. Concurr., 2012)

Model Checking Using Generalized Testing Automata. - Ala-Eddine Ben Salem; Alexandre Duret-Lutz; Fabrice Kordon (Trans. Petri Nets Other Model. Concurr., 2012)

Towards Distributed Software Model-Checking Using Decision Diagrams. - Maximilien Colange; Souheib Baarir; Fabrice Kordon; Yann Thierry-Mieg (CAV, 2013)

CosyVerif: An Open Source Extensible Verification Environment. - Étienne André; Yousra Lembachar; Laure Petrucci; Francis Hulin-Hubard; Alban Linard; Lom Hillah; Fabrice Kordon (ICECCS, 2013)

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. - Étienne André; Benoît Barbot; Clement Demoulins; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Kordon; Alban Linard; Laure Petrucci (ICFEM, 2013)

Three SCC-Based Emptiness Checks for Generalized Büchi Automata. - Etienne Renault; Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud (LPAR, 2013)

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. - Etienne Renault; Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud (TACAS, 2013)

A Scalable Architecture for Highly Reliable Certification. - Xavier Bonnaire; Rudyar Cortés; Fabrice Kordon; Olivier Marin (TrustCom/ISPA/IUCC, 2013)

Model Checking Contest @ Petri Nets, Report on the 2013 edition. - 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; et al. (CoRR, 2013)

Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. - Yann Ben Maissa; Fabrice Kordon; Salma Mouline; Yann Thierry-Mieg (Trans. Petri Nets Other Model. Concurr., 2013)

BenchKit, a Tool for Massive Concurrent Benchmarking. - Fabrice Kordon; Francis Hulin-Hubard (ACSD, 2014)

Have You Found the Error? A Formal Framework for Learning Game Verification. - Amel Yessad; Isabelle Mounier; Jean-Marc Labat; Fabrice Kordon; Thibault Carron (EC-TEL, 2014)

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. - Ala-Eddine Ben Salem; Alexandre Duret-Lutz; Fabrice Kordon; Yann Thierry-Mieg (TACAS, 2014)

Controllability for discrete event systems modelled in VeriJ. - Yan Zhang 017; Béatrice Bérard; Lom-Messan Hillah; Fabrice Kordon; Yann Thierry-Mieg (Int. J. Crit. Comput. Based Syst., 2014)

An approach for developing an interoperability mechanism between cloud providers. - Meriem Thabet; Mahmoud Boufaïda; Fabrice Kordon (Int. J. Space Based Situated Comput., 2014)

Formal Framework to improve the reliability of concurrent and collaborative learning games. - Isabelle Mounier; Amel Yessad; Thibault Carron; Fabrice Kordon; Jean-Marc Labat (EAI Endorsed Trans. Serious Games, 2014)

The MIDAS Cloud Platform for Testing SOA Applications. - 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; et al. (ICST, 2015)

Parallel Explicit Model Checking for Generalized Büchi Automata. - Etienne Renault; Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud (TACAS, 2015)

Heuristics for Checking Liveness Properties with Partial Order Reductions. - Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud; Etienne Renault (ATVA, 2016)

Service functional testing automation with intelligent scheduling and planning. - Lom-Messan Hillah; Ariele-Paolo Maesano; Libero Maesano; Fabio De Rosa; Fabrice Kordon; Pierre-Henri Wuillemin (SAC, 2016)

MCC'2015 - The Fifth Model Checking Contest. - Fabrice Kordon; Hubert Garavel; Lom-Messan Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; César Rodríguez; Francis Hulin-Hubard (Trans. Petri Nets Other Model. Concurr., 2016)

Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. - Lom-Messan Hillah; Fabrice Kordon (Petri Nets, 2017)

PaInleSS: A Framework for Parallel SAT Solving. - Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Fabrice Kordon (SAT, 2017)

ASCENT: A Provably Terminating Decentralized Logging Service. - Xavier Bonnaire; Rudyar Cortés; Fabrice Kordon; Olivier Marin (Comput. J., 2017)

Automation and intelligent scheduling of distributed system functional testing - Model-based functional testing in practice. - Lom-Messan Hillah; Ariele-Paolo Maesano; Fabio De Rosa; Fabrice Kordon; Pierre-Henri Wuillemin; Riccardo Fontanelli; Sergio Di Bona; Davide Guerri; Libero Maesano (Int. J. Softw. Tools Technol. Transf., 2017)

Variations on parallel explicit emptiness checks for generalized Büchi automata. - Etienne Renault; Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud (Int. J. Softw. Tools Technol. Transf., 2017)

Self-adaptive Model Checking, the Next Step? - Fabrice Kordon; Yann Thierry-Mieg (Petri Nets, 2018)

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. - Hakan Metin; Souheib Baarir; Maximilien Colange; Fabrice Kordon (TACAS (1), 2018)

Introduction to the special issue from Petri Nets 2016. - Fabrice Kordon; Daniel Moldt (Sci. Comput. Program., 2018)

MCC'2017 - The Seventh Model Checking Contest. - 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; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. - Hakan Metin; Souheib Baarir; Fabrice Kordon (NFM, 2019)

Presentation of the 9th Edition of the Model Checking Contest. - 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; et al. (TACAS (3), 2019)

TOOLympics 2019: An Overview of Competitions in Formal Methods. - Ezio Bartocci; Dirk Beyer 001; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns; Marieke Huisman; Fabrice Kordon; Julian Nagele; Mihaela Sighireanu; Bernhard Steffen; Martin Suda 001; et al. (TACAS (3), 2019)

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. - Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Fabrice Kordon (TACAS (1), 2019)

Software Architecture of Modern Model Checkers. - Fabrice Kordon; Michael Leuschel; Jaco van de Pol; Yann Thierry-Mieg (Computing and Software Science, 2019)

On the Usefulness of Clause Strengthening in Parallel SAT Solving. - Vincent Vallade; Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Fabrice Kordon (NFM, 2020)

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. - Vincent Vallade; Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Vijay Ganesh 001; Fabrice Kordon (SAT, 2020)

TOOLympics II: competitions on formal methods. - Dirk Beyer 001; Marieke Huisman; Fabrice Kordon; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2021)

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. - Fabrice Kordon; Lom-Messan Hillah; Francis Hulin-Hubard; Loïg Jezequel; Emmanuel Paviot-Adet (Int. J. Softw. Tools Technol. Transf., 2021)

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. - Nicolas Amat; Elvio G. Amparore; Bernard Berthomieu; Pierre Bouvier; Silvano Dal-Zilio; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Shuo Li; Emmanuel Paviot-Adet; Laure Petrucci; et al. (TOOLympics@ETAPS, 2023)

CosyVerif: The Path to Formalisms Cohabitation. - Étienne André; Jaime Arias 001; Benoît Barbot; Francis Hulin-Hubard; Fabrice Kordon; Van-François Le; Laure Petrucci (Petri Nets, 2024)