If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Ruurd Kuiper is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Dependency safety for Java: implementing and testing failboxes

Zhang, D., Bošnački, D., van den Brand, M., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 1 Oct 2019, In : Science of Computer Programming. 184, 22 p., 102316.

Research output: Contribution to journalArticleAcademicpeer-review

  • Modular termination verification of single-threaded and multithreaded programs

    Jacobs, B., Bosnacki, D. & Kuiper, R., 1 Aug 2018, In : ACM Transactions on Programming Languages and Systems. 40, 3, A12.

    Research output: Contribution to journalArticleAcademicpeer-review

  • 2 Citations (Scopus)

    A structured design methodology for concurrent programming

    Bijlsma, A., Huizing, C., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, J. E. W., 14 Nov 2017, Proceedings CSERC 2017 - Computer Science Education Research Conference. Association for Computing Machinery, Inc, p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1 Citation (Scopus)
    8 Downloads (Pure)

    Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

    Zhang, D., Bošnački, D., van den Brand, M. G. J., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 2017, Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Revised Selected Papers. Hammoudi, S., Pires, L. F., Selic, B. & Desfray, P. (eds.). Springer, p. 249-273 25 p. (Communications in Computer and Information Science; vol. 692).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2 Citations (Scopus)
    2 Downloads (Pure)

    Dependency safety for Java - implementing failboxes

    Bosnacki, D., van den Brand, M. G. J., Denissen, P. E. J. G., Huizing, C., Jacobs, B., Kuiper, R., Wijs, A. J., Wiłkowski, M. & Zhang, D., 2016, PPPJ '16 Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York: Association for Computing Machinery, Inc, 6 p. 15

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Downloads (Pure)

    Courses

    App Programming

    1/09/1231/08/20

    Course

    CSE - Software Science

    1/09/15 → …

    Course

    Programming

    1/09/12 → …

    Course

    Programming

    1/09/15 → …

    Course

    Student theses

    A formal language for cognitive agent models

    Author: Hendriks, M., 30 Nov 2010

    Supervisor: Kuiper, R. (Supervisor 1)

    Student thesis: Master

    File

    A proof system for object oriented programming using separation logic

    Author: Middelkoop, R., 30 Nov 2003

    Supervisor: Huizing, C. (Supervisor 1) & Kuiper, R. (Supervisor 2)

    Student thesis: Master

    File

    A relational approach to static semantic checking

    Author: van der Meer, A., 31 Dec 2008

    Supervisor: Arnoldus, B. (. (Supervisor 1), van Geldrop - van Eijk, H. (Supervisor 2), van den Brand, M. (Supervisor 2) & Kuiper, R. (Supervisor 2)

    Student thesis: Master

    File

    A timing model for an interactive animation

    Author: van den Broek, N., 31 Aug 1998

    Supervisor: Huizing, C. (Supervisor 1), van de Wetering, H. (Supervisor 2) & Kuiper, R. (Supervisor 2)

    Student thesis: Master

    Consistency in ISpec specifications: interface role diagrams, sequence diagrams and inheritance

    Author: van Gogh, K., 31 Aug 2005

    Supervisor: Kuiper, R. (Supervisor 1)

    Student thesis: Master

    File