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.

Semantics Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Synchronization Engineering & Materials Science
Visualization Engineering & Materials Science
Specifications Engineering & Materials Science
Turing machines Engineering & Materials Science
Specification languages Engineering & Materials Science
Object oriented programming Engineering & Materials Science

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

Research Output 1986 2019

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

Testing
Scheduling

Robocoach : a scalable solution to support teachers and students using email and chatbot

Dashnyam, M., 24 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 65 p.

Research output: ThesisPd Eng ThesisAcademic

Open Access
File

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

Students
Feedback
Apprentices
Textbooks
Distance education
2 Citations (Scopus)

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

Specifications
Semantics

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

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