Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Ruurd Kuiper actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 1 Soortgelijke profielen

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

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 okt 2019, In : Science of Computer Programming. 184, 22 blz., 102316.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 2 Citaten (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, blz. 1-9 9 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1 Citaat (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. (redactie). Springer, blz. 249-273 25 blz. (Communications in Computer and Information Science; vol. 692).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2 Citaten (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 blz. 15

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Downloads (Pure)

    Cursussen

    App Programming

    1/09/1231/08/20

    Cursus

    CSE - Software Science

    1/09/15 → …

    Cursus

    Programming

    1/09/12 → …

    Cursus

    Programming

    1/09/15 → …

    Cursus

    Scriptie

    A formal language for cognitive agent models

    Auteur: Hendriks, M., 30 nov 2010

    Begeleider: Kuiper, R. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    A proof system for object oriented programming using separation logic

    Auteur: Middelkoop, R., 30 nov 2003

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

    Scriptie/masterproef: Master

    Bestand

    A relational approach to static semantic checking

    Auteur: van der Meer, A., 31 dec 2008

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

    Scriptie/masterproef: Master

    Bestand

    A timing model for an interactive animation

    Auteur: van den Broek, N., 31 aug 1998

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

    Scriptie/masterproef: Master

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

    Auteur: van Gogh, K., 31 aug 2005

    Begeleider: Kuiper, R. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand