• 146 Citaties
1986 …2019

Research output per year

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

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Cornelis (Kees) Huizing 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

  • 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

  • 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)

    Verification of atomicity preservation in model-to-code transformations using generic Java code

    Zhang, D., Bosnacki, D., Van Den Brand, M., Huizing, C., Kuiper, R., Jacobs, B. & Wijs, A., 2016, MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS-Science and Technology Publications, Lda., blz. 578-588 11 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2 Citaten (Scopus)
    2 Downloads (Pure)

    Cursussen

    App Programming

    1/09/1231/08/20

    Cursus

    Programming

    1/09/12 → …

    Cursus

    Programming

    1/09/15 → …

    Cursus

    Scriptie

    Acoustical physical uncloneable functions

    Auteur: Vrijaldenhoven, S., 30 nov 2004

    Begeleider: Aarts, R. (Afstudeerdocent 1), Huizing, C. (Afstudeerdocent 2) & de Vink, E. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand

    An adaptive and scrutable math tutoring system

    Auteur: van Lankveld, G., 31 aug 2017

    Begeleider: Stash, N. (Afstudeerdocent 1), De Bra, P. (Afstudeerdocent 2) & Huizing, C. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand

    An execution graph specification tool for DEDOS

    Auteur: van Leeuwen, J., 30 jun 1998

    Begeleider: Hammer, D. (Afstudeerdocent 1), Huizing, C. (Afstudeerdocent 2) & van Gorp, P. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    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 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