Albert T. Hofkamp

According to our database, Albert T. Hofkamp authored at least 9 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.

Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2020

The Road Ahead for Supervisor Synthesis.

Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

2019

Tech United Eindhoven @Home 2019 Champions Paper.

Mathijs F. B. van der Burgh, J. J. M. Lunenburg, Rein P. W. Appeldoorn, Loy L. A. M. van Beek, Josja Geijsberts, Lars G. L. Janssen, Peter van Dooren, H. W. A. M. van Rooy, Arpit Aggarwal, S. Aleksandrov, K. Dang, Albert T. Hofkamp, D. van Dinther, M. J. G. van de Molengraft

Proceedings of the RoboCup 2019: Robot World Cup XXIII [Sydney, 2019

Finite Response and Confluence of State-based Supervisory Controllers.

Ferdie F. H. Reijnen, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2014

CIF 3: Model-Based Engineering of Supervisory Controllers.

D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2011

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

Mark van den Brand, Albert T. Hofkamp, Tom Verhoeff, Zvezdan Protic

Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011

2010

Nonconflict check by using sequential automaton abstractions based on weak observation equivalence.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp

Autom., 2010

Formally specified type checkers for domain specific languages: experience report.

Mark van den Brand, Arjan P. van der Meer, Alexander Serebrenik, Albert T. Hofkamp

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009

Efficient nonconflict check by using automaton abstractions.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp

Proceedings of the 10th European Control Conference, 2009