|
Home « Team « Publications
» Publications of
Stefan Frehse
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
» metaSMT: Focus On Your Application And Not On Solver Integration
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler,
Görschwin Fey |
| Journal: |
|
International Journal of Software Tools for Technology Transfer |
| Details: |
|
19(5):605-621, DOI10.1007/s10009-016-0426-1 Link |
Year:
|
|
2017
|
|
» RevKit: An Open Source Toolkit for the Design of Reversible Circuits
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Journal: |
|
Reversible Computation 2011 (Series: Lecture Notes in Computer Science) |
| Details: |
|
Volume 7165, Third International Workshop, RC 2011, Revised Papers, pp. 64-76 |
Year:
|
|
2012
|
|
» RevKit: A Toolkit for Reversible Circuit Design
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Journal: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 18, Number 1, pp. 55-65 |
Year:
|
|
2012
|
|
» Effective Robustness Analysis using Bounded Model Checking Techniques
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 30, Number 8, pp. 1239-1252
DOI: 10.1109/TCAD.2011.2120950 |
Year:
|
|
2011
|
|
» Debugging Reversible Circuits
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler |
| Journal: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
Volume 44, Number 1, pp. 51-61, JanuaryDOI: 10.1016/j.vlsi.2010.08.002 |
Year:
|
|
2011
|
|
» Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Görschwin Fey, Andre Sülflow, Stefan Frehse, Rolf Drechsler |
| Journal: |
|
it-Information Technology |
| Details: |
|
Volume 52, Number 4, pp. 216-223
PDF Download |
Year:
|
|
2010
|
|
|
CONFERENCES |
|
» Enhancing Robustness of Sequential Circuits Using
Application-specific Knowledge and Formal Methods
|
|
|
|
Author:
|
|
Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Conference: |
|
22nd Asia and South Pacific Design Automation Conference (ASP-DAC) |
Reference:
|
| Chiba/Tokyo, Japan, 2017
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Improving Fault Tolerance Utilizing Hardware-Software-Co-Synthesis
|
|
|
|
Author:
|
|
Heinz Riener, Stefan Frehse, Görschwin Fey |
| Conference: |
|
Design, Automation and Test in Europe (DATE'13) |
Reference:
|
| pp. 939-943, Grenoble, France, 2013
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Complete and Effective Robustness Checking by Means of Interpolation
|
|
|
|
Author:
|
|
Stefan Frehse, Görschwin Fey, Eli Arbel, Karen Yorav and Rolf Drechsler |
| Conference: |
|
Formal Methods in Computer-Aided Design (FMCAD'12) |
Reference:
|
| Cambridge, UK, 2012, page 82-90
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Hardware-Software-Co-Synthese zur Verbesserung der Fehlertoleranz
|
|
|
|
Author:
|
|
Stefan Frehse, Heinz Riener, Görschwin Fey |
| Conference: |
|
6. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZuE'12) |
Reference:
|
| pp. 90-96, Bremen, Germany, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Hochoptimierter Ablauf zur Robustheitsprüfung
|
|
|
|
Author:
|
|
Stefan Frehse, Finn Haedicke, Melanie Diepenbeck, Görschwin Fey, Rolf Drechsler |
| Conference: |
|
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE) |
Reference:
|
| Hamburg-Harburg, 2011
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Determining Minimal Testsets for Reversible Circuits Using Boolean Satisfiability
|
|
|
|
Author:
|
|
Hongyan Zhang, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Conference: |
|
10th IEEE Africon |
Reference:
|
| Livingstone, 2011
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Kompositionelle Formale Robustheitsprüfung
|
|
|
|
Author:
|
|
Stefan Frehse, Görschwin Fey |
| Conference: |
|
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE) |
Reference:
|
| Wildbad Kreuth, 2010
| Hyperlink:
|
| [To the Site of this Conference]
|
» RobuCheck: A Robustness Checker for Digital Circuits
|
|
|
|
Author:
|
|
Stefan Frehse, Görschwin Fey, Andre Sülflow and Rolf Drechsler
|
| Conference: |
|
Euromicro Conference on Digital System Design (DSD) |
Reference:
|
| pp. 226-231, Lille, 2010
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» A Better-Than-Worst-Case Robustness Measure
|
|
|
|
Author:
|
|
Stefan Frehse, Görschwin Fey, Rolf Drechsler |
| Conference: |
|
13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Reference:
|
| pp. 78-83, Vienna, 2010
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Enhancing Debugging of Multiple Missing Control Errors in Reversible Logic
|
|
|
|
Author:
|
|
Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler
|
| Conference: |
|
Great Lakes Symposium on VLSI (GLSVLSI) |
Reference:
|
| pp. 465-470, Rhode Island, 2010
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Efficient Simulation-based Debugging of Reversible Logic
|
|
|
|
Author:
|
|
Stefan Frehse, Robert Wille, Rolf Drechsler |
| Conference: |
|
40th International Symposium on Multiple-Valued Logic (ISMVL) |
Reference:
|
| pp. 156-161, Barcelona, 2010
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Anwendungsbezogene Analyse der Robustheit von Digitalen Schaltungen
|
|
|
|
Author:
|
|
Andre Sülflow, Stefan Frehse, Görschwin Fey, Rolf Drechsler |
| Conference: |
|
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE) |
Reference:
|
| pp. 45-52, Stuttgart, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Robustness Check for Multiple Faults using Formal Techniques
|
|
|
|
Author:
|
|
Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler |
| Conference: |
|
Euromicro Conference on Digital System Design (DSD) |
Reference:
|
| pp. 85-90, Patras, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Debugging of Toffoli Networks
|
|
|
|
Author:
|
|
Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler
|
| Conference: |
|
Design, Automation and Test in Europe (DATE) |
Reference:
|
| pp. 1284-1289, Nice, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Formaler Nachweis der Fehlertoleranz von Schaltkreisen
|
|
|
|
Author:
|
|
Görschwin Fey, Andre Sülflow, Stefan Frehse, Ulrich Kühne, Rolf Drechsler |
| Conference: |
|
GMM/GI/ITG-Fachtagung: Zuverlässigkeit und Entwurf (ZuE 2008) |
Reference:
|
| pp. 75-82, Ingolstadt, 2008
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» metaSMT: Focus on Your Application not on Solver Integration
|
|
|
|
Author:
|
|
Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler |
| Workshop: |
|
DIFTS'11: 1st International workshop on design and implementation of formal tools and systems |
Reference:
|
| pp. 22-29, Austin, USA, 2011
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Customized Design Flows for Reversible Circuits Using RevKit
|
|
|
|
Author:
|
|
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Workshop: |
|
Workshop on Reversible Computation |
Reference:
|
| pp. 91-96, Gent, 2011
| Hyperlink:
|
| [Link to the Workshop]
|
» RevKit: A Toolkit for Reversible Circuit Design
|
|
|
|
Author:
|
|
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Workshop: |
|
Workshop on Reversible Computation |
Reference:
|
| pp. 69-72, Bremen, 2010
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» RobuCheck: A Robustness Checker for Digital Circuits
|
|
|
|
Author:
|
|
Stefan Frehse, Görschwin Fey, Andre Sülflow and Rolf Drechsler
|
| Workshop: |
|
The First International Workshop on Dynamic Aspects
in Dependability Models for Fault-Tolerant Systems (DYADEM-FTS) |
Reference:
|
| Valencia, 2010
| Hyperlink:
|
| [Link to the Workshop]
|
» A Better-Than-Worst-Case Robustness Measure
|
|
|
|
Author:
|
|
Stefan Frehse,
Görschwin Fey,
Rolf Drechsler |
| Workshop: |
|
22. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen - TuZ 2010 |
Reference:
|
| Paderborn, 2010
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Robustness Check for Multiple Faults using Formal Techniques
|
|
|
|
Author:
|
|
Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler |
| Workshop: |
|
Constraints in Formal Verification (CFV) |
Reference:
|
| Grenoble, France, 2009
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Computing Bounds for Fault Tolerance using Formal Techniques
|
|
|
|
Author:
|
|
Andre Sülflow, Görschwin Fey, Stefan Frehse, Ulrich Kühne, Rolf Drechsler |
| Workshop: |
|
IEEE Workshop on Design for Reliability and Variability (DRV) |
Reference:
|
| Santa Clara, USA, 2008
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
