Karin Greimel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2008–2013
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | IECON | Model checking specifications of smart cards. | Karin Greimel, Norman Seler, Thomas Klotz |
| 2012 | SAC | Formal security policy models for smart card evaluations. | Gerd Beuster, Karin Greimel |
| 2010 | CAV | Robustness in the Presence of Liveness. | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
| 2010 | CAV | RATSY - A New Requirements Analysis Tool with Synthesis. | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Knighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
| 2009 | FMCAD | Synthesizing robust systems. | Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
| 2008 | ICALP | Open Implication. | Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi |