posted by user: wimmer || 6899 views || tracked by 6 users: [display]

MBMV 2012 : 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

FacebookTwitterLinkedInGoogle


Conference Series : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
 
Link: http://es.cs.uni-kl.de/events/MBMV-2012/index.html
 
When Mar 5, 2012 - Mar 7, 2012
Where Kaiserslautern, Germany
Submission Deadline Oct 28, 2011
Notification Due Dec 12, 2011
Categories    verification   formal methods
 

Call For Papers

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

Related Resources

MBMV 2024   Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
FM 2024   Formal Methods
T&D Modellierung 2024   Tools & Demo Track at the Modellierung 2024
ICFEM 2024   International Conference on Formal Engineering Methods
KONVENS 2024   Konferenz zur Verarbeitung natürlicher Sprache / Conference on Natural Language Processing
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
SGEM Wien Grün 2024   SWS Vienna GREEN 2024 Grüne Wissenschaft für grünes Leben - Internationale wissenschaftliche Konferenz für Erd- und Planetenwissenschaften
TAP 2024   18th International Conference on Tests and Proofs
MuC 2024   Mensch und Computer
IT-Tage 2024   IT-Tage - IT-Konferenz für Software-Entwicklung, -Architektur, KI, Datenbanken, DevOps, Agile und Management