Travelled to:
2 × Estonia
Collaborated with:
T.Mühlbauer J.Meseguer M.Wirsing M.AlTurki
Talks about:
architectur (1) pattern (1) analysi (1) servic (1) formal (1) design (1) denial (1) attack (1) under (1) stabl (1)
Person: Jonas Eckhardt
DBLP: Eckhardt:Jonas
Contributed to:
Wrote 2 papers:
- FASE-2012-EckhardtMAMW
- Stable Availability under Denial of Service Attacks through Formal Patterns (JE, TM, MA, JM, MW), pp. 78–93.
- WRLA-2012-WirsingEMM #analysis #architecture #design #maude
- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (MW, JE, TM, JM), pp. 54–82.