|
Home « Team « Publications
» Publications of
Heinz Riener
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» 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]
|
» 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]
|
» Model-Based Diagnosis versus Error Explanation
|
|
|
|
Author:
|
|
Heinz Riener, Görschwin Fey |
| Conference: |
|
10th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'12) |
Reference:
|
| pp. 43-52, Arlington, Virginia, USA, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Yet a Better Error Explanation Algorithm
|
|
|
|
Author:
|
|
Heinz Riener, Görschwin Fey |
| Workshop: |
|
16. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'13) |
Reference:
|
| pp.193-194, Rostock, Germany, 2013
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Verification of Embedded Systems Using Modeling and Implementation Languages
|
|
|
|
Author:
|
|
Mathias Soeken, Heinz Riener, Robert Wille, Görschwin Fey, Rolf Drechsler |
| Workshop: |
|
International Workshop on Metamodelling and Code Generation for Embedded Systems (MeCoEs'12) |
Reference:
|
| pp. 67-72, Tampere, Finland, 2012
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Model-Based Diagnosis versus Error Explanation
|
|
|
|
Author:
|
|
Heinz Riener, Görschwin Fey |
| Workshop: |
|
International Workshop on System Level-Design of Automotive Electronics/Software (SLDAES'12) in conjunction with 49th Design Automation Conference (DAC'12) |
Reference:
|
| San Francisco, USA, 2012
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation
|
|
|
|
Author:
|
|
Heinz Riener, Görschwin Fey |
| Workshop: |
|
19th International SPIN Workshop on Model Checking of Software (SPIN'12) |
Reference:
|
| pp. 234-240, Oxford, United Kingdoms, 2012
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Test Case Generation from Mutants using Model Checking Techniques
|
|
|
|
Author:
|
|
Heinz Riener, Roderick Bloem, Görschwin Fey |
| Workshop: |
|
IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW'11) |
Reference:
|
| pp 388 - 397, Berlin, Germany, 2011
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
