Travelled to:1 × Iceland
1 × Italy
1 × United Kingdom
Collaborated with:R.Bloem G.Beuster B.Jobstmann M.Y.Vardi K.Chatterjee T.A.Henzinger A.Cimatti G.Hofferek R.Könighofer M.Roveri V.Schuppan R.Seeber
Talks about:synthesi (1) presenc (1) analysi (1) robust (1) requir (1) polici (1) implic (1) formal (1) smart (1) secur (1)
Person: Karin Greimel
DBLP: Greimel:Karin
Contributed to:
2012
2010
2008Wrote 4 papers:
- SAC-2012-BeusterG #modelling #policy #security #smarttech
- Formal security policy models for smart card evaluations (GB, KG), pp. 1640–1642.
- CAV-2010-BloemCGHJ #liveness #robust
- Robustness in the Presence of Liveness (RB, KC, KG, TAH, BJ), pp. 410–424.
- CAV-2010-BloemCGHKRSS #analysis #named #requirements #synthesis
- RATSY — A New Requirements Analysis Tool with Synthesis (RB, AC, KG, GH, RK, MR, VS, RS), pp. 425–429.
- ICALP-B-2008-GreimelBJV
- Open Implication (KG, RB, BJ, MYV), pp. 361–372.