![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Angelika Mader
Person information
- affiliation: University of Twente, Enschede, Netherlands
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j8]Angelika Mader
, Edwin Dertien, Judith Weda
, Jan B. F. van Erp:
Tinkering with social touch technology. Frontiers Comput. Sci. 5 (2023) - [j7]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): 574-579 (2023) - [c24]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: 58:1-58:8 - 2022
- [c23]Judith Weda
, Dasha Kolesnyk
, Angelika Mader
, Jan B. F. van Erp:
Experiencing Touch by Technology. EuroHaptics 2022: 110-118 - 2021
- [c22]Ansgar Fehnker
, Angelika Mader
, Arthur Rump
:
Atelier - Tutor Moderated Comments in Programming Education. EC-TEL 2021: 379-383 - [c21]Arthur Rump
, Ansgar Fehnker
, Angelika Mader
:
Automated Assessment of Learning Objectives in Programming Assignments. ITS 2021: 299-309 - 2020
- [c20]Angelika Mader
, Ansgar Fehnker
, Edwin Dertien:
Tinkering in Informatics as Teaching Method. CSEDU (1) 2020: 450-457 - [c19]Ansgar Fehnker
, Angelika Mader
, Arthur Rump
, Margot Rutgers, Lotte Steenmeijer, Chris Witteveen:
Atelier: an online platform for programming tutorials. CSERC 2020: 15:1-15:2
2010 – 2019
- 2015
- [j6]Angelika Mader
, Edwin Dertien, Jan Kolkmeier, Dennis Reidsma
:
Single value devices. Int. J. Arts Technol. 8(3): 249-277 (2015) - 2013
- [j5]Jelena Marincic, Angelika Mader
, Roel J. Wieringa, Yan Lucas:
Reusing knowledge in embedded systems modelling. Expert Syst. J. Knowl. Eng. 30(3): 185-199 (2013) - 2012
- [c18]Edwin Dertien, Jelle Dijkstra, Angelika Mader
, Dennis Reidsma:
Making a Toy Educative Using Electronics. Advances in Computer Entertainment 2012: 477-480 - [c17]Jelena Marincic, Angelika Mader
, Roel J. Wieringa:
Explaining Embedded Software Modelling Decisions. SwSTE 2012: 80-89 - [c16]Oguzcan Oguz, Jan F. Broenink, Angelika Mader:
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. CPA 2012: 65-88 - 2011
- [c15]Angelika Mader
, Edwin Dertien, Dennis Reidsma
:
Single Value Devices. INTETAIN 2011: 38-47 - [c14]Jelena Marincic, Angelika Mader
, Roel J. Wieringa:
Validation of embedded system verification models. MoDRE 2011: 48-54 - 2010
- [j4]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): 305-318 (2010)
2000 – 2009
- 2008
- [c13]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: 67-73 - [c12]Jelena Marincic, Angelika Mader
, Roel J. Wieringa:
Classifying Assumptions Made during Requirements Verification of Embedded Systems. REFSQ 2008: 141-146 - 2007
- [j3]Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
:
Timed analysis of security protocols. J. Comput. Secur. 15(6): 619-645 (2007) - [c11]Ansgar Fehnker
, Lodewijk van Hoesel, Angelika Mader
:
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM 2007: 253-272 - [e1]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 2006
- [c10]Ferdy Hanssen, Angelika Mader
, Pierre G. Jansen:
Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. MASCOTS 2006: 239-246 - [i4]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006 - [i3]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006 - 2005
- [c9]Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
:
Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005 - [i2]Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader:
Timed Analysis of Security Protocols. CoRR abs/cs/0503036 (2005) - 2004
- [c8]Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
:
Timed model checking of security protocols. FMSE 2004: 23-32 - [c7]Henrik C. Bohnenkamp, Holger Hermanns
, Ric Klaren, Angelika Mader
, Yaroslav S. Usenko:
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST 2004: 28-37 - 2002
- [j2]Ed Brinksma, Angelika Mader
, Ansgar Fehnker
:
Verification and optimization of a PLC control schedule. Int. J. Softw. Tools Technol. Transf. 4(1): 21-33 (2002) - 2001
- [j1]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): 416-439 (2001) - 2000
- [c6]Ed Brinksma, Angelika Mader
:
Verification and Optimization of a PLC Control Schedule. SPIN 2000: 73-92
1990 – 1999
- 1999
- [c5]Angelika Mader
, Hanno Wupper:
Timed automaton models for simple programmable logic controllers. ECRTS 1999: 106-113 - 1998
- [c4]Henning Dierks, Ansgar Fehnker
, Angelika Mader
, Frits W. Vaandrager:
Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40 - 1997
- [b1]Angelika Mader:
Verification of modal properties using Boolean equation systems. Technical University Munich, Bertz 1997, ISBN 3-929470-58-6, pp. 1-172 - 1996
- [c3]Julian C. Bradfield, Javier Esparza
, Angelika Mader
:
An Effective Tableau System for the Linear Time µ-Calculus. ICALP 1996: 98-109 - 1995
- [c2]Angelika Mader
:
Modal µ-Calculus, Model Checking and Gauß Elimination. TACAS 1995: 72-88 - 1993
- [i1]Dieter Barnard, Angelika Mader:
Modal checking for the modal mu-calculus using Gauss elimination. Forschungsberichte, TU Munich TUM I 9325: 1-19 (1993) - 1992
- [c1]Angelika Mader
:
Tableau Recycling. CAV 1992: 330-342
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint