Embedded Intelligence

Page 2 of 6.

1. Iris Pigeot; Frank Oliver Glöckner; Rolf Drechsler; Tanja Hörner; Derk Hergen Schönfeld; Lena Steinmann; Björn Oliver Schmidt; Florian Cordes; Frank Kirchner; Christoph Lüth; Antje Boetius; Andreas Breiter; Nicolas Dittert; Rainer Fechte-Heinen; Jutta Günther; Horst Hahn; Jan-Ocko Heuer; Betina Hollstein; Elisabeth Huber; Lutz Mädler; Guido Prause; Norbert Riefler; Norman Sieroka

   Etablierung eines kooperativen Forschungsdatenmanagements in der U Bremen Research Alliance

   Zenodo, 5/2021.

2. 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 …

3. 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 …

4. Christina Cociancig; Christoph Lüth; Rolf Drechsler

   Modeling for Explainability: Ethical Decision-Making in Automated Resource Allocation

   In: Proceedings of the Upper-Rhine Artificial Intelligence Symposium (UR-AI 2021). Upper-Rhine Artificial Intelligence Symposium (UR-AI-2021), October …

5. 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, …

6. 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 …

7. 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.

8. Stefan Fischer; Martin Leucker; Christoph Lüth; Thomas Martinetz; Raimund Mildner; Dirk Nowotka; Frank Steinicke

   KI-SIGS: Artificial Intelligence for the Northern German Health Ecosystem

   In: Digitale Welt, Vol. 4, Pages 49-54, Springer Verlag, 12/2019.

9. Martin Ring; Christoph Lüth

   Let's Prove It Later --- Verification at Different Points in Time

   In: Peter Csaba Ölveczky; Gwen Salaün (Hrsg.). Software Engineering and Formal Methods - 17th International Conference, Proceedings. International …

10. 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.

• 1
• 2
• 3
• …
• 6
• next