Travelled to:1 × Canada
1 × Denmark
1 × Germany
1 × Singapore
1 × The Netherlands
1 × USA
Collaborated with:G.J.Veltink H.M.A.v.Beek L.M.G.Feijs N.Goga J.Tretmans J.C.M.Baeten A.Engels P.Kordy R.Langerak J.W.Polderman A.Belinfante J.Feenstra R.G.d.Vries L.Heerink
Talks about:test (4) internet (2) applic (2) introduct (1) algorithm (1) intellig (1) automata (1) specifi (1) network (1) heurist (1)
Person: Sjouke Mauw
DBLP: Mauw:Sjouke
Contributed to:
2014
2003
2002
20011999
1997
1991
1989Wrote 8 papers:
- FM-2014-KordyLMP #algorithm #analysis #automaton #robust
- A Symbolic Algorithm for the Analysis of Robust Timed Automata (PK, RL, SM, JWP), pp. 351–366.
- FATES-2003-BeekM #automation #consistency #internet #testing
- Automatic Conformance Testing of Internet Applications (HMAvB, SM), pp. 205–222.
- TestCom-2002-FeijsGMT #distance #heuristic #testing
- Test Selection, Trace Distance and Heuristics (LMGF, NG, SM, JT), pp. 267–282.
- SAC-2001-BaetenBM #internet #specification
- Specifying internet applications with DiCons (JCMB, HMAvB, SM), pp. 576–584.
- IWTCS-1999-BelinfanteFVTGFMH #automation #empirical #testing
- Formal Test Automation: A Simple Experiment (AB, JF, RGdV, JT, NG, LMGF, SM, LH), pp. 179–196.
- TACAS-1997-EngelsFM #generative #model checking #network #testing #using
- Test Generation for Intelligent Networks Using Model Checking (AE, LMGF, SM), pp. 384–398.
- CAV-1991-MauwV #proving
- A Proof Assistant for PSF (SM, GJV), pp. 158–168.
- CCIPL-1989-MauwV
- An Introduction to PSFd (SM, GJV), pp. 272–285.