Travelled to:1 × Estonia
1 × Finland
1 × USA
1 × United Kingdom
2 × The Netherlands
3 × France
4 × Germany
Collaborated with:R.Mateescu H.Garavel ∅ H.Evrard P.Crouzen W.Serwe J.Stöcker G.J.Pace P.Lescanne L.Liquori D.Vekris C.Dima G.Salaün J.Kramer J.Magee
Talks about:use (5) composit (4) process (4) distribut (3) construct (3) partial (3) verif (3) cadp (3) confluenc (2) toolbox (2)
Person: Frédéric Lang
DBLP: Lang:Fr=eacute=d=eacute=ric
Contributed to:
2015
2013
2012
20112011
20092009
2007200720052003
200220021999Wrote 14 papers:
- PDP-2015-EvrardL #automation #code generation #concurrent #distributed #formal method #modelling #process
- Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes (HE, FL), pp. 459–466.
- IFM-2013-VekrisLDM #specification #using #verification
- Verification of EB3 Specifications Using CADP (DV, FL, CD, RM), pp. 61–76.
- TACAS-2012-LangM #equation #lts #model checking #network #using
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems (FL, RM), pp. 141–156.
- FASE-2011-CrouzenL #reduction
- Smart Reduction (PC, FL), pp. 111–126.
- TACAS-2011-GaravelLMS #analysis #distributed #process
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.
- FM-2009-LangM #composition #confluence #detection #partial order #reduction #using
- Partial Order Reductions Using Compositional Confluence Detection (FL, RM), pp. 157–172.
- IFM-2009-StockerLG #parallel #process #realtime
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (JS, FL, HG), pp. 88–102.
- CAV-2007-GaravelMLS #analysis #distributed #process
- CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes (HG, RM, FL, WS), pp. 158–163.
- IFM-2007-SalaunKLM #automaton #network
- Translating FSP into LOTOS and Networks of Automata (GS, JK, FL, JM), pp. 558–578.
- IFM-2005-Lang #composition #flexibility #on the fly #partial order #verification
- Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods (FL), pp. 70–88.
- CAV-2003-PaceLM
- Calculating-Confluence Compositionally (GJP, FL, RM), pp. 446–459.
- CC-2002-GaravelLM #compilation #using
- Compiler Construction Using LOTOS NT (HG, FL, RM), pp. 9–13.
- TACAS-2002-Lang #composition #using #verification
- Compositional Verification Using SVL Scripts (FL), pp. 465–469.
- FM-v2-1999-LangLL #calculus #framework
- A Framework for Defining Object-Calculi (FL, PL, LL), pp. 963–982.