Stefan Frehse

According to our database, Stefan Frehse authored at least 19 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits.

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler

IEEE Trans. Very Large Scale Integr. Syst., 2019

2017

metaSMT: focus on your application and not on solver integration.

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey

Int. J. Softw. Tools Technol. Transf., 2017

Enhancing robustness of sequential circuits using application-specific knowledge and formal methods.

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2013

Quality and quantity in robustness checking using formal techniques.

Stefan Frehse

PhD thesis, 2013

Improving fault tolerance utilizing hardware-software-co-synthesis.

Heinz Riener, Stefan Frehse, Görschwin Fey

Proceedings of the Design, Automation and Test in Europe, 2013

2012

RevKit: A Toolkit for Reversible Circuit Design.

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler

J. Multiple Valued Log. Soft Comput., 2012

Complete and effective robustness checking by means of interpolation.

Stefan Frehse, Görschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Effective Robustness Analysis Using Bounded Model Checking Techniques.

Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011

Debugging reversible circuits.

Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler

Integr., 2011

RevKit: An Open Source Toolkit for the Design of Reversible Circuits.

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler

Proceedings of the Reversible Computation - Third International Workshop, 2011

metaSMT: Focus on Your Application not on Solver Integration.

Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

Determining minimal testsets for reversible circuits using Boolean satisfiability.

Hongyan Zhang, Stefan Frehse, Robert Wille, Rolf Drechsler

Proceedings of the AFRICON 2011, 2011

2010

Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits).

Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler

it Inf. Technol., 2010

Efficient Simulation-Based Debugging of Reversible Logic.

Stefan Frehse, Robert Wille, Rolf Drechsler

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Enhancing debugging of multiple missing control errors in reversible logic.

Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler

Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

RobuCheck: a robustness checker for digital circuits.

Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, 2010

A better-than-worst-case robustness measure.

Stefan Frehse, Görschwin Fey, Rolf Drechsler

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

2009

Robustness Check for Multiple Faults Using Formal Techniques.

Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler

Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

Debugging of Toffoli networks.

Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler

Proceedings of the Design, Automation and Test in Europe, 2009