1
A Hard Real Time Demo for Dynamic Ticks and Timed SCCharts
Authors:
Boysen, Andreas; Schulz-Rosengarten, Alexander; von Hanxleden, Reinhard
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
2
A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures
Authors:
Adelt, Peer; Koppelmann, Bastian; Mueller, Wolfgang; Scheytt, Christoph
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
3
A Verification Approach for Programmable Logic Controllers
Authors:
Elfatih, Braah; Sauppe, Matthias; Heinkel, Ulrich
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
4
Area Estimation Framework for Digital Hardware Design using Machine Learning
Authors:
Froemmer, Jens; Gowayed, Yara; Bannow, Nico; Kunz, Wolfgang; Grimm, Christoph; Schneider, Klaus
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
5
Capturing Neural-Networks as Synchronous Dataflow Graphs
Authors:
Luenemann, Daniel; Fakih, Maher; Gruettner, Kim
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
6
Echtzeitanomalien: Automatisiertes Testen der Zuverlässigkeit realer Systeme mit Hilfe von Zeit-Fault Injection
Authors:
Brand, Max; Mayer, Albrecht; Slomka, Frank
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
7
Efficient Binary-Level Coverage Analysis (Abstract)
Authors:
Khadra, M. Ammar Ben; Stoffel, Dominik; Kunz, Wolfgang
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
8
Error Analysis for Loop Programs using Anytime Instructions in Approximate Computing
Authors:
Keszocze, Oliver; Koenig, Moritz; Brand, Marcel; Teich, Juergen
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
9
Erweiterter modellbasierten Entwurf eines selektiven und konfigurierbaren Echtzeitkommunikationssystems
Authors:
Rieß, Marcel; Slomka, Frank
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
10
Fuzz-Testing RISC-V Simulators
Authors:
Herdt, Vladimir; Grosse, Daniel; Drechsler, Rolf
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
11
jAADD: A Library for Symbolic Analysis of Hybrid Systems
Authors:
Grimm, Christoph; Zivkovic, Carna
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
12
Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs
Authors:
Rudolf, Jens; Gruetzmacher, Florian; Haubelt, Christian
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
13
Properties of Invariants and Induction Lemmata
Authors:
Koehler, Martin; Hasselwander, Felix; Schneider, Klaus
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
14
Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS
Authors:
Heller, Jakob; Niemann, Christoph; Plocksties, Franz; Haubelt, Christian; Timmermann, Dirk
Conference:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop