Karin Greimel

According to our database, Karin Greimel authored at least 9 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

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

2013

Model checking specifications of smart cards.

Karin Greimel, Norman Seßler, Thomas Klotz

Proceedings of the IECON 2013, 2013

2012

Formal security policy models for smart card evaluations.

Gerd Beuster, Karin Greimel

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Specification-centered robustness.

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann

Proceedings of the Industrial Embedded Systems (SIES), 2011

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

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Robustness in the Presence of Liveness.

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Synthesizing robust systems.

Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

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

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Open Implication.

Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008