1
A Hard Real Time Demo for Dynamic Ticks and Timed SCCharts
Autoren:
Boysen, Andreas; Schulz-Rosengarten, Alexander; von Hanxleden, Reinhard
Konferenz:
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
Autoren:
Adelt, Peer; Koppelmann, Bastian; Mueller, Wolfgang; Scheytt, Christoph
Konferenz:
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
Autoren:
Elfatih, Braah; Sauppe, Matthias; Heinkel, Ulrich
Konferenz:
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
Autoren:
Froemmer, Jens; Gowayed, Yara; Bannow, Nico; Kunz, Wolfgang; Grimm, Christoph; Schneider, Klaus
Konferenz:
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
Autoren:
Luenemann, Daniel; Fakih, Maher; Gruettner, Kim
Konferenz:
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
Autoren:
Brand, Max; Mayer, Albrecht; Slomka, Frank
Konferenz:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
7
Efficient Binary-Level Coverage Analysis (Abstract)
Autoren:
Khadra, M. Ammar Ben; Stoffel, Dominik; Kunz, Wolfgang
Konferenz:
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
Autoren:
Keszocze, Oliver; Koenig, Moritz; Brand, Marcel; Teich, Juergen
Konferenz:
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
Autoren:
Rieß, Marcel; Slomka, Frank
Konferenz:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
10
Fuzz-Testing RISC-V Simulators
Autoren:
Herdt, Vladimir; Grosse, Daniel; Drechsler, Rolf
Konferenz:
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
Autoren:
Grimm, Christoph; Zivkovic, Carna
Konferenz:
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
Autoren:
Rudolf, Jens; Gruetzmacher, Florian; Haubelt, Christian
Konferenz:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
13
Properties of Invariants and Induction Lemmata
Autoren:
Koehler, Martin; Hasselwander, Felix; Schneider, Klaus
Konferenz:
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
Autoren:
Heller, Jakob; Niemann, Christoph; Plocksties, Franz; Haubelt, Christian; Timmermann, Dirk
Konferenz:
MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop