Assistant Professor
Kees Huizing
Department / Institute
Group
Engineering of Software-Intensive Systems
Recent Publications
-
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) -
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) -
A. Bijlsma,C. Huizing,R. Kuiper,H.J.M. Passier,H.J. Pootjes,J.E.W. Smetsers
A structured design methodology for concurrent programming
(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
(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
(2016)
Ancillary Activities
No ancillary activities