BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Serwe:Wendelin

Contributed to:

TACAS 20152015
TACAS 20112011
CAV 20092009
FM 20082008
CAV 20072007
IFM 20052005
PPDP 20032003
CL 20002000

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.