Robotics Innovation Center

Page 4 of 10.

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

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

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

4. Niklas Bruns; Daniel Große; Rolf Drechsler

   Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning

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

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

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

   Fuzz-Testing RISC-V Simulators

   In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

7. David Lemma; Mehran Goli; Daniel Große; Rolf Drechsler

   Towards Generation of a Programmable Power Management Unit at the Electronic System Level

   In: 23rd IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE Symposium on Design and Diagnostics …

8. Frank Sill Torres; Pedro A. Silva; Geraldo Fontes; Marcel Walter; José Augusto M. Nacif; Ricardo Santos Ferreira; Omar Paranaiba Vilela Neto; Jeferson F. Chaves; Robert Wille; Philipp Niemann; Daniel Große; Rolf Drechsler

   On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata

   In: Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2020.

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

   RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms

   In: 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis. International Symposium on Automated Technology for …

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.

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