Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Stefan Frehse


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN

» metaSMT: Focus On Your Application And Not On Solver Integration
[Link zur Zeitschriften-Homepage]




Autor:

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey
Zeitschrift:
International Journal of Software Tools for Technology Transfer
Details:
19(5):605-621, DOI10.1007/s10009-016-0426-1 Link
Jahr:


2017




» RevKit: An Open Source Toolkit for the Design of Reversible Circuits
[Link zur Zeitschriften-Homepage]




Autor:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Zeitschrift:
Reversible Computation 2011 (Series: Lecture Notes in Computer Science)
Details:
Volume 7165, Third International Workshop, RC 2011, Revised Papers, pp. 64-76
Jahr:


2012




» RevKit: A Toolkit for Reversible Circuit Design
[Link zur Zeitschriften-Homepage]




Autor:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Zeitschrift:
Multiple-Valued Logic and Soft Computing
Details:
Volume 18, Number 1, pp. 55-65
Jahr:


2012




» Effective Robustness Analysis using Bounded Model Checking Techniques
[Link zur Zeitschriften-Homepage]




Autor:

Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler
Zeitschrift:
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
Jahr:


2011




» Debugging Reversible Circuits
[Link zur Zeitschriften-Homepage]




Autor:

Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler
Zeitschrift:
INTEGRATION, the VLSI Journal
Details:
Volume 44, Number 1, pp. 51-61, January
DOI: 10.1016/j.vlsi.2010.08.002
Jahr:


2011




» Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen
[Link zur Zeitschriften-Homepage]




Autor:

Görschwin Fey, Andre Sülflow, Stefan Frehse, Rolf Drechsler
Zeitschrift:
it-Information Technology
Details:
Volume 52, Number 4, pp. 216-223
PDF Download
Jahr:


2010





KONFERENZEN


» Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods




Autor:

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
Konferenz:
22nd Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

Chiba/Tokyo, Japan, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Improving Fault Tolerance Utilizing Hardware-Software-Co-Synthesis




Autor:

Heinz Riener, Stefan Frehse, Görschwin Fey
Konferenz:
Design, Automation and Test in Europe (DATE'13)
Referenz:

pp. 939-943, Grenoble, France, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Complete and Effective Robustness Checking by Means of Interpolation




Autor:

Stefan Frehse, Görschwin Fey, Eli Arbel, Karen Yorav and Rolf Drechsler
Konferenz:
Formal Methods in Computer-Aided Design (FMCAD'12)
Referenz:

Cambridge, UK, 2012, page 82-90
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Hardware-Software-Co-Synthese zur Verbesserung der Fehlertoleranz




Autor:

Stefan Frehse, Heinz Riener, Görschwin Fey
Konferenz:
6. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZuE'12)
Referenz:

pp. 90-96, Bremen, Germany, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Hochoptimierter Ablauf zur Robustheitsprüfung




Autor:

Stefan Frehse, Finn Haedicke, Melanie Diepenbeck, Görschwin Fey, Rolf Drechsler
Konferenz:
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE)
Referenz:

Hamburg-Harburg, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Determining Minimal Testsets for Reversible Circuits Using Boolean Satisfiability




Autor:

Hongyan Zhang, Stefan Frehse, Robert Wille, Rolf Drechsler
Konferenz:
10th IEEE Africon
Referenz:

Livingstone, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Kompositionelle Formale Robustheitsprüfung




Autor:

Stefan Frehse, Görschwin Fey
Konferenz:
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE)
Referenz:

Wildbad Kreuth, 2010
Hyperlink:

[Link zur Konferenz]


» RobuCheck: A Robustness Checker for Digital Circuits




Autor:

Stefan Frehse, Görschwin Fey, Andre Sülflow and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

pp. 226-231, Lille, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» A Better-Than-Worst-Case Robustness Measure




Autor:

Stefan Frehse, Görschwin Fey, Rolf Drechsler
Konferenz:
13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

pp. 78-83, Vienna, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Enhancing Debugging of Multiple Missing Control Errors in Reversible Logic




Autor:

Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Referenz:

pp. 465-470, Rhode Island, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Efficient Simulation-based Debugging of Reversible Logic




Autor:

Stefan Frehse, Robert Wille, Rolf Drechsler
Konferenz:
40th International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

pp. 156-161, Barcelona, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Anwendungsbezogene Analyse der Robustheit von Digitalen Schaltungen




Autor:

Andre Sülflow, Stefan Frehse, Görschwin Fey, Rolf Drechsler
Konferenz:
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE)
Referenz:

pp. 45-52, Stuttgart, 2009
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Robustness Check for Multiple Faults using Formal Techniques




Autor:

Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

pp. 85-90, Patras, 2009
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Debugging of Toffoli Networks




Autor:

Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 1284-1289, Nice, 2009
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Formaler Nachweis der Fehlertoleranz von Schaltkreisen




Autor:

Görschwin Fey, Andre Sülflow, Stefan Frehse, Ulrich Kühne, Rolf Drechsler
Konferenz:
GMM/GI/ITG-Fachtagung: Zuverlässigkeit und Entwurf (ZuE 2008)
Referenz:

pp. 75-82, Ingolstadt, 2008
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» metaSMT: Focus on Your Application not on Solver Integration




Autor:

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
Referenz:

pp. 22-29, Austin, USA, 2011
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Customized Design Flows for Reversible Circuits Using RevKit




Autor:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Workshop:
Workshop on Reversible Computation
Referenz:

pp. 91-96, Gent, 2011
Hyperlink:

[Link zum Workshop]


» RevKit: A Toolkit for Reversible Circuit Design




Autor:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Workshop:
Workshop on Reversible Computation
Referenz:

pp. 69-72, Bremen, 2010
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» RobuCheck: A Robustness Checker for Digital Circuits




Autor:

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)
Referenz:

Valencia, 2010
Hyperlink:

[Link zum Workshop]


» A Better-Than-Worst-Case Robustness Measure




Autor:

Stefan Frehse, Görschwin Fey, Rolf Drechsler
Workshop:
22. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen - TuZ 2010
Referenz:

Paderborn, 2010
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Robustness Check for Multiple Faults using Formal Techniques




Autor:

Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler
Workshop:
Constraints in Formal Verification (CFV)
Referenz:

Grenoble, France, 2009
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Computing Bounds for Fault Tolerance using Formal Techniques




Autor:

Andre Sülflow, Görschwin Fey, Stefan Frehse, Ulrich Kühne, Rolf Drechsler
Workshop:
IEEE Workshop on Design for Reliability and Variability (DRV)
Referenz:

Santa Clara, USA, 2008
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt