Travelled to:1 × Cyprus
1 × Italy
Collaborated with:F.Ortmeier P.Poizat G.Salaün A.Dumont
Talks about:choreographi (1) probabilist (1) framework (1) analysi (1) verifi (1) safeti (1) model (1) chor (1) base (1) ver (1)
Person: Matthias Güdemann
DBLP: G=uuml=demann:Matthias
Contributed to:
2013
2010Wrote 2 papers:
- FASE-2013-GudemannPSD #framework #named #verification
- VerChor: A Framework for Verifying Choreographies (MG, PP, GS, AD), pp. 226–230.
- QAPL-2010-GuedemannO #analysis #modelling #probability #safety
- Probabilistic Model-Based Safety Analysis (MG, FO), pp. 114–128.