

|
Home « Team « Publications
» Publications of
Stefan Frehse
|
 |


 |
BOOKS |
 |
 |
BOOK CONTRIBUTIONS |
 |
 |
JOURNALS |
 |

» Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
[Link to the Homepage of this journal]
|

 |
 |

|

|

|
Author:
|

|
Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler |
Journal: |

|
IEEE Transactions On Very Large Scale Integration (VLSI) Systems |
Details: |

|
Volume 27, Number 4, Pages. 875-887, April 2019. DOI: 10.1109/TVLSI.2018.2890601 |
Year:
|

|
2019
|

|

» 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]
|
|
 |
|
|