MBMV 2018

Auflistung nach

21. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” – 13. - 14. März 2018, Tübingen

Using Template Metaprogramming for Hardware Description

Käsgen, Philipp; Weinhardt, Markus (2018-03-13); Konferenzpaper
Real-Time Analysis of Distributed Systems including Tasks with Variable Rate-dependent Behavior

Feld, Timo; Werkmann, Uwe; Slomka, Frank (2018-03-13); Konferenzpaper
Upper Bound for Delay Densities

Hock, Florian; Pollex, Victor; Shen, Chijun; Bund, Tobias; Slomka, Frank (2018-03-13); Konferenzpaper
ScaLP: A Light-Weighted (MI)LP-Library

Sittel, Patrick; Schönwälder, Thomas; Kumm, Martin; Zipf, Peter (2018-03-13); Konferenzpaper
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches

Neubauer, Kai; Haubelt, Christian; Wanko, Philipp; Schaub, Torsten (2018-03-14); Konferenzpaper