Frédéric Lang

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 17

Top Topics

Concurrent Systems

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

Formal Methods Syst. Des.

J. Log. Algebraic Methods Program.

Publications

Luca Di Stefano, Frédéric Lang
Compositional verification of priority systems using sharp bisimulation. Formal Methods Syst. Des. 62 (1) (2024)
Luca Di Stefano, Frédéric Lang
Compositional Verification of Stigmergic Collective Systems. VMCAI (2023)
Hubert Garavel, Frédéric Lang
Equivalence Checking 40 Years After: A Review of Bisimulation Tools. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Compositional verification of concurrent systems by combining bisimulations. Formal Methods Syst. Des. 58 (1-2) (2021)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
Is CADP an Applicable Formal Method? AppFM@FM (2021)
Luca Di Stefano, Frédéric Lang
Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. ISoLA (2021)
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. TACAS (2) (2020)
Sander de Putter, Frédéric Lang, Anton Wijs
Compositional model checking with divergence preserving branching bisimilarity is lively. Sci. Comput. Program. 196 (2020)
Luca Di Stefano, Frédéric Lang, Wendelin Serwe
Combining SLiVER with CADP to Analyze Multi-agent Systems. COORDINATION (2020)
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Compositional Verification of Concurrent Systems by Combining Bisimulations. FM (2019)
Hubert Garavel, Frédéric Lang, Laurent Mounier
Compositional Verification in Action. FMICS (2018)
Hugues Evrard, Frédéric Lang
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous. J. Log. Algebraic Methods Program. 88 (2017)
Hubert Garavel, Frédéric Lang, Wendelin Serwe
From LOTOS to LNT. ModelEd, TestEd, TrustEd (2017)
Paula Lago, Frédéric Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, Nicolas Bonnefond
The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking. CONTEXT (2017)
Frédéric Lang, Francesco Flammini
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). Sci. Comput. Program. 118 (2016)
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
specifications using CADP. Formal Aspects Comput. 28 (1) (2016)
Fatma Jebali, Frédéric Lang, Radu Mateescu
Formal modelling and verification of GALS systems using GRL and CADP. Formal Aspects Comput. 28 (5) (2016)
Hubert Garavel, Frédéric Lang, Radu Mateescu
Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica 52 (4-5) (2015)
Hugues Evrard, Frédéric Lang
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. PDP (2015)
Fatma Jebali, Frédéric Lang, Radu Mateescu
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. ICFEM (2014)
Nuno D. Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinform. 29 (6) (2013)
Hugues Evrard, Frédéric Lang
Formal Verification of Distributed Branching Multiway Synchronization Protocols. FMOODS/FORTE (2013)
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
Specifications Using CADP. IFM (2013)
Frédéric Lang, Radu Mateescu
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems. Log. Methods Comput. Sci. 9 (4) (2013)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. 15 (2) (2013)
Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang
On Explicit Substitution with Names. J. Autom. Reason. 49 (2) (2012)
Frédéric Lang, Radu Mateescu
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. TACAS (2012)
Pepijn Crouzen, Frédéric Lang
Smart Reduction. FASE (2011)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS (2011)
Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) (2010)
Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee
Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. 22 (6) (2010)
Frédéric Lang, Radu Mateescu
Partial Order Reductions Using Compositional Confluence Detection. FM (2009)
Jan Stöcker, Frédéric Lang, Hubert Garavel
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. IFM (2009)
Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News 2008 (75) (2008)
Frédéric Lang
Explaining the lazy Krivine machine using explicit substitution and addresses. High. Order Symb. Comput. 20 (3) (2007)
Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV (2007)
Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
Translating FSP into LOTOS and Networks of Automata. IFM (2007)
Frédéric Lang
Refined Interfaces for Compositional Verification. FORTE (2006)
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Frédéric Lang
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. IFM (2005)
Frederic Tronel, Frédéric Lang, Hubert Garavel
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. FMOODS (2003)
Gordon J. Pace, Frédéric Lang, Radu Mateescu
Calculating-Confluence Compositionally. CAV (2003)
Hubert Garavel, Frédéric Lang
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. FORTE (2002)
Hubert Garavel, Frédéric Lang, Radu Mateescu
Compiler Construction Using LOTOS NT. CC (2002)
Frédéric Lang
Compositional Verification Using SVL Scripts. TACAS (2002)
Hubert Garavel, Frédéric Lang
SVL: A Scripting Language for Compositional Verification. FORTE (2001)
Frédéric Lang, Pierre Lescanne
On Strong Normalization of Explicit Substitution Calculi (Short Note). J. Funct. Log. Program. 2000 (7) (2000)
Frédéric Lang, Pierre Lescanne, Luigi Liquori
A Framework for Defining Object-Calculi. World Congress on Formal Methods (1999)