Call for Papers

Der 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen wird 2012 vom Fachbereich Informatik der Technischen Universität Kaiserslautern ausgerichtet. Die Tagung findet im März 2012 an der Technischen Universität Kaiserslautern statt.
Themen

Der Workshop hat es sich zum Ziel gesetzt, neueste Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren. Er soll somit ein Forum zum Ideenaustausch sein.

Beiträge aus der industriellen Praxis und von Forschungseinrichtungen, sowohl praxisbezogene Ergebnisse als auch theoretische Grundlagen, sind willkommen. Diese sollten aus den folgenden Themengebieten kommen:

* 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 Verifikation

Einreichung

Die Autoren werden gebeten, ihre Beiträge im Umfang von bis zu 10 Seiten (DIN A4, einspaltig, 12pt Times) als PDF-Datei einzureichen. Diese werden im Anschluss begutachtet, und die vom Programmkomitee angenommenen Beiträge werden in einem Tagungsband mit ISBN veröffentlicht. Die Sprache des Workshops ist deutsch, Beiträge in englischer Sprache sind jedoch willkommen.
Programmkomitee

* Bernd Becker, Universität Freiburg
* Jens Brandt, Techn. Universität Kaiserslautern
* Oliver Bringmann, FZI Karlsruhe
* Manfred Dietrich, Fraunhofer IIS / EAS Dresden
* Rolf Drechsler, Universität Bremen
* Hans Eveking, Techn. Universität Darmstadt
* Martin Freibothe, OneSpin Solutions GmbH
* Carsten Gremzow, Bergische Universität Wuppertal
* Christoph Grimm, Techn. Universität Wien
* Wolfram Hardt, Techn. Universität Chemnitz
* Christian Haubelt, Universität Rostock
* Lars Hedrich, Universität Frankfurt/M.
* Ulrich Heinkel, Techn. Universität Chemnitz
* Jörg Henkel, Universität Karlsruhe
* Sorin A. Huss, Techn. Universität Darmstadt
* Christoph Jäschke, IBM Böblingen
* Uwe Knöchel, Fraunhofer IIS / EAS Dresden
* Thomas Kropf, Bosch, Leonberg
* Wolfgang Kunz, Techn. Universität Kaiserslautern
* Gunther Lehmann, Infineon, München
* Paul Molitor, Universität Halle
* Wolfgang Müller, Universität Paderborn
* Klaus D. Müller-Glaser, Universität Karlsruhe
* Peter Oehler, Continental A. S., Frankfurt / M.
* Frank Oppenheimer, OFFIS, Oldenburg
* Jürgen Ruf, IBM, Böblingen
* Klaus Schneider, Techn. Universität Kaiserslautern
* Christoph Scholl, Universität Freiburg
* Jens Schönherr, Signalion GmbH, Dresden
* Martin Speitel, Fraunhofer IIS, Erlangen
* Dominik Stoffel, Techn. Universität Kaiserslautern
* Jürgen Teich, Universität Erlangen
* Reinhold Vahrmann, Atmel, Heilbronn
* Klaus Waldschmidt, Universität Frankfurt / M.
* Reimund Wittmann, IP GEN, Bochum