Frédéric Lang

According to our database1, Frédéric Lang
  • authored at least 37 papers between 1999 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Verification of EB3 specifications using CADP.
Formal Asp. Comput., 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 EB3 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


  Loading...