Frédéric Lang

According to our database, Frédéric Lang authored at least 46 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Compositional verification of priority systems using sharp bisimulation.

Luca Di Stefano, Frédéric Lang

Formal Methods Syst. Des., June, 2024

2023

Compositional Verification of Stigmergic Collective Systems.

Luca Di Stefano, Frédéric Lang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2022

Equivalence Checking 40 Years After: A Review of Bisimulation Tools.

Hubert Garavel, Frédéric Lang

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Compositional verification of concurrent systems by combining bisimulations.

Frédéric Lang, Radu Mateescu, Franco Mazzanti

Formal Methods Syst. Des., 2021

Is CADP an Applicable Formal Method?

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

Verifying Temporal Properties of Stigmergic Collective Systems Using CADP.

Luca Di Stefano, Frédéric Lang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020

Compositional model checking with divergence preserving branching bisimilarity is lively.

Sander de Putter, Frédéric Lang, Anton Wijs

Sci. Comput. Program., 2020

Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities.

Frédéric Lang, Radu Mateescu, Franco Mazzanti

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Combining SLiVER with CADP to Analyze Multi-agent Systems.

Luca Di Stefano, Frédéric Lang, Wendelin Serwe

Proceedings of the Coordination Models and Languages, 2020

2018

Compositional Verification in Action.

Hubert Garavel, Frédéric Lang, Laurent Mounier

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

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

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, Nicolas Bonnefond

Proceedings of the Modeling and Using Context, 2017

From LOTOS to LNT.

Hubert Garavel, Frédéric Lang, Wendelin Serwe

Proceedings of the ModelEd, TestEd, TrustEd, 2017

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

Verification of EB³ specifications using CADP.

Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu

Formal Aspects Comput., 2016

Formal modelling and verification of GALS systems using GRL and CADP.

Fatma Jebali, Frédéric Lang, Radu Mateescu

Formal Aspects Comput., 2016

2015

Compositional verification of asynchronous concurrent systems using CADP.

Hubert Garavel, Frédéric Lang, Radu Mateescu

Acta Informatica, 2015

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.

Hugues Evrard, Frédéric Lang

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2014

GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems.

Fatma Jebali, Frédéric Lang, Radu Mateescu

Proceedings of the Formal Methods and Software Engineering, 2014

2013

CADP 2011: a toolbox for the construction and analysis of distributed processes.

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Int. J. Softw. Tools Technol. Transf., 2013

Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems.

Frédéric Lang, Radu Mateescu

Log. Methods Comput. Sci., 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, Grégory Batt, Claudine Chaouiya

Bioinform., 2013

Formal Verification of Distributed Branching Multiway Synchronization Protocols.

Hugues Evrard, Frédéric Lang

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

On Explicit Substitution with Names.

Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang

J. Autom. Reason., 2012

Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems.

Frédéric Lang, Radu Mateescu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Smart Reduction.

Pepijn Crouzen, Frédéric Lang

Proceedings of the Fundamental Approaches to Software Engineering, 2011

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

Ten Years of Performance Evaluation for Concurrent Systems Using CADP.

Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.

Jan Stöcker, Frédéric Lang, Hubert Garavel

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Partial Order Reductions Using Compositional Confluence Detection.

Frédéric Lang, Radu Mateescu

Proceedings of the FM 2009: Formal Methods, 2009

2008

Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.

Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat

ERCIM News, 2008

2007

Explaining the lazy Krivine machine using explicit substitution and addresses.

Frédéric Lang

High. Order Symb. Comput., 2007

Translating FSP into LOTOS and Networks of Automata.

Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.

Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Refined Interfaces for Compositional Verification.

Frédéric Lang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.

Frédéric Lang

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.

Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

2003

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.

Frederic Tronel, Frédéric Lang, Hubert Garavel

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Calculating-Confluence Compositionally.

Gordon J. Pace, Frédéric Lang, Radu Mateescu

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Compositional Verification Using SVL Scripts.

Frédéric Lang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

NTIF: A General Symbolic Model for Communicating Sequential Processes with Data.

Hubert Garavel, Frédéric Lang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

Compiler Construction Using LOTOS NT.

Hubert Garavel, Frédéric Lang, Radu Mateescu

Proceedings of the Compiler Construction, 11th International Conference, 2002

2001

SVL: A Scripting Language for Compositional Verification.

Hubert Garavel, Frédéric Lang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

On Strong Normalization of Explicit Substitution Calculi (Short Note).

Frédéric Lang, Pierre Lescanne

J. Funct. Log. Program., 2000

1999

A Framework for Defining Object-Calculi.

Frédéric Lang, Pierre Lescanne, Luigi Liquori

Proceedings of the FM'99 - Formal Methods, 1999