Angelika Mader

According to our database, Angelika Mader authored at least 38 papers between 1992 and 2024.

Collaborative distances:

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

2024

Perception Threshold for Pressure by a Soft Textile Actuator.

Judith Weda, Angelika Mader, Hamid Souri, Edwin Dertien, Jan B. F. van Erp

IEEE Trans. Haptics, 2024

Pressure Stimuli and Spatiotemporal Illusions on the Forearm.

Elisabet Henell, Judith Weda, Sophia Cedermalm, Linnéa Eklöv, Märta Håkansson, Jesper Nordström, Märit Reibring, Jonas Stålhand, Nils-Krister Persson, Angelika Mader, Jan B. F. van Erp, Edwin W. H. Jager

IEEE Trans. Haptics, 2024

2023

The Effect of Actuation Speed on the Perception Threshold of a Squeezing Soft Actuator.

Judith Weda, Jan B. F. van Erp, Angelika Mader

IEEE Trans. Haptics, 2023

Tinkering with social touch technology.

Angelika Mader, Edwin Dertien, Judith Weda, Jan B. F. van Erp

Frontiers Comput. Sci., 2023

BreatheWithMe: Exploring Visual and Vibrotactile Displays for Social Breath Awareness during Colocated, Collaborative Tasks.

Abdallah El Ali, Ekaterina R. Stepanova, Shalvi Palande, Angelika Mader, Pablo César, Kaspar Jansen

Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022

Experiencing Touch by Technology.

Judith Weda, Dasha Kolesnyk, Angelika Mader, Jan B. F. van Erp

Proceedings of the Haptics: Science, Technology, Applications, 2022

2021

Automated Assessment of Learning Objectives in Programming Assignments.

Arthur Rump, Ansgar Fehnker, Angelika Mader

Proceedings of the Intelligent Tutoring Systems - 17th International Conference, 2021

Atelier - Tutor Moderated Comments in Programming Education.

Ansgar Fehnker, Angelika Mader, Arthur Rump

Proceedings of the Technology-Enhanced Learning for a Free, Safe, and Sustainable World, 2021

2020

Atelier: an online platform for programming tutorials.

Ansgar Fehnker, Angelika Mader, Arthur Rump, Margot Rutgers, Lotte Steenmeijer, Chris Witteveen

Proceedings of the CSERC '20: the 9th Computer Science Education Research Conference, 2020

Tinkering in Informatics as Teaching Method.

Angelika Mader, Ansgar Fehnker, Edwin Dertien

Proceedings of the 12th International Conference on Computer Supported Education, 2020

2015

Single value devices.

Angelika Mader, Edwin Dertien, Jan Kolkmeier, Dennis Reidsma

Int. J. Arts Technol., 2015

2013

Reusing knowledge in embedded systems modelling.

Jelena Marincic, Angelika Mader, Roel J. Wieringa, Yan Lucas

Expert Syst. J. Knowl. Eng., 2013

2012

Schedulability Analysis of Timed CSP Models Using the PAT Model Checker.

Oguzcan Oguz, Jan F. Broenink, Angelika Mader

Proceedings of the 34th Communicating Process Architectures, 2012

Explaining Embedded Software Modelling Decisions.

Jelena Marincic, Angelika Mader, Roel J. Wieringa

Proceedings of the 2012 IEEE International Conference on Software Science, 2012

Making a Toy Educative Using Electronics.

Edwin Dertien, Jelle Dijkstra, Angelika Mader, Dennis Reidsma

Proceedings of the Advances in Computer Entertainment - 9th International Conference, 2012

2011

Validation of embedded system verification models.

Jelena Marincic, Angelika Mader, Roel J. Wieringa

Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011

Single Value Devices.

Angelika Mader, Edwin Dertien, Dennis Reidsma

Proceedings of the Intelligent Technologies for Interactive Entertainment, 2011

2010

Synthesis and stochastic assessment of cost-optimal schedules.

Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns

Int. J. Softw. Tools Technol. Transf., 2010

2008

Classifying Assumptions Made during Requirements Verification of Embedded Systems.

Jelena Marincic, Angelika Mader, Roel J. Wieringa

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2008

Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods.

Jelena Marincic, Angelika Mader, Hanno Wupper, Roel J. Wieringa

Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

2007

Timed analysis of security protocols.

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader

J. Comput. Secur., 2007

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.

Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal.

Ferdy Hanssen, Angelika Mader, Pierre G. Jansen

Proceedings of the 14th International Symposium on Modeling, 2006

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS).

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

06351 Summary -- Methods for Modelling Software Systems (MMOSS).

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005

Production Scheduling by Reachability Analysis - A Case Study.

Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

2004

Synthesis and Stochastic Assessment of Schedules for Lacquer Production.

Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Timed model checking of security protocols.

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader

Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, 2004

2002

Verification and optimization of a PLC control schedule.

Ed Brinksma, Angelika Mader, Ansgar Fehnker

Int. J. Softw. Tools Technol. Transf., 2002

2001

Design of a PLC Control Program for a Batch Plant VHS Case Study.

Angelika Mader, Ed Brinksma, Hanno Wupper, Nanette Bauer

Eur. J. Control, 2001

2000

Verification and Optimization of a PLC Control Schedule.

Ed Brinksma, Angelika Mader

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

1999

Timed automaton models for simple programmable logic controllers.

Angelika Mader, Hanno Wupper

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998

Operational and Logical Semantics for Polling Real-Time Systems.

Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

Verification of modal properties using Boolean equation systems.

Angelika Mader

PhD thesis, 1997

1996

An Effective Tableau System for the Linear Time µ-Calculus.

Julian C. Bradfield, Javier Esparza, Angelika Mader

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

1995

Modal µ-Calculus, Model Checking and Gauß Elimination.

Angelika Mader

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

1993

Modal checking for the modal mu-calculus using Gauss elimination

Dieter Barnard, Angelika Mader

Forschungsberichte, TU Munich, 1993

1992

Tableau Recycling.

Angelika Mader

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992