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

Fingerprint Dive into the research topics where Cornelis (Kees) Huizing 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

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

    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., p. 578-588 11 p.

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

  • 2 Citations (Scopus)
    2 Downloads (Pure)

    Student theses

    Acoustical physical uncloneable functions

    Author: Vrijaldenhoven, S., 30 Nov 2004

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

    Student thesis: Master

    File

    An adaptive and scrutable math tutoring system

    Author: van Lankveld, G., 31 Aug 2017

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

    Student thesis: Master

    File

    An execution graph specification tool for DEDOS

    Author: van Leeuwen, J., 30 Jun 1998

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

    Student thesis: Master

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