Homepage Sitemap Contact




Home « Team « Publications
» Publications of Heinz Riener



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






CONFERENCES



» CEGAR-based EF Synthesis of Boolean Functions with an Application to Circuit Rectification




Author:

Heinz Riener, Rüdiger Ehlers, Görschwin Fey
Conference:
22nd Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

pp. 251-256, Chiba/Tokyo, Japan, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Designing Reliable Cyber-Physical Systems




Author:

Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon Ter Braak, Sergei Devadze, Görschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Bremen, Germany, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Equivalence Checking on ESL Utilizing A Priori Knowledge




Author:

Niels Thole, Heinz Riener, Görschwin Fey
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Bremen, Germany, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» WCET Overapproximation for Software in the Context of Cyber-Physical Systems




Author:

Niklas Krafczyk, Heinz Riener, Görschwin Fey
Conference:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Reference:

Tallinn, Estonia, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Exact Diagnosis Using Boolean Satisfiability




Author:

Heinz Riener, Görschwin Fey
Conference:
International Conference on Computer Aided Design (ICCAD)
Reference:

Austin, USA, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Equivalence Checking on System Level using A Priori Knowledge




Author:

Niels Thole, Heinz Riener, Görschwin Fey
Conference:
IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15)
Reference:

Belgrade, Serbia, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» metaSMT: A Unified Interface to SMT-LIB2




Author:

Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey, Rolf Drechsler
Conference:
Forum on specification & Design Languages (FDL'14)
Reference:

pp. 1-6, Munich, Germany, 2014
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]



» 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




» Computing Exact Fault Candidates Incrementally




Author:

Heinz Riener, Görschwin Fey
Workshop:
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» Mining Latency Guarantees for RT-level Designs




Author:

Jan Malburg, Heinz Riener, Görschwin Fey
Workshop:
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» Counterexample-Guided EF Synthesis of Boolean Functions




Author:

Heinz Riener, Rüdiger Ehlers, Görschwin Fey
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Bremen, Germany, 2017
Hyperlink:

[Link to the Workshop]



» Counterexample-Guided Diagnosis




Author:

Heinz Riener, Görschwin Fey
Workshop:
International Verification and Security Workshop (IVSW'16)
Reference:

Sant Feliu de Guixols, Catalunya, Spain, 2016
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» SMT-Based CPS Parameter Synthesis




Author:

Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem
Workshop:
Applied Verification for Continuous and Hybrid Systems (ARCH@CPSWeek'16)
Reference:

pp. 126-133, Vienna, Austria, 2016
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Path-Based Program Repair




Author:

Heinz Riener, Rüdiger Ehlers, Görschwin Fey
Workshop:
12th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS (FESCA'15)
Reference:

pp. 22-32, London, United Kingdoms, 2015
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Execution Tracing of C Code for Formal Analysis




Author:

Heinz Riener, Michael Kirkedal Thomsen, Görschwin Fey
Workshop:
18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15)
Reference:

Chemnitz, Germany, 2015
Hyperlink:

[Link to the Workshop]



» A Logic for Cardinality Constraints




Author:

Heinz Riener, Oliver Keszöcze, Rolf Drechsler, Görschwin Fey
Workshop:
17. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'14)
Reference:

Böblingen, Germany, 2014
Hyperlink:

[Link to the Workshop]



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

















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









Sitemap Kontakt

ISMVL2014 DUHDE