Georg Hofferek

Curriculum vitae

Georg Hofferek was born on October 26^th 1982 in Leoben (Styria, Austria). He grew up with his family in Trofaiach, where he also attended primary school. From 1993 to 2001 he went to the "Neues Gymnasium" secondary school in Leoben. During this time he competed several times in the Austrian and International Young Physicists' Tournament. After graduating from high school in June 2001, he did the compulsory 8 months basic military service at the "Fernmeldebataillon 1" in Villach. In October 2002 he enrolled as a student of Computer Science and Electrical Engineering ("Telematik") at Graz University of Technology. He received his Bachelor's degree in 2006, and his Master's degree (German: Dipl.-Ing.) in 2008, both with distinction. In February 2008 he moved from Trofaiach to Graz, and joined IAIK as a PhD student of Prof. Roderick Bloem. Thus he now is a member of IAIK's SCoS group, specializing in Formal Methods for Design and Verification.

Personal Data

Education

Publications

Proceedings
2011	Matthias Schlaipfer, Georg Hofferek, Roderick Paul Bloem - "Generalized Reactivity(1) Synthesis without a Monolithic Strategy" (Note: to appear)
2011	Robert Könighofer, Georg Hofferek, Roderick Paul Bloem - "Debugging Unrealizable Specifications with Model-Based Diagnosis" - Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
2011	Georg Hofferek, Roderick Paul Bloem - "Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions" - Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011)
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
2009	Robert Könighofer, Georg Hofferek, Roderick Paul Bloem - "Debugging Formal Specifications Using Simple Counterstrategies" - Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009
2008	Georg Hofferek, Johannes Wolkerstorfer - "Coupon Recalculation for the GPS Authentication Scheme" - Smart Card Research and Advanced Applications-CARDIS 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

Article
2011	Robert Könighofer, Georg Hofferek, Roderick Paul Bloem - "Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies" - International journal on software tools for technology transfer (Volume: ) (Note: to appear)

Master thesis
2008	Georg Hofferek - "Exploring the Design Space of the GPS Authentication Scheme"

Tech report
2011	Erik Larsson, Urban Ingelsson, Gunnar Carlsson, Artur Jutman, Georg Hofferek - "Status on Post-Silicon and In-Situ Repair"
2011	Georg Hofferek, Robert Könighofer, Jörn-Marc Schmidt, Görschwin Fey, Alexander Finder, Andre Sülflow, Urban Ingelsson, Urmas Repinski, Jaan Raik, Anton Karputkin, Stephen Scholefield - "Status on Implementation-Level Correction"
2011	Rolf Drechsler, Görschwin Fey, Alexander Finder, Andre Sülflow, Robert Könighofer, Georg Hofferek, Urban Ingelsson, Eli Arbel, Jaan Raik, Stephen Scholefield, Artur Jutman - "Definition of the Diagnostic Model"
2011	Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Eli Arbel, Jaan Raik, Urmas Repinski, Artur Jutman, Stephen Scholefield - "Report on Reasoning Engines and Dynamic Techniques"
2011	Georg Hofferek, Robert Könighofer, Görschwin Fey, Alexander Finder, Erik Larsson, Urmas Repinski, Jaan Raik - "Transaction-Level Diagnosis"
2010	Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Erik Larsson, Urban Ingelsson, Jaan Raik, Eli Arbel, Artur Jutman, Gunnar Carlsson, Stephen Scholefield - "Status on Implementation-Level Diagnosis"
2010	Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Oleg Rokhlenko, Stephen Scholefield - "Status on Reasoning Engines and Dynamic Techniques"
2010	Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Erik Larsson, Jaan Raik, Oleg Rokhlenko - "Requirements & Concept of the Diagnostic Model"
2010	Oleg Rokhlenko, Cindy Eisner, Görschwin Fey, Alexander Finder, Jaan Raik, Maksim Jenihhin, Gunnar Carlsson, Georg Hofferek, Robert Könighofer - "Definition of the DIAMOND Platform"
2010	Tarmo Robal, Jaan Raik, Georg Hofferek, Roderick Paul Bloem, Cindy Eisner, Gunnar Carlsson - "DIAMOND Website (Deliverable D5.1)"
2010	Graziano Pravadelli, Franco Fummi, Florian Letombe, Georg Hofferek, Giovanni Perbellini, Marco Roveri, Christophe Hui-Bon-Hoa, Wolfgang Müller, Samuel Dellacherie - "Final report"
2010	Florian Letombe, Georg Hofferek, Graziano Pravadelli, Giovanni Perbellini, Marco Roveri, Iman Narasamdya, Christophe Hui-Bon-Hoa, Rob Quigley, Markus Becker, Wolfgang Müller, Samuel Dellacherie, Franco Fummi - "Future plan on use and dissemination"
2010	Samuel Dellacherie, Georg Hofferek, Graziano Pravadelli, Davide Bresolin, Nicola Bombieri, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa, Giovanni Perbellini, Marco Roveri, Iman Narasamdya, Rob Quigley, Joao Marques-Silva, Florian Letombe, Wolfgang Müller, Markus Becker, Christophe Hui-Bon-Hoa - "Final validation of the COCONUT flow and Tools Integration"

Presentation
2012	Georg Hofferek - "Automated Synthesis and Design Error Repair of Systems" (IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Tallinn, 19.04.12)
2011	Georg Hofferek - "Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions" (ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MemoCODE), Microsoft Research Cambridge, 11.07.11)
2010	Georg Hofferek - "Controller Synthesis Using Uninterpreted Functions" (Synthesis, Verification, and Analysis of Rich Models (SVARM 2010), 20.07.10)
2009	Robert Könighofer, Georg Hofferek, Roderick Paul Bloem - "Debugging Unrealizable Specifications Using Simple Counterstrategies" (Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, 28.06.09)
2008	Georg Hofferek - "Coupon Recalculation for the GPS Authentication Scheme" (Smart Card Research and Advanced Applications - CARDIS 2008, 08.09.08)