| 2026 | COMPSAC | Scalable Blockchain-Based Healthcare Consent Management with Automated Compliance Verification. | Suraj Gupta, Frdric Lang, Umar Ozeer, Gwen Salan |
| 2023 | VMCAI | Compositional Verification of Stigmergic Collective Systems. | Luca Di Stefano, Frdric Lang |
| 2021 | ISoLA | Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. | Luca Di Stefano, Frdric Lang |
| 2020 | Coordination | Combining SLiVER with CADP to Analyze Multi-agent Systems. | Luca Di Stefano, Frdric Lang, Wendelin Serwe |
| 2020 | TACAS | Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. | Frdric Lang, Radu Mateescu, Franco Mazzanti |
| 2019 | FM | Compositional Verification of Concurrent Systems by Combining Bisimulations. | Frdric Lang, Radu Mateescu, Franco Mazzanti |
| 2018 | FMICS | Compositional Verification in Action. | Hubert Garavel, Frdric Lang, Laurent Mounier |
| 2015 | PDP | Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. | Hugues Evrard, Frdric Lang |
| 2014 | ICFEM | GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. | Fatma Jebali, Frdric Lang, Radu Mateescu |
| 2013 | FORTE | Formal Verification of Distributed Branching Multiway Synchronization Protocols. | Hugues Evrard, Frdric Lang |
| 2013 | IFM | Verification of EB | Dimitris Vekris, Frdric Lang, Catalin Dima, Radu Mateescu |
| 2012 | TACAS | Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. | Frdric Lang, Radu Mateescu |
| 2011 | FASE | Smart Reduction. | Pepijn Crouzen, Frdric Lang |
| 2011 | TACAS | CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. | Hubert Garavel, Frdric Lang, Radu Mateescu, Wendelin Serwe |
| 2010 | ISoLA | Ten Years of Performance Evaluation for Concurrent Systems Using CADP. | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frdric Lang, Radu Mateescu, Wendelin Serwe |
| 2009 | FM | Partial Order Reductions Using Compositional Confluence Detection. | Frdric Lang, Radu Mateescu |
| 2009 | IFM | Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. | Jan Stcker, Frdric Lang, Hubert Garavel |
| 2007 | CAV | CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. | Hubert Garavel, Radu Mateescu, Frdric Lang, Wendelin Serwe |
| 2007 | IFM | Translating FSP into LOTOS and Networks of Automata. | Gwen Salan, Jeff Kramer, Frdric Lang, Jeff Magee |
| 2006 | FORTE | Refined Interfaces for Compositional Verification. | Frdric Lang |
| 2005 | IFM | Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. | Frdric Lang |
| 2003 | CAV | Calculating-Confluence Compositionally. | Gordon J. Pace, Frdric Lang, Radu Mateescu |
| 2002 | CC | Compiler Construction Using LOTOS NT. | Hubert Garavel, Frdric Lang, Radu Mateescu |
| 2002 | FORTE | NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. | Hubert Garavel, Frdric Lang |
| 2002 | TACAS | Compositional Verification Using SVL Scripts. | Frdric Lang |
| 2001 | FORTE | SVL: A Scripting Language for Compositional Verification. | Hubert Garavel, Frdric Lang |
| 1999 | FM | A Framework for Defining Object-Calculi. | Frdric Lang, Pierre Lescanne, Luigi Liquori |