• 97 Citations
19972019
If you made any changes in Pure these will be visible here soon.

Personal profile

Research profile

Albert Theo Hofkamp was born on the 25th of July, 1967 in Leeuwarden. In 1985, he finished the atheneum in Leeuwarden, followed by a study in Electrical Engineering, which was successfully finished in 1989. After serving in the Army, he studied Computer Science at the University of Twente from 1991 to 1995. He graduated within the Tools Group of TIOS (Tele-Informatics and Open Systems) on the subject A static semantics checker for LOTOS, and wrote lcr. After graduating, he continued with the OOTI programme (Postgraduate designer course Software Technology) at the Eindhoven University of Technology (TUE). The final project Data modeling in Chi for this programme was done at the department of Mechanical Engineering, with the Systems Engineering Group at the same university. In December 1997, he started his PhD project on the design of real-time systems.

Research Output 1997 2019

Finite response and confluence of state-based supervisory controllers

Reijnen, F., Hofkamp, A., van de Mortel - Fronczak, A., Reniers, M. & Rooda, K., Aug 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 22-26 August, Vancouver, BC, Canada. Piscataway: Institute of Electrical and Electronics Engineers, p. 509-516 8 p.

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

Supervisory personnel
Controllers
Finite automata
3 Citations (Scopus)

Decomposition analysis of the multidisciplinary coupling in LED System-in-Package design using a DSM and a specification language

Borst, de, E. C. M., Etman, L. F. P., Gielen, A. W. J., Hofkamp, A. T. & Rooda, J. E., 1 Jun 2016, In : Structural and Multidisciplinary Optimization. 53, 6, p. 1395–1411 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Specification languages
Specification Languages
Light emitting diodes
Decomposition
Decompose
30 Citations (Scopus)

CIF 3 : model-based engineering of supervisory controllers

Beek, van, D. A., Fokkink, W. J., Hendriks, D., Hofkamp, A. T., Markovski, J., Mortel - Fronczak, van de, J. M. & Reniers, M. A., 2014, Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (eds.). Berlin: Springer, p. 575-580 (Lecture Notes in Computer Science; vol. 8413)

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

Controllers
Interchanges
Visualization
Testing
Code generation

Decomposition-based analysis of the multi-physical coupling structure in LED System-in-Package design

Borst, de, E. C. M., Etman, L. F. P., Gielen, A. W. J., Hofkamp, A. T. & Rooda, J. E., 2013, 10th World Congress on Structural and Multidisciplinary Optimization (WCSMO), 19-24 May 2013, Orlando, Florida.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
5 Citations (Scopus)

Assessing the quality of model-comparison tools: a method and a benchmark data set

Brand, van den, M. G. J., Hofkamp, A. T., Verhoeff, T. & Protic, Z., 2011, Proceedings of the 2nd International Workshop on Model Comparison in Practice (IWMCP 2011) June 30, 2011; held in conjunction with TOOLS 2011 , Zurich, Switzerland. New York NY: Association for Computing Machinery, Inc, p. 2-11

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

Software engineering
Experiments

Courses

Model-based systems engineering

1/09/13 → …

Course

Student theses

From simulation using Chi to implementation using VxWorks: a case: the paint factory

Author: van Duin, M., 31 Jan 2000

Supervisor: Rooda, J. (Supervisor 1), van Rooy, H. (Supervisor 2) & Hofkamp, A. (Supervisor 2)

Student thesis: Master

Functionality of graphical user interfaces for machine control

Author: Chalaby, O., 31 Aug 2002

Supervisor: Rooda, J. (Supervisor 1), van Rooy, H. (Supervisor 2) & Hofkamp, A. (Supervisor 2)

Student thesis: Master

Visualization of industrial systems with virtual reality

Author: van Bree, M., 7 Apr 2004

Supervisor: Rooda, J. (Supervisor 1) & Hofkamp, A. (Supervisor 2)

Student thesis: Master