1
A Matter of Overhead – Response Time Analysis of Hard Real-Time Systems in Theory and Practice
Autoren:
Brand, Max; Mayer, Albrecht; Slomka, Frank
Konferenz:
MBMV 2021 - 24. Workshop MBMV
2
APPEL - AGILA ProPErty and Dependency Description Language
Autoren:
Grimm, Christoph; Wawrzik, Frank; Jung, Alexander Louis-Ferdinand; Luebeck, Konstantin; Post, Sebastian; Koch, Johannes; Bringmann, Oliver
Konferenz:
MBMV 2021 - 24. Workshop MBMV
3
Approximate Computing Extensions for the Clash HDL Compiler
Autoren:
Keszocze, Oliver; Kiessling, Michael
Konferenz:
MBMV 2021 - 24. Workshop MBMV
4
Benchmarking SMT Solvers on Automotive Code
Autoren:
Mentel, Lukas; Scheibler, Karsten; Winterer, Felix; Becker, Bernd; Teige, Tino
Konferenz:
MBMV 2021 - 24. Workshop MBMV
5
Comprehensive modeling and evaluation of Network-on-Chip performability
Autoren:
Hou, Jie; Radetzki, Martin
Konferenz:
MBMV 2021 - 24. Workshop MBMV
6
Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion
Autoren:
Ahmadi-Pour, Sallar; Herdt, Vladimir; Drechsler, Rolf
Konferenz:
MBMV 2021 - 24. Workshop MBMV
7
Decision Tree-based Throughput Estimation to Accelerate Design Space Exploration for Multi-Core Applications
Autoren:
Letras, Martin; Falk, Joachim; Teich, Juergen
Konferenz:
MBMV 2021 - 24. Workshop MBMV
8
Exploration of DDR5 with the Open-Source Simulator DRAMSys
Autoren:
Steiner, Lukas; Jung, Matthias; Wehn, Norbert
Konferenz:
MBMV 2021 - 24. Workshop MBMV
9
Extended Abstract: Viability of Decision Trees for Learning Models of Systems
Autoren:
Plambeck, Swantje; Schammer, Lutz; Fey, Goerschwin
Konferenz:
MBMV 2021 - 24. Workshop MBMV
10
Extending Verilator to Enable Fault Simulation
Autoren:
Kaja, Endri; Leon, Nicolas Ojeda; Werner, Michael; Andrei-Tabacaru, Bogdan; Devarajegowda, Keerthikumara; Ecker, Wolfgang
Konferenz:
MBMV 2021 - 24. Workshop MBMV
11
ICP and IC3 with Stronger Generalization
Autoren:
Winterer, Felix; Seufert, Tobias; Scheibler, Karsten; Teige, Tino; Scholl, Chritsoph; Becker, Bernd
Konferenz:
MBMV 2021 - 24. Workshop MBMV
12
On Self-Verifying DSL Generation for Embedded Systems Automation
Autoren:
Han, Zhao; Qazi, Shahzaib; Werner, Michael; Devarajegowda, Keerthikumara; Ecker, Wolfgang
Konferenz:
MBMV 2021 - 24. Workshop MBMV
13
Ontology Design for Microelectronics with Roadmapping (Work-in-progress)
Autoren:
Wawrzik, Frank; Grimm, Christoph
Konferenz:
MBMV 2021 - 24. Workshop MBMV
14
Operation-Level Synthesis
Autoren:
Deutschmann, Lucas; Schauss, Johannes; Ludwig, Tobias; Stoffel, Dominik; Kunz, Wolfgang
Konferenz:
MBMV 2021 - 24. Workshop MBMV
15
Register and Instruction Coverage Analysis for Different RISC-V ISA Modules
Autoren:
Adelt, Peer; Koppelmann, Bastian; Mueller, Wolfgang; Scheytt, Christoph
Konferenz:
MBMV 2021 - 24. Workshop MBMV
16
Stärkung deterministischer Strategien für POMDPs
Autoren:
Winterer, Leonore; Wimmer, Ralf; Jansen, Nils; Becker, Bernd
Konferenz:
MBMV 2021 - 24. Workshop MBMV