Angelika Mader

2008
18	EE	Jelena Marincic, Angelika Mader, Roel Wieringa: Classifying Assumptions Made during Requirements Verification of Embedded Systems. REFSQ 2008: 141-146
2007
17		Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
16	EE	Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM 2007: 253-272
15	EE	Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed analysis of security protocols. Journal of Computer Security 15(6): 619-645 (2007)
2006
14	EE	Ferdy Hanssen, Angelika Mader, Pierre G. Jansen: Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. MASCOTS 2006: 239-246
13	EE	Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
12	EE	Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
2005
11	EE	Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader: Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005
10	EE	Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed Analysis of Security Protocols CoRR abs/cs/0503036: (2005)
2004
9	EE	Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed model checking of security protocols. FMSE 2004: 23-32
8	EE	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
7	EE	Ed Brinksma, Angelika Mader, Ansgar Fehnker: Verification and optimization of a PLC control schedule. STTT 4(1): 21-33 (2002)
2000
6		Ed Brinksma, Angelika Mader: Verification and Optimization of a PLC Control Schedule. SPIN 2000: 73-92
1999
5	EE	Angelika Mader, Hanno Wupper: Timed automaton models for simple programmable logic controllers. ECRTS 1999: 106-113
1998
4	EE	Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager: Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40
1996
3		Julian C. Bradfield, Javier Esparza, Angelika Mader: An Effective Tableau System for the Linear Time µ-Calculus. ICALP 1996: 98-109
1995
2		Angelika Mader: Modal µ-Calculus, Model Checking and Gauß Elimination. TACAS 1995: 72-88
1992
1		Angelika Mader: Tableau Recycling. CAV 1992: 330-342

Coauthor Index

1	Gerd Behrmann	[11]
2	Henrik C. Bohnenkamp	[8]
3	Julian C. Bradfield	[3]
4	Ed Brinksma	[6] [7] [11] [12] [13] [17]
5	Ricardo Corin	[9] [10] [15]
6	Henning Dierks	[4]
7	Javier Esparza	[3]
8	Sandro Etalle	[9] [10] [15]
9	Ansgar Fehnker	[4] [7] [16]
10	Ferdy Hanssen	[14]
11	David Harel	[12] [13] [17]
12	Pieter H. Hartel	[9] [10] [15]
13	Martijn Hendriks	[11]
14	Holger Hermanns	[8]
15	Lodewijk van Hoesel	[16]
16	Pierre G. Jansen	[14]
17	Ric Klaren	[8]
18	Jelena Marincic	[18]
19	Perdita Stevens	[12] [13] [17]
20	Yaroslav S. Usenko	[8]
21	Frits W. Vaandrager	[4]
22	Roel Wieringa	[12] [13] [17] [18]
23	Hanno Wupper	[5]

Colors in the list of coauthors