Travelled to:1 × France
1 × Ireland
1 × Poland
Collaborated with:J.Esparza ∅ G.Steel A.Bundy
Talks about:protocol (2) parameter (1) multicast (1) incorrect (1) conjectur (1) agreement (1) properti (1) instanti (1) approach (1) system (1)
Person: Monika Maidl
DBLP: Maidl:Monika
Contributed to:
2004
2003
2001Wrote 3 papers:
- IJCAR-2004-SteelBM #induction #protocol
- Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures (GS, AB, MM), pp. 137–151.
- TACAS-2003-EsparzaM #multi #protocol
- Simple Representative Instantiations for Multicast Protocols (JE, MM), pp. 128–143.
- CAV-2001-Maidl #approach #model checking #safety
- A Unifying Model Checking Approach for Safety Properties of Parameterized Systems (MM), pp. 311–323.