posted by user: wimmer || 5327 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

KI-KMU 2020   Workshop on Artificial Intelligence for Small and Medium-Sized Enterprises (Workshop Künstliche Intelligenz für kleine und mittlere Unternehmen)
FM 2021   Formal Methods 2021
Romantic Ethics 2022   Romantic Ethics and the ‘Woke’ Romantics (Edited Volume, Anglistik und Englischunterricht)
IJCSEA 2020   International Journal of Computer Science, Engineering and Applications
MuC 2020   Mensch und Computer
WIIS 2020   Workshop on Intelligent Information Systems
EMoWI 2020   Ethik und Moral in der Wirtschaftsinformatik / Ethics and Morality in Business Informatics
FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods