# Frédéric Lang

According to our database

Collaborative distances:

^{1}, Frédéric Lang authored at least 37 papers between 1999 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Compositional Verification in Action.

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.

J. Log. Algebr. Meth. Program., 2017

The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking.

Proceedings of the Modeling and Using Context, 2017

From LOTOS to LNT.

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014).

Sci. Comput. Program., 2016

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

Formal Asp. Comput., 2016

2015

Compositional verification of asynchronous concurrent systems using CADP.

Acta Inf., 2015

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

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

2014

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

Proceedings of the Formal Methods and Software Engineering, 2014

2013

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

STTT, 2013

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

Logical Methods in Computer Science, 2013

Composition and abstraction of logical regulatory modules: application to multicellular systems.

Bioinformatics, 2013

Verification of EB

^{3}Specifications Using CADP.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Formal Verification of Distributed Branching Multiway Synchronization Protocols.

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

On Explicit Substitution with Names.

J. Autom. Reasoning, 2012

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

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.

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

Smart Reduction.

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Translating FSP into LOTOS and networks of automata.

Formal Asp. Comput., 2010

Ten Years of Performance Evaluation for Concurrent Systems Using CADP.

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

2009

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

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

Partial Order Reductions Using Compositional Confluence Detection.

Proceedings of the FM 2009: Formal Methods, 2009

2008

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

ERCIM News, 2008

2007

Explaining the lazy Krivine machine using explicit substitution and addresses.

Higher-Order and Symbolic Computation, 2007

Translating FSP into LOTOS and Networks of Automata.

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

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

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

2006

Refined Interfaces for Compositional Verification.

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

2005

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

Electr. Notes Theor. Comput. Sci., 2005

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

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

2003

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

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

Calculating-Confluence Compositionally.

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

2002

Compositional Verification Using SVL Scripts.

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.

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

Compiler Construction Using LOTOS NT.

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

2001

SVL: A Scripting Language for Compositional Verification.

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

2000

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

Journal of Functional and Logic Programming, 2000

1999

A Framework for Defining Object-Calculi.

Proceedings of the FM'99 - Formal Methods, 1999