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:
2008
2007
1996
1995
1992Wrote 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.