Assistant Professor
Kees Huizing
Department / Institute
Group
Engineering of Software-Intensive Systems
Recent Publications
-
Dependency safety for Java
Science of Computer Programming (2019) -
Dependency safety for Java - Implementing and testing failboxes
Science of Computer Programming (2019) -
A structured design methodology for concurrent programming
(2017) -
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
(2017) -
Dependency safety for Java - implementing failboxes
(2016)
Ancillary Activities
No ancillary activities