Homepage Sitemap Contact




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, January
DOI: 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]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE