1
ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization
Authors:
Schwarz, Michael; Stoffel, Dominik; Kunz, Wolfgang
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
2
Analyse sicherheitskritischer Software für RISC-V Prozessoren
Authors:
Adelt, Peer; Koppelmann, Bastian; Mueller, Wolfgang; Scheytt, Christoph
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
3
Approximation of Neural Networks for Verification
Authors:
Bahnsen, Fin Hendrik; Fey, Goerschwin
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
4
Automated Sensor Firmware Development – Generation, Optimization, and Analysis
Authors:
Rudolf, Jens; Strobel, Manuel; Benz, Joscha; Haubelt, Christian; Radetzki, Martin; Bringmann, Oliver
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
5
Ein Ansatz für die agile, verteilte Entwicklung Cyber-Physischer „Systems of Systems“ (Work in Progress)
Authors:
Grimm, Christoph; Wawrzik, Frank; Zivkovic, Carna
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
6
How to Keep 4-Eyes Principle in a Design and Property Generation Flow
Authors:
Devarajegowda, Keerthikumara; Ecker, Wolfgang; Kunz, Wolfgang
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
7
Inductive Proof Rules Beyond Safety Properties
Authors:
Koehler, Martin; Schneider, Klaus
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
8
Logic Optimization of Majority-Inverter Graphs
Authors:
Riener, Heinz; Testa, Eleonora; Haaswijk, Winston; Mishchenko, Alan; Amaru, Luca; De Micheli, Giovanni; Soeken, Mathias
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
9
Model-Based Configuration of a Coarse-Grained Reconfigurable Architecture
Authors:
Froemmer, Jens; Bannow, Nico; Aue, Axel; Grimm, Christoph; Schneider, Klaus
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
10
Optimization Framework for Hardware Design of Engine Control Units
Authors:
Kmitina, Iryna; Bannow, Nico; Grimm, Christoph; Zielinski, Daniel; Zivkovic, Carna
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
11
Self-Explaining Digital Systems – Some Technical Steps
Authors:
Fey, Goerschwin; Drechsler, Rolf
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
12
SEMAS – System Engineering Methodology for Automated Systems | The world described in layers
Authors:
Hedderich, Markus; Heimberger, Markus; Klekamp, Axel
Conference:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“