Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML. Kandziora, J., Huisman, M., Bockisch, C., & Zaharieva-Stojanovski, M. In Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, of FTfJP '15, pages 8:1–8:6, New York, NY, USA, 2015. ACM. Paper doi bibtex @inproceedings{Kandziora:2015:RAC:2786536.2786541,
author = {Kandziora, Jorne and Huisman, Marieke and Bockisch, Christoph and Zaharieva-Stojanovski, Marina},
title = {Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs},
series = {FTfJP '15},
year = {2015},
isbn = {978-1-4503-3656-7},
location = {Prague, Czech Republic},
pages = {8:1--8:6},
articleno = {8},
numpages = {6},
url = {http://doi.acm.org/10.1145/2786536.2786541},
doi = {10.1145/2786536.2786541},
acmid = {2786541},
publisher = {ACM},
address = {New York, NY, USA},
}
Downloads: 0
{"_id":"BHWvsJgwWtF5q8f8u","bibbaseid":"kandziora-huisman-bockisch-zaharievastojanovski-runtimeassertioncheckingofjmlannotationsinmultithreadedapplicationswitheopenjml-2015","authorIDs":["5d14be645b939dee01000058"],"author_short":["Kandziora, J.","Huisman, M.","Bockisch, C.","Zaharieva-Stojanovski, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kandziora"],"firstnames":["Jorne"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Bockisch"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Zaharieva-Stojanovski"],"firstnames":["Marina"],"suffixes":[]}],"title":"Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML","booktitle":"Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs","series":"FTfJP '15","year":"2015","isbn":"978-1-4503-3656-7","location":"Prague, Czech Republic","pages":"8:1–8:6","articleno":"8","numpages":"6","url":"http://doi.acm.org/10.1145/2786536.2786541","doi":"10.1145/2786536.2786541","acmid":"2786541","publisher":"ACM","address":"New York, NY, USA","bibtex":"@inproceedings{Kandziora:2015:RAC:2786536.2786541,\n author = {Kandziora, Jorne and Huisman, Marieke and Bockisch, Christoph and Zaharieva-Stojanovski, Marina},\n title = {Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML},\n booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs},\n series = {FTfJP '15},\n year = {2015},\n isbn = {978-1-4503-3656-7},\n location = {Prague, Czech Republic},\n pages = {8:1--8:6},\n articleno = {8},\n numpages = {6},\n url = {http://doi.acm.org/10.1145/2786536.2786541},\n doi = {10.1145/2786536.2786541},\n acmid = {2786541},\n publisher = {ACM},\n address = {New York, NY, USA},\n} \n\n","author_short":["Kandziora, J.","Huisman, M.","Bockisch, C.","Zaharieva-Stojanovski, M."],"key":"Kandziora:2015:RAC:2786536.2786541","id":"Kandziora:2015:RAC:2786536.2786541","bibbaseid":"kandziora-huisman-bockisch-zaharievastojanovski-runtimeassertioncheckingofjmlannotationsinmultithreadedapplicationswitheopenjml-2015","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2786536.2786541"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.053Z","downloads":0,"keywords":[],"search_terms":["run","time","assertion","checking","jml","annotations","multithreaded","applications","openjml","kandziora","huisman","bockisch","zaharieva-stojanovski"],"title":"Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML","year":2015,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}