Angelika Mader

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 8

Top Venues

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Abdallah El Ali, Ekaterina R. Stepanova, Shalvi Palande, Angelika Mader, Pablo César, Kaspar Jansen
BreatheWithMe: Exploring Visual and Vibrotactile Displays for Social Breath Awareness during Colocated, Collaborative Tasks. CHI Extended Abstracts (2023)
Judith Weda, Jan B. F. van Erp, Angelika Mader
The Effect of Actuation Speed on the Perception Threshold of a Squeezing Soft Actuator. IEEE Trans. Haptics 16 (4) (2023)
Angelika Mader, Edwin Dertien, Judith Weda, Jan B. F. van Erp
Tinkering with social touch technology. Frontiers Comput. Sci. 5 (2023)
Judith Weda, Dasha Kolesnyk, Angelika Mader, Jan B. F. van Erp
Experiencing Touch by Technology. EuroHaptics (2022)
Arthur Rump, Ansgar Fehnker, Angelika Mader
Automated Assessment of Learning Objectives in Programming Assignments. ITS (2021)
Ansgar Fehnker, Angelika Mader, Arthur Rump
Atelier - Tutor Moderated Comments in Programming Education. EC-TEL (2021)
Ansgar Fehnker, Angelika Mader, Arthur Rump, Margot Rutgers, Lotte Steenmeijer, Chris Witteveen
Atelier: an online platform for programming tutorials. CSERC (2020)
Angelika Mader, Ansgar Fehnker, Edwin Dertien
Tinkering in Informatics as Teaching Method. CSEDU (1) (2020)
Angelika Mader, Edwin Dertien, Jan Kolkmeier, Dennis Reidsma
Single value devices. Int. J. Arts Technol. 8 (3) (2015)
Jelena Marincic, Angelika Mader, Roel J. Wieringa, Yan Lucas
Reusing knowledge in embedded systems modelling. Expert Syst. J. Knowl. Eng. 30 (3) (2013)
Edwin Dertien, Jelle Dijkstra, Angelika Mader, Dennis Reidsma
Making a Toy Educative Using Electronics. Advances in Computer Entertainment (2012)
Oguzcan Oguz, Jan F. Broenink, Angelika Mader
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. CPA (2012)
Jelena Marincic, Angelika Mader, Roel J. Wieringa
Explaining Embedded Software Modelling Decisions. SwSTE (2012)
Jelena Marincic, Angelika Mader, Roel J. Wieringa
Validation of embedded system verification models. MoDRE (2011)
Angelika Mader, Edwin Dertien, Dennis Reidsma
Single Value Devices. INTETAIN (2011)
Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns
Synthesis and stochastic assessment of cost-optimal schedules. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Jelena Marincic, Angelika Mader, Roel J. Wieringa
Classifying Assumptions Made during Requirements Verification of Embedded Systems. REFSQ (2008)
Jelena Marincic, Angelika Mader, Hanno Wupper, Roel J. Wieringa
Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. IWAAPF@ICSE (2008)
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
Timed analysis of security protocols. J. Comput. Secur. 15 (6) (2007)
Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM (2007)
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS (2006)
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS (2006)
Ferdy Hanssen, Angelika Mader, Pierre G. Jansen
Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. MASCOTS (2006)
Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
Production Scheduling by Reachability Analysis - A Case Study. IPDPS (2005)
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
Timed Analysis of Security Protocols CoRR (2005)
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
Timed model checking of security protocols. FMSE (2004)
Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST (2004)
Ed Brinksma, Angelika Mader, Ansgar Fehnker
Verification and optimization of a PLC control schedule. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Angelika Mader, Ed Brinksma, Hanno Wupper, Nanette Bauer
Design of a PLC Control Program for a Batch Plant VHS Case Study. Eur. J. Control 7 (4) (2001)
Ed Brinksma, Angelika Mader
Verification and Optimization of a PLC Control Schedule. SPIN (2000)
Angelika Mader, Hanno Wupper
Timed automaton models for simple programmable logic controllers. ECRTS (1999)
Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager
Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT (1998)
Julian C. Bradfield, Javier Esparza, Angelika Mader
An Effective Tableau System for the Linear Time µ-Calculus. ICALP (1996)
Angelika Mader
Modal µ-Calculus, Model Checking and Gauß Elimination. TACAS (1995)
Dieter Barnard, Angelika Mader
Modal checking for the modal mu-calculus using Gauss elimination Forschungsberichte, TU Munich (1993)
Angelika Mader
Tableau Recycling. CAV (1992)

Angelika Mader.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Angelika Mader