Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Angelika Mader
2010 – today
- 2013
[j5]Jelena Marincic, Angelika Mader, Roel Wieringa, Yan Lucas: Reusing knowledge in embedded systems modelling. Expert Systems 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 Wieringa: Explaining Embedded Software Modelling Decisions. SwSTE 2012: 80-89
- 2011
- [c16]
- [c15]Jelena Marincic, Angelika Mader, Roel 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 Hurink, Holger Hermanns: Synthesis and stochastic assessment of cost-optimal schedules. STTT 12(5): 305-318 (2010)
2000 – 2009
- 2008
- [c14]Jelena Marincic, Angelika Mader, Roel 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. Journal of Computer Security 15(6): 619-645 (2007)
- [c13]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 Wieringa (Eds.): 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
- 2006
- [c12]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
- [c11]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
- [c10]Ferdy Hanssen, Angelika Mader, Pierre G. Jansen: Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. MASCOTS 2006: 239-246
- 2005
- [c9]Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader: Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005
- [i1]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. STTT 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
- 1996
- [c3]Julian C. Bradfield, Javier Esparza, Angelika Mader: An Effective Tableau System for the Linear Time µ-Calculus. ICALP 1996: 98-109
- 1995
- [c2]
- 1992
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:08 CEST by the dblp team