Browsing by Author "Wijs, Anton"

Now showing 1 - 2 of 2

Dependency safety for Java - Implementing and testing failboxes

Zhang, Dan
;
Bosnacki, Dragan
;
van den Brand, Mark
;
Huizing, Cornelis
;
Jacobs, Bart
;
Kuiper, Ruurd
Journal article
2019, Science of Computer Programming, 184, p.102316
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

Zhang, D.
;
Bonacki, Dragan
;
van den Brand, M.
;
Huizing, Cornelus
;
Jacobs, Bart
;
Kuiper, Roel
Proceedings paper
2017, MODELSWARD 2016: Model-Driven Engineering and Software Development, 19/02/2016, p.249-273