According to our database1, Frédéric Lang
Legend:Book In proceedings Article PhD thesis Other
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
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
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
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems.
Proceedings of the Formal Methods and Software Engineering, 2014
CADP 2011: a toolbox for the construction and analysis of distributed processes.
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.
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
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
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
Proceedings of the Fundamental Approaches to Software Engineering, 2011
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
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
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.
ERCIM News, 2008
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
Refined Interfaces for Compositional Verification.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
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
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
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
SVL: A Scripting Language for Compositional Verification.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
On Strong Normalization of Explicit Substitution Calculi (Short Note).
Journal of Functional and Logic Programming, 2000
A Framework for Defining Object-Calculi.
Proceedings of the FM'99 - Formal Methods, 1999