Angelika Mader

	2008
18		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		Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM 2007: 253-272
15		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		Ferdy Hanssen, Angelika Mader, Pierre G. Jansen: Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. MASCOTS 2006: 239-246
13		Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
12		Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
	2005
11		Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader: Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005
10		Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed Analysis of Security Protocols CoRR abs/cs/0503036: (2005)
	2004
9		Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed model checking of security protocols. FMSE 2004: 23-32
8		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		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		Angelika Mader, Hanno Wupper: Timed automaton models for simple programmable logic controllers. ECRTS 1999: 106-113
	1998
4		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