dr. A.H. Mader (Angelika)

Universitair docent


Model Checking
Programmable Logic Controllers
Packet Loss
Embedded Systems


Recente Artikelen
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

Pure Link



Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 2031
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie


Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  2031
Postbus 217
7500 AE Enschede