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 × 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 DBLP: Gouw:Stijn_de

Contributed to:

CAV 20152015
SFM 20142014
SAC 20132013
SEFM 20132013

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.

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.