A Framework for Defining Object-Calculi. - Frédéric Lang; Pierre Lescanne; Luigi Liquori (World Congress on Formal Methods, 1999)

On Strong Normalization of Explicit Substitution Calculi (Short Note). - Frédéric Lang; Pierre Lescanne (J. Funct. Log. Program., 2000)

SVL: A Scripting Language for Compositional Verification. - Hubert Garavel; Frédéric Lang (FORTE, 2001)

Compiler Construction Using LOTOS NT. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001 (CC, 2002)

NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. - Hubert Garavel; Frédéric Lang (FORTE, 2002)

Compositional Verification Using SVL Scripts. - Frédéric Lang (TACAS, 2002)

Calculating-Confluence Compositionally. - Gordon J. Pace; Frédéric Lang; Radu Mateescu 001 (CAV, 2003)

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. - Frederic Tronel; Frédéric Lang; Hubert Garavel (FMOODS, 2003)

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. - Daniel J. Dougherty; Pierre Lescanne; Luigi Liquori; Frédéric Lang (TERMGRAPH, 2004)

Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. - Frédéric Lang (IFM, 2005)

Refined Interfaces for Compositional Verification. - Frédéric Lang (FORTE, 2006)

CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. - Hubert Garavel; Radu Mateescu 001; Frédéric Lang; Wendelin Serwe (CAV, 2007)

Translating FSP into LOTOS and Networks of Automata. - Gwen Salaün; Jeff Kramer; Frédéric Lang; Jeff Magee (IFM, 2007)

Explaining the lazy Krivine machine using explicit substitution and addresses. - Frédéric Lang (High. Order Symb. Comput., 2007)

Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. - Bernard Berthomieu; Hubert Garavel; Frédéric Lang; François Vernadat 001 (ERCIM News, 2008)

Partial Order Reductions Using Compositional Confluence Detection. - Frédéric Lang; Radu Mateescu 001 (FM, 2009)

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. - Jan Stöcker; Frédéric Lang; Hubert Garavel (IFM, 2009)

Ten Years of Performance Evaluation for Concurrent Systems Using CADP. - Nicolas Coste; Hubert Garavel; Holger Hermanns; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (ISoLA (2), 2010)

Translating FSP into LOTOS and networks of automata. - Frédéric Lang; Gwen Salaün; Rémi Hérilier; Jeff Kramer; Jeff Magee (Formal Aspects Comput., 2010)

Smart Reduction. - Pepijn Crouzen; Frédéric Lang (FASE, 2011)

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (TACAS, 2011)

Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. - Frédéric Lang; Radu Mateescu 001 (TACAS, 2012)

On Explicit Substitution with Names. - Kristoffer Høgsbro Rose; Roel Bloo; Frédéric Lang (J. Autom. Reason., 2012)

Formal Verification of Distributed Branching Multiway Synchronization Protocols. - Hugues Evrard; Frédéric Lang (FMOODS/FORTE, 2013)

Composition and abstraction of logical regulatory modules: application to multicellular systems. - Nuno D. Mendes; Frédéric Lang; Yves-Stan Le Cornec; Radu Mateescu 001; Grégory Batt; Claudine Chaouiya (Bioinform., 2013)

Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems. - Frédéric Lang; Radu Mateescu 001 (Log. Methods Comput. Sci., 2013)

CADP 2011: a toolbox for the construction and analysis of distributed processes. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (Int. J. Softw. Tools Technol. Transf., 2013)

GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. - Fatma Jebali; Frédéric Lang; Radu Mateescu 001 (ICFEM, 2014)

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. - Hugues Evrard; Frédéric Lang (PDP, 2015)

Compositional verification of asynchronous concurrent systems using CADP. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001 (Acta Informatica, 2015)

Formal modelling and verification of GALS systems using GRL and CADP. - Fatma Jebali; Frédéric Lang; Radu Mateescu 001 (Formal Aspects Comput., 2016)

Verification of EB3 specifications using CADP. - Dimitris Vekris; Frédéric Lang; Catalin Dima; Radu Mateescu 001 (Formal Aspects Comput., 2016)

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). - Frédéric Lang; Francesco Flammini (Sci. Comput. Program., 2016)

From LOTOS to LNT. - Hubert Garavel; Frédéric Lang; Wendelin Serwe (ModelEd, TestEd, TrustEd, 2017)

The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking. - Paula Lago; Frédéric Lang; Claudia Roncancio; Claudia Jiménez-Guarín; Radu Mateescu 001; Nicolas Bonnefond (CONTEXT, 2017)

Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous. - Hugues Evrard; Frédéric Lang (J. Log. Algebraic Methods Program., 2017)

Compositional Verification in Action. - Hubert Garavel; Frédéric Lang; Laurent Mounier (FMICS, 2018)

Combining SLiVER with CADP to Analyze Multi-agent Systems. - Luca Di Stefano 001; Frédéric Lang; Wendelin Serwe (COORDINATION, 2020)

Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. - Frédéric Lang; Radu Mateescu 001; Franco Mazzanti (TACAS (2), 2020)

Compositional model checking with divergence preserving branching bisimilarity is lively. - Sander de Putter; Frédéric Lang; Anton Wijs (Sci. Comput. Program., 2020)

Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. - Luca Di Stefano 001; Frédéric Lang (ISoLA, 2021)

Is CADP an Applicable Formal Method? - Hubert Garavel; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (AppFM@FM, 2021)

Compositional verification of concurrent systems by combining bisimulations. - Frédéric Lang; Radu Mateescu 001; Franco Mazzanti (Formal Methods Syst. Des., 2021)

Equivalence Checking 40 Years After: A Review of Bisimulation Tools. - Hubert Garavel; Frédéric Lang (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Compositional Verification of Stigmergic Collective Systems. - Luca Di Stefano 001; Frédéric Lang (VMCAI, 2023)

Compositional verification of priority systems using sharp bisimulation. - Luca Di Stefano 001; Frédéric Lang (Formal Methods Syst. Des., 2024)

GIVUP: Automated Generation and Verification of Textual Process Descriptions. - Quentin Nivon; Gwen Salaün; Frédéric Lang (SIGSOFT FSE Companion, 2025)