Robotics Innovation Center

Publikationen

Seite 5 von 10.

Vladimir Herdt; Daniel Große; Eyck Jentzsch; Rolf Drechsler
Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2020), September 15-17, Kiel, Germany, 2020.
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 Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2020), October 20-24, Rhodes, Greece, 2020.
Vladimir Herdt; Daniel Große; Rolf Drechsler
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
ISBN 978-3-030-54827-8, Springer, 2020.
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 16-20, Lugano, Switzerland, 2020.
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, Hartford, USA, 2020.
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.
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, January 21-24, Tokyo, Japan, 2019.
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, January 21-24, Tokyo, Japan, 2019.
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.
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.

Links

Kontakt

Hauptgeschäftsstelle

Tel.: +49 421 1784 50
Fax: +49 421 1784 5415 0
robotik@dfki.de

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Robotics Innovation Center
Robert-Hooke-Str. 1
28359 Bremen
Deutschland