`Travelled to:`

1 × Canada

1 × Denmark

1 × France

1 × Germany

1 × United Kingdom

`Collaborated with:`

∅ J.Marincic R.Wieringa A.Fehnker L.v.Hoesel J.C.Bradfield J.Esparza

`Talks about:`

calculus (2) tableau (2) system (2) verif (2) model (2) wireless (1) protocol (1) classifi (1) network (1) assumpt (1)

## Person: Angelika Mader

### DBLP: Mader:Angelika

### Contributed to:

### Wrote 5 papers:

- REFSQ-2008-MarincicMW #embedded #requirements #verification
- Classifying Assumptions Made during Requirements Verification of Embedded Systems (JM, AM, RW), pp. 141–146.
- IFM-2007-FehnkerHM #modelling #network #protocol #verification
- Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks (AF, LvH, AM), pp. 253–272.
- ICALP-1996-BradfieldEM #calculus #effectiveness #linear #μ-calculus
- An Effective Tableau System for the Linear Time μ-Calculus (JCB, JE, AM), pp. 98–109.
- TACAS-1995-Mader #calculus #model checking #μ-calculus
- Modal μ-Calculus, Model Checking and Gauß Elimination (AM), pp. 72–88.
- CAV-1992-Mader
- Tableau Recycling (AM), pp. 330–342.