BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Estonia
1 × Germany
1 × Italy
1 × USA
1 × Uruguay
3 × United Kingdom
Collaborated with:
J.Tretmans L.Frantzen M.Gromov S.Cranen E.P.d.Vink W.Wesselink B.Luttik S.Orzan M.H.t.Beek N.Noroozi R.Khosravi M.R.Mousavi M.Oostdijk V.Rusu R.G.d.Vries J.F.Groote J.J.A.Keiren F.P.M.Stappers
Talks about:
test (5) model (3) base (3) techniqu (2) symbol (2) check (2) mcrl (2) parameteris (1) cryptograph (1) framework (1)

Person: Tim A. C. Willemse

DBLP DBLP: Willemse:Tim_A=_C=

Contributed to:

CSL 20152015
TACAS 20132013
SEFM 20112011
TACAS 20092009
IFM 20072007
TestCom/FATES 20072007
FATES/RV 20062006
FATES 20042004
IFM 20042004
FASE 20172017

Wrote 10 papers:

CSL-2015-CranenLW #fixpoint #logic
Evidence for Fixpoint Logic (SC, BL, TACW), pp. 78–93.
TACAS-2013-CranenGKSVWW #overview #tool support
An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.
SEFM-2011-NorooziKMW #consistency #testing
Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.
TACAS-2009-OrzanWW #equation #static analysis
Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.
IFM-2007-OostdijkRTVW #encryption #learning #protocol #testing #verification
Integrating Verification, Testing, and Learning for Cryptographic Protocols (MO, VR, JT, RGdV, TACW), pp. 538–557.
TestCom-FATES-2007-GromovW #model checking #testing
Testing and Model-Checking Techniques for Diagnosis (MG, TACW), pp. 138–154.
FATES-RV-2006-FrantzenTW #framework #modelling #testing
A Symbolic Framework for Model-Based Testing (LF, JT, TACW), pp. 40–54.
FATES-2004-FrantzenTW #generative #specification #testing
Test Generation Based on Symbolic Specifications (LF, JT, TACW), pp. 1–15.
IFM-2004-Willemse #algebra #automaton #hybrid #process
Embeddings of Hybrid Automata in Process Algebra (TACW), pp. 343–362.
FASE-2017-BeekVW #model checking
Family-Based Model Checking with mCRL2 (MHtB, EPdV, TACW), pp. 387–405.

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.