Robotics Innovation Center

Page 1 of 7.

1. Sören Tempel; Tobias Brandt; Christoph Lüth; Christian Dietrich; Rolf Drechsler

   Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

2. Spandan Das; Christoph Lüth; Rolf Drechsler

   Designing Memory Protection for a RISC-V Nano-VP

   In: Proceedings of the 3rd Workshop on Nano Security: From Nano-Electronics to Secure Systems (NanoSec'25). Workshop on Nano Security: From Nano-Electronics to Secure Systems (NanoSec-25), March 29 - April 2, Lyon, France, 2025.

3. Tim Henkes; Steffen Reith; Marc Stöttinger; Norbert Herfurth; Goran Panic; Julian Wälde; Fabian Buschkowski; Pascal Sasdrich; Christoph Lüth; Milan Funck; Tuba Kiyan; Arnd Weber; Detlef Boeck; René Rathfelder; Torsten Grawunder

   Evaluating an open-source hardware approach from HDL to GDS for a security chip design — a review of the final stage of project HEP

   In: Design, Automation and Test in Europe. Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

4. Christina Plump; Daniel C. Hoinkiss; Jörn Huber; Bernhard J. Berger; Matthias Günther; Christoph Lüth; Rolf Drechsler

   Finding the perfect MRI sequence for your patient --- Towards an optimisation workflow for MRI-sequences

   In: The IEEE World Congress on Computational Intelligence. IEEE World Congress on Computational Intelligence (WCCI-2024), June 30 - July 5, Yokohama, Japan, 2024.

5. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

   Symbolic Execution of Binary Code based on Formal ISA Semantics

   In: 4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal, 2024.

6. Mario Gleirscher; Rehab Massoud; Dieter Hutter; Christoph Lüth

   How Deduction Systems Can Help You To Verify Stability Properties

   In: Conference on Decision and Control. IEEE Conference on Decision and Control (CDC-2024), December 16-19, Milano, Italy, Vol. abs/2404.10747, IEEE, 2024.

7. Sören Tempel; Tobias Brandt; Christoph Lüth

   Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture

   In: 24th International Symposium on Trends in Functional Programming (TFP). International Symposium on Trends in Functional Programming (TFP-2023), January 12-15, Boston, MA, USA, 2023.

8. Daniel Christopher Hoinkiss; Jörn Huber; Christina Plump; Christoph Lüth; Rolf Drechsler; Matthias Günther

   AI-Driven and Automated MRI Sequence Optimization in Scanner-Independent MRI Sequences Formulated by a Domain-Specific Language

   In: Frontiers in Neuroimaging, Vol. 02, frontiers, 2023.

9. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

   Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models

   In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2023), September 13-15, Turin, Italy, 2023.

10. Christoph Lüth; Nicole Megow; Rolf Drechsler; Udo Frese

    Verifizierung für autonome Unterwassersysteme

    In: Frank Kirchner; Sirko Straube; Daniel Kühn; Nina Hoyer. KI-Technologie für Unterwasserroboter. Pages 185-198, Springer, 2023.

• 1
• 2
• 3
• …
• 7
• next