Robotics Innovation Center

Page 5 of 10.

1. Tim Meywerk; Marcel Walter; Vladimir Herdt; Jan Kleinekathöfer; Daniel Große; Rolf Drechsler

   Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling

   In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). International Symposium On …

2. Vladimir Herdt; Daniel Große; Rolf Drechsler

   Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

   ISBN 978-3-030-54827-8, Springer, 2020.

3. Tim Meywerk; Marcel Walter; Daniel Große; Rolf Drechsler

   Clustering-Guided SMT(LRA) Learning

   In: 16th International Conference on integrated Formal Methods (iFM). International Conference on Integrated Formal Methods (IFM-2020), November …

4. Vladimir Herdt; Daniel Große; Sören Tempel; Rolf Drechsler

   Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime

   In: 38th IEEE International Conference on Computer Design (ICCD). IEEE International Conference on Computer Design (ICCD-2020), October 18-21, …

5. Buse Ustaoglu; Kenneth Schmitz; Daniel Große; Rolf Drechsler

   ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs

   In: SN Applied Sciences, Vol. 02, Springer Nature, 2020.

6. Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler

   Scalable Design for Field-coupled Nanocomputing Circuits

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

7. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

   Maximizing Power State Cross Coverage in Firmware-based Power Management

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

8. Hoang M. Le; Daniel Große; Niklas Bruns; Rolf Drechsler

   Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing

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

9. Muhammad Hassan; Daniel Große; Hoang M. Le; Rolf Drechsler

   Data Flow Testing for SystemC-AMS Timed Data Flow Models

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

10. Vladimir Herdt; Daniel Große; Hoang M. Le; Rolf Drechsler

    Verifying Instruction Set Simulators using Coverage-guided Fuzzing

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

• previous
• 1
• …
• 4
• 5
• 6
• …
• 10
• next