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

KUI 2021   19th ACM Conference Culture and Computer Science – Physical und Virtual Spaces
FM 2021   Formal Methods 2021
Romantic Ethics 2022   Romantic Ethics and the ‘Woke’ Romantics (Edited Volume, Anglistik und Englischunterricht)
QEST 2021   International Conference on Quantitative Evaluation of SysTems
ICTAC 2021   18th International Colloquium on Theoretical Aspects of Computing
CALCO 2021    9th International Conference on  Algebra and Coalgebra in Computer Science
FMICS 2021   Formal Methods for Industrial Critical Systems
V&V track@QUATIC 2021   ICT Verification and Validation Track: International Conference on the Quality of Information and Communications Technology
BASS 2021   3rd International Workshop on Behavioral Authentication for System Security
WiL 2021   5th Women in Logic Workshop