posted by user: wimmer || 4997 views || tracked by 9 users: [display]

MBMV 2014 : Workshop on 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://www.ibm.com/de/entwicklung/mbmv2014/index.html
 
When Mar 10, 2014 - Mar 12, 2014
Where Boeblingen, Germany
Abstract Registration Due Nov 2, 2013
Submission Deadline Nov 11, 2013
Notification Due Dec 12, 2013
Categories    verification   formal methods   description languages
 

Call For Papers

17. Workshop Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen

Böblingen, 10.-12. März 2014
www.ibm.com/de/entwicklung/mbmv2014/index.html
Termine
02. November 2013: Anmeldung der Beiträge (Titel und Zusammenfassung)
11. November 2013: Einreichung der Beiträge zur Begutachtung
12. Dezember 2013: Mitteilung der Begutachtungsergebnisse
10.-12. März 2014: Tagung in Rostock-Warnemünde

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. 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. Die vom
Programmkomitee ausgewählten Beiträge werden in einem Tagungsband mit ISBN
veröffentlicht. Die Sprache des Workshops ist deutsch, Beiträge in
englischer Sprache sind jedoch willkommen. Weitere Informationen zur
Einreichung der Beiträge sind auf der Homepage zu finden:
http://www.ibm.com/de/entwicklung/mbmv2014/einreichung.html


Programmkomitee
Bernd Becker, Universität Freiburg
Jens Brandt, Techn. Universität Kaiserslautern
Oliver Bringmann, Universität Tübingen
Manfred Dietrich, Fraunhofer IIS
Gero Dittmann, IBM Forschung
Rolf Drechsler, Universität Bremen
Martin Freibothe, Intel Mobile Communications GmbH
Michael Glaß, Universität Erlangen-Nürnberg
Carsten Gremzow, Bergische Universität Wuppertal
Christoph Grimm, Techn. Universität Wien
Christian Haubelt, Universität Rostock
Ulrich Heinkel, Techn. Universität Chemnitz
Jörg Henkel, Universität Karlsruhe
Christoph Jäschke, IBM Deutschland Forschung und Entwicklung
Uwe Knöchel, Fraunhofer IIS / EAS Dresden
Thomas Kropf, Bosch
Wolfgang Kunz, Techn. Universität Kaiserslautern
Gunther Lehmann, Infineon, München
Paul Molitor, Universität Halle
Wolfgang Müller, Universität Paderborn
Peter Oehler, Continental A. S., Frankfurt / M.
Frank Oppenheimer, Offis
Jürgen Ruf, IBM, IBM Deutschland Forschung und Entwicklung
Klaus Schneider, Techn. Universität Kaiserslautern
Christoph Scholl, Universität Freiburg
Jens Schönherr, HTW Dresden
Martin Speitel, Fraunhofer IIS, Erlangen
Dominik Stoffel, Techn. Universität Kaiserslautern
Jürgen Teich, Universität Erlangen
Klaus Waldschmidt, Universität Frankfurt / M.
Markus Wedler, Synopsys
Robert Wille, Universität Bremen
Reimund Wittmann, IP GEN, Bochum

Related Resources

Romantic Ethics 2022   Romantic Ethics and the ‘Woke’ Romantics (Edited Volume, Anglistik und Englischunterricht)
CAV 2021   33rd International Conference on Computer-Aided Verification
KI-KMU 2020   Workshop on Artificial Intelligence for Small and Medium-Sized Enterprises (Workshop Künstliche Intelligenz für kleine und mittlere Unternehmen)
NFM 2021   13th NASA Formal Methods Symposium
MuC 2020   Mensch und Computer
FM 2021   Formal Methods 2021
EMoWI 2020   Ethik und Moral in der Wirtschaftsinformatik / Ethics and Morality in Business Informatics
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
QEST 2021   International Conference on Quantitative Evaluation of SysTems
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods