Assistant Professor
Ruurd Kuiper
Department
Mathematics and Computer Science
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) -
Bart Jacobs,Dragan Bosnacki,Ruurd Kuiper
Modular termination verification of single-threaded and multithreaded programs
ACM Transactions on Programming Languages and Systems (2018) -
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)
Ancillary Activities
No ancillary activities