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
Semantics Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Synchronization Engineering & Materials Science
Students Engineering & Materials Science
Visualization Engineering & Materials Science
Specifications Engineering & Materials Science
Feedback Engineering & Materials Science
Testing 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
8 Downloads (Pure)

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

Specifications
Semantics
5 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

2 Citations (Scopus)
2 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

Semantics
Specifications

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