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:
20152011
2009
20082007
2005
2003
2000Wrote 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.