CALL FOR PAPERS
—————
19. Workshop „Methoden und Beschreibungssprachen zur
Modellierung und Verifikation von Schaltungen und Systemen”
(MBMV 2016)
Freiburg im Breisgau
1.-3. März 2016
Themenbereiche
—————
Der Workshop soll ein Forum bilden, um neue Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale, analoge und Mixed-Signal-Systeme zu diskutieren.
Beiträge aus der industriellen Praxis und von Forschungseinrichtungen, sowohl praxisbezogene Ergebnisse als auch theoretische Grundlagen, sind willkommen. Insbesondere Nachwuchswissenschaftler sind herzlich eingeladen, ihre Beiträge einzureichen.
Inhaltlich konzentriert sich der Workshop auf folgende Themengebiete:
* Formale und semi-formale Spezifikation und Modellierung
* Standards und Erweiterungen von Hardware-Beschreibungssprachen
* Entwurfsmethodik
* Entwurfswiederverwendung (Reuse, IP)
* Syntheseverfahren (Behavioral, RTL)
* Codesign (analog/digital, Hardware/Software)
* Formale Synthese
* Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
* Schaltungen und Systeme in sicherheitsrelevanten Produkten
(Zertifizierung)
* Verifikation nichtfunktionaler Eigenschaften
* Simulationsbasierte Validierung
Einreichung
———–
Die Autoren werden gebeten, ihre bis jetzt unveröffentlichte Beiträge im Umfang von bis zu 10 Seiten (DIN A4, einspaltig, 12pt Times) oder bereits veröffentlichte Beiträge als einseitige Zusammenfassung (DIN A4, einspaltig, 12pt Times) als Pdf-Datei, in der ggf. die Originalpublikation referenziert ist, über
https://easychair.org/conferences/?conf=mbmv2016
einzureichen. Das Programmkomitee begutachtet und kommentiert alle Einreichungen. Angenommene unveröffentlichte Beiträge werden komplett, bereits veröffentlichte Beiträge in Form eines extended Abstracts in einem Tagungsband mit ISBN veröffentlicht. Verwenden Sie für die Ausfertigung Ihres Beitrags die Vorlagen, die Sie auf der Webseite des Workshops finden:
http://ira.informatik.uni-freiburg.de/mbmv2016/
Die Sprache des Workshops ist deutsch. Beiträge in englischer Sprache sind jedoch willkommen.
Termine
——-
Einreichungsfrist: verlängert bis zum 12.11.2015
Benachrichtigung der Autoren: 23.12.2015
Einreichung der finalen Beiträge: 31.01.2016
Workshop: 01.03.2016–03.03.2016
Organisation
————
Ralf Wimmer, Uni Freiburg
mit freundlicher Unterstützung von:
Bernd Becker, Uni Freiburg
Angelika Fabry-Flashar, Uni Freiburg
Programmkomitee
—————
Erika Ábrahám, RWTH Aachen
Bernd Becker, Uni Freiburg
Jens Brandt, Robert Bosch GmbH
Oliver Bringmann, Uni Tübingen
Manfred Dietrich, Fraunhofer IIS
Gero Dittmann, IBM Research
Rolf Drechsler, Uni Bremen
Martin Freibothe, Intel Deutschland GmbH
Ralph Görgen, OFFIS e.V.
Christoph Grimm, TU Kaiserslautern
Christian Haubelt, Uni Rostock
Ulrich Heinkel, TU Chemnitz
Jörg Henkel, Karlsruhe Institute of Technology
Christoph Jäschke, IBM Research
Thomas Klotz, Bosch Sensortec GmbH
Thomas Kropf, Robert Bosch GmbH / Uni Tübingen
Wolfgang Kunz, TU Kaiserslautern
Gunther Lehmann, Infineon Technologies AG
Wolfgang Müller, Heinz-Nixdorf-Institut / Uni Paderborn
Jürgen Ruf, Bosch Sensortec GmbH
Klaus Schneider, TU Kaiserslautern
Jens Schönherr, HTW Dresden
Christoph Scholl, Uni Freiburg
Dominik Stoffel, TU Kaiserslautern
Jürgen Teich, Uni Erlangen-Nürnberg
Markus Wedler, Synopsys, Inc.