`Travelled to:`

1 × Finland

1 × France

1 × Sweden

1 × The Netherlands

2 × Germany

2 × United Kingdom

`Collaborated with:`

R.Echahed A.Kriouile H.Garavel F.Lang R.Mateescu O.Ponsini G.Salaün F.Prost N.Coste H.Hermanns E.Lantreibecq

`Talks about:`

process (6) model (3) distribut (2) construct (2) translat (2) toolbox (2) analysi (2) algebra (2) system (2) loto (2)

## Person: Wendelin Serwe

### DBLP: Serwe:Wendelin

### Contributed to:

### Wrote 8 papers:

- TACAS-2015-KriouileS #formal method #using #verification
- Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip (AK, WS), pp. 708–722.
- 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.
- CAV-2009-CosteHLS #composition #design #industrial #modelling #performance #predict #towards
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs (NC, HH, EL, WS), pp. 204–218.
- FM-2008-PonsiniS #modelling #semantics
- A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS (OP, WS), pp. 278–293.
- 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-2005-SalaunS #algebra #hardware #process #standard
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (GS, WS), pp. 287–306.
- PPDP-2003-EchahedPS #concurrent #process
- Statically assuring secrecy for dynamic concurrent processes (RE, FP, WS), pp. 91–101.
- CL-2000-EchahedS #declarative #mobile #process #programming
- Combining Mobile Processes and Declarative Programming (RE, WS), pp. 300–314.