Georg Hofferek

	2011
6		Georg Hofferek, Roderick Bloem: Controller synthesis for pipelined circuits using uninterpreted functions. MEMOCODE 2011: 31-42
	2010
5		Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber: RATSY - A New Requirements Analysis Tool with Synthesis. CAV 2010: 425-429
4		Robert Könighofer, Georg Hofferek, Roderick Bloem: Debugging Unrealizable Specifications with Model-Based Diagnosis. Haifa Verification Conference 2010: 29-45
	2009
3		Robert Könighofer, Georg Hofferek, Roderick Bloem: Debugging formal specifications using simple counterstrategies. FMCAD 2009: 152-159
	2008
2		Georg Hofferek, Johannes Wolkerstorfer: Coupon Recalculation for the GPS Authentication Scheme. CARDIS 2008: 162-175
1		Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem: Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. ICYCS 2008: 2289-2294

Coauthor Index

1	Roderick Bloem (Roderick Paul Bloem)	[1] [3] [4] [5] [6]
2	Alessandro Cimatti	[5]
3	Karin Greimel	[1] [5]
4	Robert Könighofer	[3] [4] [5]
5	Adrian Leung	[1]
6	Raphael Chung-Wei Phan (Raphael C.-W. Phan)	[1]
7	Marco Roveri	[5]
8	Viktor Schuppan	[5]
9	Richard Seeber	[5]
10	Ronald Toegl	[1]
11	Johannes Wolkerstorfer	[2]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page