Travelled to:
1 × Italy
1 × Portugal
1 × Spain
1 × USA
Collaborated with:
F.S.d.Boer P.Y.H.Wong E.B.Johnsen J.Rot R.Bubel R.Hähnle
Talks about:
time (3) run (3) check (2) java (2) case (2) protocol (1) properti (1) industri (1) program (1) monitor (1)
Person: Stijn de Gouw
DBLP: Gouw:Stijn_de
Contributed to:
Wrote 4 papers:
- CAV-2015-GouwRBBH #java
- OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case (SdG, JR, FSdB, RB, RH), pp. 273–289.
- SFM-2014-BoerG #monitoring #runtime
- Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.
- SAC-2013-GouwBJW #case study #industrial #java #runtime #source code
- Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study (SdG, FSdB, EBJ, PYHW), pp. 1573–1578.
- SEFM-2013-BoerGW #runtime #verification
- Run-Time Verification of Coboxes (FSdB, SdG, PYHW), pp. 259–273.