Angelika Mader

43 papers A* 3A 3B 6C 1Journal 12Unranked 16

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