Stefan Frehse

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Venues

Int. J. Softw. Tools Technol. Transf.

ASP-DAC

DATE

IEEE Trans. Very Large Scale Integr. Syst.

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits. IEEE Trans. Very Large Scale Integr. Syst. 27 (4) (2019)
Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey
metaSMT: focus on your application and not on solver integration. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
Enhancing robustness of sequential circuits using application-specific knowledge and formal methods. ASP-DAC (2017)
Heinz Riener, Stefan Frehse, Görschwin Fey
Improving fault tolerance utilizing hardware-software-co-synthesis. DATE (2013)
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
RevKit: A Toolkit for Reversible Circuit Design. J. Multiple Valued Log. Soft Comput. 18 (1) (2012)
Stefan Frehse, Görschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler
Complete and effective robustness checking by means of interpolation. FMCAD (2012)
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
RevKit: An Open Source Toolkit for the Design of Reversible Circuits. RC (2011)
Hongyan Zhang, Stefan Frehse, Robert Wille, Rolf Drechsler
Determining minimal testsets for reversible circuits using Boolean satisfiability. AFRICON (2011)
Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler
Effective Robustness Analysis Using Bounded Model Checking Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (8) (2011)
Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler
Debugging reversible circuits. Integr. 44 (1) (2011)
Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler
metaSMT: Focus on Your Application not on Solver Integration. DIFTS@FMCAD (2011)
Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler
RobuCheck: a robustness checker for digital circuits. DYADEM-FTS@EDCC (2010)
Stefan Frehse, Robert Wille, Rolf Drechsler
Efficient Simulation-Based Debugging of Reversible Logic. ISMVL (2010)
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)
Stefan Frehse, Görschwin Fey, Rolf Drechsler
A better-than-worst-case robustness measure. DDECS (2010)
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 Inf. Technol. 52 (4) (2010)
Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler
RobuCheck: A Robustness Checker for Digital Circuits. DSD (2010)
Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler
Debugging of Toffoli networks. DATE (2009)
Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler
Robustness Check for Multiple Faults Using Formal Techniques. DSD (2009)

Stefan Frehse.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Frehse