default search action

combined dblp search
author search
venue search
publication search

ask others

Angelika Mader

> Home > Persons

Person information

affiliation: University of Twente, Enschede, Netherlands

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fcomp/MaderDWE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcomp/MaderDWE23
Angelika Mader, Edwin Dertien, Judith Weda, Jan B. F. van Erp:
Tinkering with social touch technology. Frontiers Comput. Sci. 5 (2023)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/toh/WedaEM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toh/WedaEM23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/AliSPMCJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/AliSPMCJ23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/eurohaptics/WedaKME22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurohaptics/WedaKME22
Judith Weda, Dasha Kolesnyk, Angelika Mader, Jan B. F. van Erp:
Experiencing Touch by Technology. EuroHaptics 2022: 110-118
2021
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/FehnkerMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/FehnkerMR21
Ansgar Fehnker, Angelika Mader, Arthur Rump:
Atelier - Tutor Moderated Comments in Programming Education. EC-TEL 2021: 379-383
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/its/RumpFM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/its/RumpFM21
Arthur Rump, Ansgar Fehnker, Angelika Mader:
Automated Assessment of Learning Objectives in Programming Assignments. ITS 2021: 299-309
2020
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/MaderFD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/MaderFD20
Angelika Mader, Ansgar Fehnker, Edwin Dertien:
Tinkering in Informatics as Teaching Method. CSEDU (1) 2020: 450-457
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cserc/FehnkerMRRSW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cserc/FehnkerMRRSW20
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

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijart/MaderDKR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijart/MaderDKR15
Angelika Mader, Edwin Dertien, Jan Kolkmeier, Dennis Reidsma:
Single value devices. Int. J. Arts Technol. 8(3): 249-277 (2015)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/es/MarincicMWL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/es/MarincicMWL13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ACMace/DertienDMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACMace/DertienDMR12
Edwin Dertien, Jelle Dijkstra, Angelika Mader, Dennis Reidsma:
Making a Toy Educative Using Electronics. Advances in Computer Entertainment 2012: 477-480
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/swste/MarincicMW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swste/MarincicMW12
Jelena Marincic, Angelika Mader, Roel J. Wieringa:
Explaining Embedded Software Modelling Decisions. SwSTE 2012: 80-89
[c16]
- view
  - electronic edition @ wotug.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wotug/OguzBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wotug/OguzBM12
Oguzcan Oguz, Jan F. Broenink, Angelika Mader:
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. CPA 2012: 65-88
2011
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/intetain/MaderDR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/intetain/MaderDR11
Angelika Mader, Edwin Dertien, Dennis Reidsma:
Single Value Devices. INTETAIN 2011: 38-47
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MarincicMW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MarincicMW11
Jelena Marincic, Angelika Mader, Roel J. Wieringa:
Validation of embedded system verification models. MoDRE 2011: 48-54
2010
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MaderBUJHH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MaderBUJHH10
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

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MarincicMWW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MarincicMWW08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/MarincicMW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/MarincicMW08
Jelena Marincic, Angelika Mader, Roel J. Wieringa:
Classifying Assumptions Made during Requirements Verification of Embedded Systems. REFSQ 2008: 141-146
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/CorinEHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/CorinEHM07
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader:
Timed analysis of security protocols. J. Comput. Secur. 15(6): 619-645 (2007)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FehnkerHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FehnkerHM07
Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader:
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM 2007: 253-272
[e1]
- view
- export record
  dblp key:
  - conf/dagstuhl/2006P6351
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2006P6351
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mascots/HanssenMJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/HanssenMJ06
Ferdy Hanssen, Angelika Mader, Pierre G. Jansen:
Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. MASCOTS 2006: 239-246
[i4]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BrinksmaHMSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BrinksmaHMSW06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06a
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
2005
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/BehrmannBHM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/BehrmannBHM05
Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader:
Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0503036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0503036
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader:
Timed Analysis of Security Protocols. CoRR abs/cs/0503036 (2005)
2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CorinEHM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CorinEHM04
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader:
Timed model checking of security protocols. FMSE 2004: 23-32
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BohnenkampHKMU04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BohnenkampHKMU04
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BrinksmaMF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BrinksmaMF02
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ejcon/MaderBWB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejcon/MaderBWB01
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]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BrinksmaM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BrinksmaM00
Ed Brinksma, Angelika Mader:
Verification and Optimization of a PLC Control Schedule. SPIN 2000: 73-92

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/MaderW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/MaderW99
Angelika Mader, Hanno Wupper:
Timed automaton models for simple programmable logic controllers. ECRTS 1999: 106-113
1998
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/DierksFMV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/DierksFMV98
Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager:
Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40
1997
[b1]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Mader97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Mader97
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BradfieldEM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BradfieldEM96
Julian C. Bradfield, Javier Esparza, Angelika Mader:
An Effective Tableau System for the Linear Time µ-Calculus. ICALP 1996: 98-109
1995
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Mader95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Mader95
Angelika Mader:
Modal µ-Calculus, Model Checking and Gauß Elimination. TACAS 1995: 72-88
1993
[i1]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - tr/tum/TUM-I-9325
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/tr/tum/TUM-I-9325
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Mader92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Mader92
Angelika Mader:
Tableau Recycling. CAV 1992: 330-342

Coauthor Index

see FAQ

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.