Concepedia

Frédéric Lang

FL

13

Publications

710

Citations

11

H-Index

2001

Active since

Affiliations

Centre Inria de l'Université Grenoble Alpes(Current)

Laboratoire d'Informatique de Grenoble

Institut national de recherche en sciences et technologies du numérique

Université Grenoble Alpes

Concurrent Technologies Corporation

Frédéric Lang is an author at Centre Inria de l'Université Grenoble Alpes specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

2001–2015

13

Publications

13

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

Hubert Garavel, Frédéric Lang, Radu Mateescu et al. · International Journal on Software Tools for Technology Transfer · 2012 · 271 citations · Full text

, , +18

An overview of CADP 2001

Hubert Garavel, Frédéric Lang, Radu Mateescu · 2001 · 151 citations · Full text

, , +28

Fiacre: an Intermediate Language for Model Verification in the TOPCASED Environment

Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 107 citations · Full text

CADP 2006: A toolbox for the construction and analysis of distributed processes

Hubert Garavel, Frédéric Lang, Radu Mateescu et al. · 2007 · 34 citations · Full text

Compositional verification of asynchronous concurrent systems using CADP

Hubert Garavel, Frédéric Lang, Radu Mateescu · Acta Informatica · 2015 · 33 citations

, , +11

Rows per page

1–5 of 13