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

EMoWI 2020   Ethik und Moral in der Wirtschaftsinformatik / Ethics and Morality in Business Informatics
CAV 2020   Computer Aided Verification
IT-Tage 2019   IT-Konferenz für Softwareentwicklung, Architektur und Management
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
IJCAR 2020   10th International Joint Conference on Automated Reasoning
LiVe 2020   4th Workshop on Learning in Verification
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
CREST 2020   5th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
NFM 2020   12th NASA Formal Methods Symposium