Stefan Frehse

Quality and quantity in robustness checking using formal techniques

Stefan Frehse, Stefan Frehse, 2013 .

Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits

Stefan Frehse, Robert Wille, Rolf Drechsler, 2019, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

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

Stefan Frehse, Robert Wille, Rolf Drechsler, 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

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

Stefan Frehse, Robert Wille, Rolf Drechsler, 2011, RC.

Debugging reversible circuits

Stefan Frehse, Robert Wille, Rolf Drechsler, 2011, Integr..