1
ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization
Autoren:
Schwarz, Michael; Stoffel, Dominik; Kunz, Wolfgang
Konferenz:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
2
Analyse sicherheitskritischer Software für RISC-V Prozessoren
Autoren:
Adelt, Peer; Koppelmann, Bastian; Mueller, Wolfgang; Scheytt, Christoph
Konferenz:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
3
Approximation of Neural Networks for Verification
Autoren:
Bahnsen, Fin Hendrik; Fey, Goerschwin
Konferenz:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
4
Automated Sensor Firmware Development – Generation, Optimization, and Analysis
Autoren:
Rudolf, Jens; Strobel, Manuel; Benz, Joscha; Haubelt, Christian; Radetzki, Martin; Bringmann, Oliver
Konferenz:
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)
Autoren:
Grimm, Christoph; Wawrzik, Frank; Zivkovic, Carna
Konferenz:
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
Autoren:
Devarajegowda, Keerthikumara; Ecker, Wolfgang; Kunz, Wolfgang
Konferenz:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
7
Inductive Proof Rules Beyond Safety Properties
Autoren:
Koehler, Martin; Schneider, Klaus
Konferenz:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
8
Logic Optimization of Majority-Inverter Graphs
Autoren:
Riener, Heinz; Testa, Eleonora; Haaswijk, Winston; Mishchenko, Alan; Amaru, Luca; De Micheli, Giovanni; Soeken, Mathias
Konferenz:
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
Autoren:
Froemmer, Jens; Bannow, Nico; Aue, Axel; Grimm, Christoph; Schneider, Klaus
Konferenz:
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
Autoren:
Kmitina, Iryna; Bannow, Nico; Grimm, Christoph; Zielinski, Daniel; Zivkovic, Carna
Konferenz:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
11
Self-Explaining Digital Systems – Some Technical Steps
Autoren:
Fey, Goerschwin; Drechsler, Rolf
Konferenz:
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
Autoren:
Hedderich, Markus; Heimberger, Markus; Klekamp, Axel
Konferenz:
MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“