Robotics Innovation Center

Page 1 of 1.

1. Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

   Performance Aspects of Correctness-oriented Synthesis Flows

   In: 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven …

2. Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

   Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

   In: Slimane Hammoudi; Luís Ferreira Pires; Bran Selić (Hrsg.). 8th International Conference on Model-Driven Engineering and Software Development …

3. Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

   Towards Automatic Hardware Synthesis from Formal Specification to Implementation

   In: 25th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2020), 25th, …

4. Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

   Integer Overflow Detection in Hardware Designs at the Specification Level

   In: 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven …

5. Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

   Verification Runtime Analysis: Get the Most Out of Partial Verification

   In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, IEEE, 2020.

6. Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

   Better Late Than Never: Verification of Embedded Systems After Deployment

   In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.

7. Fritjof Bornebusch; Robert Wille; Rolf Drechsler

   Towards Lightweight Satisfiability Solvers for Self-Verification

   In: 7th International Symposium on Embedded Computing and System Design. International Symposium on Electronic System Design (ISED-17), 7th, December …

• 1