Projects per year
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.
Fingerprint
Dive into the research topics where Albert T. Hofkamp is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 2 Active
-
24MKB008 SCS4AI "AI-gestuurde Softwareontwikkeling met Formeel GeverifieerdeResultaten voor Kritieke Systemen"
Reniers, M. A. (Project Manager), Hofkamp, A. T. (Project member) & Goorden, M. A. (Project member)
1/03/25 → 31/08/27
Project: Third tier
-
25MKB006 SEPIS "Systems Engineering for Physics Intensive Systems
Etman, L. F. P. (Project Manager) & Hofkamp, A. T. (Project member)
1/01/25 → 31/12/30
Project: Third tier
-
Bridging the gap between requirements engineering and systems architecting: the Elephant Specification Language
Wilschut, T. (Corresponding author), Hofkamp, A. T., Schuijbroek, T. J. L., Etman, L. F. P. & Rooda, J. E., 28 Oct 2024, In: Design Science. 10, 37 p., e25.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Link opens in a new tab Citations (Scopus)138 Downloads (Pure) -
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit
Fokkink, W. J., Goorden, M. A., Hendriks, D., Beek, D. A. V., Hofkamp, A. T., Reijnen, F. F. H., Etman, L. F. P., Moormann, L., Mortel-Fronczak, J. M. V. D., Reniers, M. A., Rooda, J. E., Sanden, L. J. V. D., Schiffelers, R. R. H., Thuijsman, S. B., Verbakel, J. J. & Vogel, J. A., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 44-52 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13994 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile10 Link opens in a new tab Citations (Scopus)191 Downloads (Pure) -
Derivation and Hardware-in-the-loop Testing for a Road Tunnel Controller
Moormann, L., Hofkamp, A. T., van de Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 2022, In: IFAC-PapersOnLine. 55, 28, p. 363-370 8 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)88 Downloads (Pure) -
The road ahead for supervisor synthesis
Goorden, M. A., Moormann, L., Reijnen, F. F. H., Verbakel, J. J., van Beek, D. A., Hofkamp, A. T., van de Mortel-Fronczak, J. M., Reniers, M. A., Fokkink, W. J., Rooda, J. E. & Etman, L. F. P., 24 Nov 2020, Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. Pang, J. & Zhang, L. (eds.). Springer, p. 1-16 16 p. (Lecture Notes in Computer Science (LNCS); vol. 12153)(Programming and Software Engineering (LNPSE); vol. 12153).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
4 Link opens in a new tab Citations (Scopus) -
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 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 509-516 8 p. 8843335Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
11 Link opens in a new tab Citations (Scopus)