Frédéric Lang

Available identifiers

zbMath Open lang.fredericWikidataQ102330187 ScholiaQ102330187MaRDI QIDQ282107

List of research outcomes

Publication	Date of Publication	Type
Equivalence checking 40 years after: a review of bisimulation tools	2023-07-26	Paper
From LOTOS to LNT	2022-11-09	Paper
Compositional verification of concurrent systems by combining bisimulations	2022-06-20	Paper
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities	2021-11-10	Paper
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous	2017-03-20	Paper
Formal modelling and verification of GALS systems using GRL and CADP	2016-09-20	Paper
Verification of \(\mathrm{EB}^3\) specifications using CADP	2016-05-12	Paper
Compositional verification of asynchronous concurrent systems using CADP	2015-06-24	Paper
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems	2013-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q2848119	2013-09-25	Paper
On explicit substitution with names	2013-08-01	Paper
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems	2012-06-29	Paper
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes	2011-05-19	Paper
Translating FSP into LOTOS and networks of automata	2010-12-17	Paper
Computer Aided Verification	2010-04-20	Paper
Refined Interfaces for Compositional Verification	2009-03-11	Paper
Translating FSP into LOTOS and Networks of Automata	2009-03-06	Paper
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format	2009-02-24	Paper
Explaining the lazy Krivine machine using explicit substitution and addresses	2007-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4738368	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472262	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4422085	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4506396	2000-09-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Frédéric Lang