Karin Greimel

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Pspace Complete

Top Venues

Acta Informatica

Publications

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
Synthesizing robust systems. Acta Informatica 51 (3-4) (2014)
Karin Greimel, Norman Seßler, Thomas Klotz
Model checking specifications of smart cards. IECON (2013)
Gerd Beuster, Karin Greimel
Formal security policy models for smart card evaluations. SAC (2012)
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
Specification-centered robustness. SIES (2011)
Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber
RATSY - A New Requirements Analysis Tool with Synthesis. CAV (2010)
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
Robustness in the Presence of Liveness. CAV (2010)
Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
Synthesizing robust systems. FMCAD (2009)
Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi
Open Implication. ICALP (2) (2008)
Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem
Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. ICYCS (2008)