Publikationen

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

In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2021) September 8-10 Antibes/Hybrid France 2021.

Zur Publikation

In: 58th Design Automation Conference (DAC). Design Automation Conference (DAC-2021) December 5-9 San Francisco CA United States 2021.

Zur Publikation

In: Journal of Systems Architecture: Embedded Software Design (JSA) Elsevier 2021.

Zur Publikation

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021) February 1-5 Grenoble France 2021.

Zur Publikation

In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021) January 18-21 Tokyo Japan 2021.

Zur Publikation

Publikationen

Aktive Filter:

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

In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes

Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing

Adaptive Simulation with Virtual Prototypes in an Open-Source RISC-V Evaluation Platform

An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes

Mutation-based Compliance Testing for RISC-V

Jahr

Folgen Sie uns auf:

Herausgeber

Newsletter

Standorte