Assistant Professor
Kees Huizing
Department
Mathematics and Computer Science
Group
Engineering of Software-Intensive Systems
Recent Publications
-
Dan Zhang,Dragan Bošnački,Mark van den Brand,Cornelis Huizing,Bart Jacobs,Ruurd Kuiper,Anton Wijs
Dependency safety for Java
Science of Computer Programming (2019) -
Dan Zhang,Dragan Bosnacki,Mark van den Brand,Cornelis Huizing,Bart Jacobs,Ruurd Kuiper,Anton Wijs
Dependency safety for Java - Implementing and testing failboxes
Science of Computer Programming (2019) -
A. Bijlsma,C. Huizing,R. Kuiper,H.J.M. Passier,H.J. Pootjes,J.E.W. Smetsers
A structured design methodology for concurrent programming
6th Computer Science Education Research Conference, (CSERC2017) (2017) -
D. Zhang,D. Bošnački,M.G.J. van den Brand,C. Huizing,B. Jacobs,R. Kuiper,A. Wijs
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), February 19-21, 2016, Rome, Italy (2017) -
D. Bosnacki,M.G.J. van den Brand,P.E.J.G. Denissen,C. Huizing,B. Jacobs,R. Kuiper,A.J. Wijs,D. Zhang
Dependency safety for Java - implementing failboxes
PPPJ '16 - 13th International Conference on Principles and Practices of Programming on the Java Platform: virtual machines, languages, and tools (2016)
Ancillary Activities
No ancillary activities