Skip to main content Skip to main navigation
Eingebettete Intelligenz Headerbild© Adobe Stock

Eingebettete Intelligenz

Publikationen

Seite 5 von 8.

  1. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes

    In: 4th Workshop on RISC-V Activities. Workshop on RISC-V Activities, December 2, virtuell, 2021.

  2. Vladimir Herdt

    Verbessertes Virtual Prototyping für den Entwurfsablauf

    In: S. Hölldobler et al.. Ausgezeichnete Informatikdissertationen 2020. Pages 119-128, GI, 2021.

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

    Extensible and Configurable RISC-V Based Virtual Prototype

    In: Tom J. Kazmierski; Sebastian Steinhorst; Daniel Große. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions …

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

    Towards Specification and Testing of RISC-V ISA Compliance

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, 2020.

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

    Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, 2020.

  6. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes

    In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

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

    Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side

    In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

  8. Vladimir Herdt; Daniel Große; Pascal Pieper; Rolf Drechsler

    RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level

    In: Journal of Systems Architecture: Embedded Software Design (JSA), Pages o.A-o.A. Elsevier, 2020.

  9. Vladimir Herdt; Daniel Große; Jonas Wloka; Tim Güneysu; Rolf Drechsler

    Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes

    In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Peking, China, 2020.

Kontakt

Sekretariat:
Shannon Kittrell, B.A.
Tel.: +49 631 20575 4010

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Forschungsbereich Eingebettete Intelligenz
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland