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

KI-KMU 2020   Workshop on Artificial Intelligence for Small and Medium-Sized Enterprises (Workshop Künstliche Intelligenz für kleine und mittlere Unternehmen)
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
MuC 2020   Mensch und Computer
SAS 2020   Static Analysis Symposium, SAS 2020
EMoWI 2020   Ethik und Moral in der Wirtschaftsinformatik / Ethics and Morality in Business Informatics
CPP 2021   Certified Programs and Proofs
CONISOFT 2020   The 8th IEEE International Conference on Software Engineering Research and Innovation
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
SETTA 2020   Symposium on Dependable Software Engineering Theories, Tools and Applications
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics