BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mader:Angelika

Contributed to:

REFSQ 20082008
IFM 20072007
ICALP 19961996
TACAS 19951995
CAV 19921992

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.
Tableau Recycling (AM), pp. 330–342.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.