Run-Time Checking Multi-threaded Java Programs

Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationSOFSEM 2016: Theory and Practice of Computer Science
Subtitle of host publication42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
EditorsRūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania
PublisherSpringer
Pages217-228
Number of pages12
ISBN (Electronic)978-3-662-49192-8
ISBN (Print)978-3-662-49191-1
DOIs
Publication statusPublished - 2016
Externally publishedYes
Event42nd International Conference on Current Trends in Theory and Practice of Computer Science - Harrachov, Czech Republic
Duration: 23 Jan 201628 Jan 2016
http://www.sofsem.cz/sofsem16/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9587
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameTheoretical Computer Science and General Issues
PublisherSpringer
Volume9587

Conference

Conference42nd International Conference on Current Trends in Theory and Practice of Computer Science
Abbreviated titleSOFSEM 2016
CountryCzech Republic
CityHarrachov
Period23/01/1628/01/16
Internet address

Cite this

Boer, F. S. D., & Gouw, S. D. (2016). Run-Time Checking Multi-threaded Java Programs. In R. M. Freivalds, G. Engels, & B. Catania (Eds.), SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings (pp. 217-228). (Lecture Notes in Computer Science; Vol. 9587), (Theoretical Computer Science and General Issues; Vol. 9587). Springer. https://doi.org/10.1007/978-3-662-49192-8_18
Boer, Frank S. de ; Gouw, Stijn de. / Run-Time Checking Multi-threaded Java Programs. SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. editor / Rūsiņš Mārtiņš Freivalds ; Gregor Engels ; Barbara Catania. Springer, 2016. pp. 217-228 (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues).
@inproceedings{262dac046fab4337b22e8aa75dc67949,
title = "Run-Time Checking Multi-threaded Java Programs",
author = "Boer, {Frank S. de} and Gouw, {Stijn de}",
year = "2016",
doi = "10.1007/978-3-662-49192-8_18",
language = "English",
isbn = "978-3-662-49191-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "217--228",
editor = "Freivalds, {Rūsiņš Mārtiņš} and Gregor Engels and Barbara Catania",
booktitle = "SOFSEM 2016: Theory and Practice of Computer Science",

}

Boer, FSD & Gouw, SD 2016, Run-Time Checking Multi-threaded Java Programs. in RM Freivalds, G Engels & B Catania (eds), SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9587, Theoretical Computer Science and General Issues, vol. 9587, Springer, pp. 217-228, 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, 23/01/16. https://doi.org/10.1007/978-3-662-49192-8_18

Run-Time Checking Multi-threaded Java Programs. / Boer, Frank S. de; Gouw, Stijn de.

SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. ed. / Rūsiņš Mārtiņš Freivalds; Gregor Engels; Barbara Catania. Springer, 2016. p. 217-228 (Lecture Notes in Computer Science; Vol. 9587), (Theoretical Computer Science and General Issues; Vol. 9587).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

TY - GEN

T1 - Run-Time Checking Multi-threaded Java Programs

AU - Boer, Frank S. de

AU - Gouw, Stijn de

PY - 2016

Y1 - 2016

UR - https://link.springer.com/book/10.1007/978-3-662-49192-8

U2 - 10.1007/978-3-662-49192-8_18

DO - 10.1007/978-3-662-49192-8_18

M3 - Conference article in proceeding

SN - 978-3-662-49191-1

T3 - Lecture Notes in Computer Science

SP - 217

EP - 228

BT - SOFSEM 2016: Theory and Practice of Computer Science

A2 - Freivalds, Rūsiņš Mārtiņš

A2 - Engels, Gregor

A2 - Catania, Barbara

PB - Springer

ER -

Boer FSD, Gouw SD. Run-Time Checking Multi-threaded Java Programs. In Freivalds RM, Engels G, Catania B, editors, SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Springer. 2016. p. 217-228. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues). https://doi.org/10.1007/978-3-662-49192-8_18