| 2020 | SAT | Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon |
| 2019 | TACAS | 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 Gjl Jensen, Log 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 |
| 2019 | TACAS | TOOLympics 2019: An Overview of Competitions in Formal Methods. | 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 |
| 2019 | TACAS | Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon |
| 2018 | TACAS | CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. | Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon |
| 2017 | SAT | PaInleSS: A Framework for Parallel SAT Solving. | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon |
| 2016 | ATVA | Heuristics for Checking Liveness Properties with Partial Order Reductions. | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault |
| 2016 | SAC | 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 |
| 2015 | ICST | 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, Marc-Florian Wendland, Pierre-Henri Wuillemin |
| 2015 | TACAS | Parallel Explicit Model Checking for Generalized Bchi Automata. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
| 2014 | TACAS | Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. | Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg |
| 2013 | CAV | Towards Distributed Software Model-Checking Using Decision Diagrams. | Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg |
| 2013 | ICECCS | CosyVerif: An Open Source Extensible Verification Environment. | tienne Andr, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon |
| 2013 | ICFEM | A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. | tienne Andr, Benot Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci |
| 2013 | LPAR | Three SCC-Based Emptiness Checks for Generalized Bchi Automata. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
| 2013 | TrustCom | A Scalable Architecture for Highly Reliable Certification. | Xavier Bonnaire, Rudyar Corts, Fabrice Kordon, Olivier Marin |
| 2013 | TACAS | Strength-Based Decomposition of the Property Bchi Automaton for Faster Model Checking. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
| 2010 | ISORC | Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. | Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon |
| 2009 | ISORC | Model Driven Engineering versus Organic Computing, Two Complementary Approaches. | Fabrice Kordon |
| 2009 | ISORC | From AADL Architectural Models to Petri Nets: Checking Model Viability. | Xavier Renault, Fabrice Kordon, Jrme Hugues |
| 2009 | RSP | Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. | Xavier Renault, Fabrice Kordon, Jrme Hugues |
| 2009 | TACAS | Hierarchical Set Decision Diagrams and Regular Models. | Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon |
| 2008 | CaiSE | A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. | Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufada |
| 2008 | ISORC | Design Methodologies for Embedded Systems: Where is the Super-Glue? | Fabrice Kordon |
| 2007 | ISORC | Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. | Fabrice Kordon |
| 2007 | RSP | Rapid Prototyping of Intrusion Detection Systems. | Fabrice Kordon, Jean-Baptiste Voron |
| 2007 | RSP | Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. | Jrme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon |
| 2006 | FORTE | PN Standardisation: A Survey. | Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trves |
| 2006 | FORTE | Optimized Colored Nets Unfolding. | Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet |
| 2006 | ICTAC | Tutorial on Formal Methods for Distributed and Cooperative Systems. | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
| 2006 | ISORC | A Framework for DRE middleware, an Application to DDS. | Jrme Hugues, Laurent Pautet, Fabrice Kordon |
| 2005 | ISORC | Revisiting COTS middleware for DRE systems. | Jrme Hugues, Laurent Pautet, Fabrice Kordon |
| 2005 | RSP | Rapid Development Methodology for Customized Middleware. | Thomas Vergnaud, Jrme Hugues, Laurent Pautet, Fabrice Kordon |
| 2004 | RSP | Generation of Distributed Programs in Their Target Execution Environment. | Frdric Gilliers, Jean-Pierre Velu, Fabrice Kordon |
| 2003 | RSP | Contributions to middleware architectures to prototype distribution infrastructures. | Jrme Hugues, Laurent Pautet, Fabrice Kordon |
| 2001 | FM | A Modular Approach to the Specification and Validation of an Electrical Flight Control System. | Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon |
| 2001 | RSP | LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. | Dan Marius Regep, Fabrice Kordon |
| 2000 | RSP | Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator. | Dan Marius Regep, Fabrice Kordon |
| 1998 | RSP | Testing Prototypes Validity to Enhance Code Reuse. | Didier Buchs, Alioune Diagne, Fabrice Kordon |
| 1997 | RSP | FrameKit and the prototyping of CASE environments. | Fabrice Kordon, Jean-Luc Mounier |
| 1996 | RSP | A multi formalisms prototyping approach from formal description to implementation of distributed systems. | Alioune Diagne, Fabrice Kordon |
| 1995 | RSP | H-COSTAM: a hierarchical communicating state-machine model for generic prototyping. | Fabrice Kordon, William El Kaim |
| 1994 | RSP | An integrated framework for rapid system prototyping and automatic code distribution. | William El Kaim, Fabrice Kordon |
| 1993 | RSP | A generic prototype model for distributed systems based on high level object oriented specification. | Fabrice Kordon |
| 1991 | RSP | Complex system prototyping using environment abstraction. | Fabrice Kordon, Pascal Estraillier |