Open Implication. - Karin Greimel; Roderick Bloem; Barbara Jobstmann; Moshe Y. Vardi (ICALP (2), 2008)

Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. - Ronald Toegl; Georg Hofferek; Karin Greimel; Adrian Leung; Raphael Chung-Wei Phan; Roderick Bloem (ICYCS, 2008)

Synthesizing robust systems. - Roderick Bloem; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann (FMCAD, 2009)

Robustness in the Presence of Liveness. - Roderick Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann (CAV, 2010)

RATSY - A New Requirements Analysis Tool with Synthesis. - Roderick Bloem; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Könighofer; Marco Roveri; Viktor Schuppan; Richard Seeber (CAV, 2010)

Specification-centered robustness. - Roderick Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann (SIES, 2011)

Formal security policy models for smart card evaluations. - Gerd Beuster; Karin Greimel (SAC, 2012)

Model checking specifications of smart cards. - Karin Greimel; Norman Seßler; Thomas Klotz (IECON, 2013)

Synthesizing robust systems. - Roderick Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Georg Hofferek; Barbara Jobstmann; Bettina Könighofer; Robert Könighofer (Acta Informatica, 2014)