People - Adlmannseder-Lebic, Regina - Blauensteiner, Melanie - Bloem, Roderick - Bratko, Dieter - Bratko, Harald - Dietrich, Kurt - Dominikus, Sandra - Fitzek, Andreas - Gebetsroither, Michael - Haas, Birgit - Hanser, Christian - Hein, Daniel - Hofferek, Georg - Hutter, Michael - Ibrahim, Sharif - Jacobs, Swen - Könighofer, Bettina - Könighofer, Robert - Kellner, Tobias - Khalimov, Ayrat - Kirschbaum, Mario - Korak, Thomas - Krnjic, Vesna - Lanz, Konrad - Leitold, Herbert - Lenz, Thomas - Lipp, Peter - Medwed, Marcel - Nad, Tomislav - Piewald, Martina Anna - Pirker, Martin - Plos, Thomas - Posch, Karl Christian - Posch, Reinhard - Rath, Christof - Reimair, Florian - Rijmen, Vincent - Roth, Simon - Schallar, Manuel - Schläffer, Martin - Schmidt, Jörn-Marc - Stranacher, Klaus - Tauber, Arne - Teufl, Peter - Toegl, Ronald - Tretter-Dragovic, Michaela - Weber, Philip - Wenger, Erich - Winter, Johannes - Zefferer, Thomas - Zwattendorfer, Bernd News Events How To Reach Us Jobs Privacy Policy

You are here: Start » About IAIK » People » Könighofer, Robert

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie
Inffeldgasse 16a/II, A-8010, Graz
Icon Mail

E-Mail

+43 (316) 873 - 5522
Icon Home

Room IF02048
Icon World

TUG-Online

Robert Könighofer

Curriculum vitae

Robert Könighofer was born on August 11^th 1983 in Austria. After primary school and secondary school he went to a technical school for electrical engineering. He then studied "Telematics" as well as "Software Development and Business Management" at Graz University of Technology. He received his BSc in 2007 and his MSc in 2009. Since 2010 he is a PhD student under the supervision of Prof. Roderick Bloem. He now works in the SCoS group of the IAIK. His research interests are formal methods for design and verification.

Personal Data

Date and Place of Birth	August 11^th 1983 in Bruck and der Mur, Austria
Citizenship	Austrian
Private Mobile Phone	+43 664 1112277
Languages	German (native), English (fluent), Spanish (basic)

Education

Year	Activity
since 2010	PhD Student of Prof. Roderick Bloem
2007-2009	Master Programmes "Telematics" as well as "Software Development and Business Management" at Graz University of Technology, Austria
2003-2007	Bachelor Programmes "Telematics" as well as "Software Development and Business Management" at Graz University of Technology, Austria
1997-2002	Technical school for electrical engineering in Weiz, Austria
1993-1997	Secondary school in Ratten, Austria
1989-1993	Primary school in St. Kathrein am Hauenstein, Austria

Publications

Proceedings
2011	Robert Könighofer, Roderick Paul Bloem - *"Automated Error Localization and Correction for Imperative Programs"* - Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011)
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
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	Robert Könighofer - *"A Fast and Cache-Timing Resistant Implementation of the AES"* - Topics in Cryptology - CT-RSA 2008, The Cryptographers' Track at the RSA Conference 2008, San Francisco, CA, USA, April 2008, Proceedings
2007	Robert Könighofer, Stefan Berger, Christoph Herbst - *"Eine 8-bit Highspeed Softwareimplementierung von Whirlpool"* - DACH Security 2007

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
2009	Robert Könighofer - *"Debugging Formal Specifications with Simplified Counterstrategies"*

Tech report
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	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	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"*

Presentation
2011	Robert Könighofer - *"Automated error localization and correction for imperative programs"* (Formal Methods in Computer Aided Design (FMCAD), Texas, 31.10.11)
2011	Robert Könighofer - *"Automated Diagnosis and Repair of Simple Software"* (DIAMOND tutorial at DATE, Grenoble, 17.03.11)
2010	Robert Könighofer - *"RATSY - A New Requirements Analysis Tool with Synthesis"* (CAV 2010, Edinburgh, 18.07.10)
2010	Robert Könighofer - *"Debugging Unrealizable Specifications with Model-Based Diagnosis"* (Haifa Verification Conference, Haifa, 06.10.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	Robert Könighofer - *"A Fast and Cache-Timing Resistant Implementation of the AES"* (Topics in Cryptology - CT-RSA 2008, The Cryptographers' Track at the RSA Conference 2008, CA, 09.04.08)
2007	Robert Könighofer - *"Eine 8-bit Highspeed Softwareimplementierung von Whirlpool"* (Arbeitskonferenz DACH Security, Klagenfurt, 13.06.07)