Although not anymore directly involved with IAIK, our alumni definitely deserve credit. They all have moved on with their career and went for other challenges. We are grateful for their contribution to IAIK's success.
Karin Greimel (ALUMNI)
Group
Formal Methods for Design and Verification
Teaching
| Year |
Activity |
| WS 10/11 |
KU, Logik und Berechenbarkeit, Link |
| Summer 2010 |
Teens Treffen Technik, Link |
| WS 09/10 |
KU, Logik und Berechenbarkeit |
| Summer 2009 |
Teens Treffen Technik, Link |
Education
| Year |
Activity |
| March 2009 |
Visiting Researcher at EPFL, Switzerland |
| since 01/2008 |
PhD student of Prof. Roderick Bloem |
| Winter Term 2003 |
Exchange student at Lund University, Sweden |
| 2001 - 2007 |
Studies of Technical Mathematics at Graz, University of Technology |
Publications
| Proceedings |
|---|
| 2010 |
Roderick Paul Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber - "RATSY - A new Requirements Analysis Tool with Synthesis" - Computer Aided Verification |
 |
 |
 |
| 2010 |
Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas Henzinger, Barbara Jobstmann - "Robustness in the Presence of Liveness" - Computer Aided Verification |
|
|
|
| 2009 |
Roderick Paul Bloem, Karin Greimel, Thomas Henzinger, Barbara Jobstmann - "Synthesizing Robust Systems" - Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009 |
|
|
|
| 2008 |
Karin Greimel, Roderick Paul Bloem, Barbara Jobstmann, Moshe Vardi - "Open Implication" - Automata, Languages and Programming - ICALP 2008 |
|
|
 |
| 2008 |
Ronald Tögl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael C-W. Phan, Roderick Paul Bloem - "Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme" - International Symposium on Trusted Computing (TrustCom 2008) Proceedings, in 9th ICYCS Conference Proceedings |
|
 |
|
| Master thesis |
|---|
| 2007 |
Karin Greimel - "Open Implication" |
|
|
|
| Presentation |
|---|
| 2010 |
Karin Greimel - "Robustness in the Presence of Liveness" (CAV 2010, 18.07.10) |
|
|
|
| 2010 |
Karin Greimel - "Synthesizing Robust Systems" (PUMA Workshop, Szentendre, 10.10.10) |
|
|
|
| 2009 |
Karin Greimel - "Synthesizing Robust Systems" (Workshop on Games for Design, Verification and Synthesis, Grenoble, 28.06.09) |
|
|
|
| 2008 |
Karin Greimel - "Open Implication" (Alpine Verification Meeting, Semmering, 19.05.08) |
|
|
|
| 2008 |
Karin Greimel - "Open Implication" (International Colloquium on Automata, Languages and Programming, 06.07.08) |
|
|
|
