dr. A.H. Mader (Angelika)

Assistant Professor


Model Checking
Programmable Logic Controllers
Embedded Systems


Recent Articles
Mader, A. H., Reidsma, D. (Ed.), Dertien, E. C., Volpe, G. (Ed.), Kolkmeier, J., Camurri, A. (Ed.), ... Nijholt, A. (Ed.) (2015). Single Value Devices. International journal of arts and technology, 8(3), 249-277. DOI: 10.1504/IJART.2015.071209
Bohemia, E. (Ed.), Mader, A. H., Eger, A. O. (Ed.), Dertien, E. C., Eggink, W. (Ed.), Parkinson, B. (Ed.), ... Kovacevic, A. (Ed.) (2014). How to educate for creativity in creative technology?. 562-567. Paper presented at 16th International Conference on Engineering and Product Design, Enschede, Netherlands.
Mader, A. H., Reidsma, D., & Dertien, E. C. (2014). Single value devices. In Schnittstellen, Die Gegenwart des Abwesenden (pp. 65-87). (Schriftenreihe der Isa Lohmann-Siems Stiftung). Berlin: Reimer Verlag GmbH, Berlin.
Mader, A. H., & Eggink, W. (2014). A Design Process for Creative Technology. In E. Bohemia, A. Eger, W. Eggink, A. Kovacevic, B. Parkinson, & W. Wits (Eds.), Proceedings of the 16th International conference on Engineering and Product Design, E&PDE 2014 (pp. 568-573). (E&PDE). Bristol, UK: The Design Society.
Marincic, J., Mader, A. H., & Wieringa, R. J. (2012). Explaining Embedded Software Modelling Decisions. In IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012 (pp. 80-89). USA: IEEE Computer Society. DOI: 10.1109/SWSTE.2012.18
Dertien, E. C., Dijkstra, J., & Mader, A. H. (2012). Making a Toy Educative Using Electronics. In A. Nijholt, T. Romao, & D. Reidsma (Eds.), 9th International Conference on Advances in Computer Entertainment, ACE 2012 (pp. 477-480). (Lecture Notes in Computer Science; Vol. 7624). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-34292-9_39
Oguz, O., Broenink, J. F., & Mader, A. H. (2012). Schedulability analysis of timed CSP models using the PAT model checker. In P. H. Welch, F. R. M. Barnes, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2012 (pp. 65-88). Bicester: Open Channel Publishing Ltd.
Mader, A. H., Dertien, E. C., & Reidsma, D. (2012). Single Value Devices. In A. Camurri, & C. Costa (Eds.), Proceedings of the 4th International ICST Conference on Intelligent Technologies for Interactive Entertainment (INTETAIN 2011), Revised Selected Papers (pp. 38-47). (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Vol. 78). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-30214-5, 10.1007/978-3-642-30214-5_5

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 2031
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  2031
P.O. Box 217
7500 AE Enschede
The Netherlands