Eingebettete Intelligenz

Seite 1 von 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 Engineering and Software Development (MODELSWARD-2021), 9th, February 8-10, Online-Conference, 2021.

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 (MODELSWARD), Revised Selected Papers. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020), February 25-27, Valletta, Malta, Springer, 2021.

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, January 13-16, Beijing, China, 2020.

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 Engineering and Software Development (MODELSWARD-2020), February 25-27, Valetta, Malta, 2020.

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 18-20, Durgapur, India, 2017.

• 1