dblp.uni-trier.dewww.uni-trier.de

Angelika Mader Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
18EEJelena 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
16EEAnsgar Fehnker, Lodewijk van Hoesel, Angelika Mader: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM 2007: 253-272
15EERicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed analysis of security protocols. Journal of Computer Security 15(6): 619-645 (2007)
2006
14EEFerdy Hanssen, Angelika Mader, Pierre G. Jansen: Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. MASCOTS 2006: 239-246
13EEEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
12EEEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
2005
11EEGerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader: Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005
10EERicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed Analysis of Security Protocols CoRR abs/cs/0503036: (2005)
2004
9EERicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed model checking of security protocols. FMSE 2004: 23-32
8EEHenrik 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
7EEEd 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
5EEAngelika Mader, Hanno Wupper: Timed automaton models for simple programmable logic controllers. ECRTS 1999: 106-113
1998
4EEHenning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager: Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40
1996
3EEJulian 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
1EEAngelika Mader: Tableau Recycling. CAV 1992: 330-342

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)