Anzeige
Sortierung

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“