Stefan Frehse

	2012
11		Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler: RevKit: A Toolkit for Reversible Circuit Design. Multiple-Valued Logic and Soft Computing 18(1): 55-65 (2012)
	2011
10		Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler: RevKit: An Open Source Toolkit for the Design of Reversible Circuits. RC 2011: 64-76
9		Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler: Effective Robustness Analysis Using Bounded Model Checking Techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 30(8): 1239-1252 (2011)
8		Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler: Debugging reversible circuits. Integration 44(1): 51-61 (2011)
	2010
7		Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler: Enhancing debugging of multiple missing control errors in reversible logic. ACM Great Lakes Symposium on VLSI 2010: 465-470
6		Stefan Frehse, Görschwin Fey, Rolf Drechsler: A better-than-worst-case robustness measure. DDECS 2010: 78-83
5		Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler: RobuCheck: A Robustness Checker for Digital Circuits. DSD 2010: 226-231
4		Stefan Frehse, Robert Wille, Rolf Drechsler: Efficient Simulation-Based Debugging of Reversible Logic. ISMVL 2010: 156-161
3		Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler: Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits). it - Information Technology 52(4): 216-223 (2010)
	2009
2		Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler: Debugging of Toffoli networks. DATE 2009: 1284-1289
1		Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler: Robustness Check for Multiple Faults Using Formal Techniques. DSD 2009: 85-90

Coauthor Index

1	Rolf Drechsler	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
2	Gerhard W. Dueck	[2] [8]
3	Görschwin Fey	[1] [3] [5] [6] [9]
4	Daniel Große	[2] [8]
5	Jean Christoph Jung	[7]
6	Mathias Soeken	[10] [11]
7	André Sülflow	[1] [3] [5] [9]
8	Robert Wille	[2] [4] [7] [8] [10] [11]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page