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: Willemse:Tim_A=_C=
Contributed to:
2015
2013
20112009
2007
2007200620042004
2017Wrote 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.