posted by user: wimmer || 5098 views || tracked by 10 users: [display]

MBMV 2015 : 18. 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://www.tu-chemnitz.de/etit/sse/mbmv2015/
 
When Mar 3, 2015 - Mar 4, 2015
Where Chemnitz, Germany
Submission Deadline Nov 2, 2014
Notification Due Dec 17, 2014
Final Version Due Feb 1, 2015
Categories    verification   formal methods   circuits   systems
 

Call For Papers

18. Workshop Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen (MBMV 2015).

Der Workshop findet am 3. und 4. März 2015 im Mercure Kongress Hotel in
Chemnitz statt. Alle Termine und Informationen zum Workshop finden Sie auf der
Veranstaltungs-Website: http://www.tu-chemnitz.de/etit/sse/mbmv2015/
und im beiliegenden CfP.

Anbei die Wichtigsten Information im Überblick

## Termine
* 01. August 2014 Beginn Einreichungsphase
* 02. November 2014 Einreichung der Beiträge zur Begutachtung
* 17. Dezember 2014 Benachrichtigung der Autoren
* 25. Januar 2015 Ende der vergünstigten Anmeldung
* 01. Februar 2015 Einreichung der finalen Beiträge
* 22. Februar 2015 Ende der Anmeldefrist
* 03./04. März 2015 Durchführung der Tagung

## 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 über Easychair einzureichen. Das
Programmkomitee begutachtet und kommentiert diese im Anschluss. Angenommene
Beiträge werden in einem Tagungsband mit ISBN veröffentlicht. Die Sprache des
Workshops ist deutsch. Beiträge in englischer Sprache sind jedoch willkommen.

Related Resources

SICHERHEIT 2022   GI Sicherheit 2022 - Sicherheit, Schutz und Zuverlässigkeit
TASE 2022   Theoretical Aspects of Software Engineering
Romantic Ethics 2022   Romantic Ethics and the ‘Woke’ Romantics (Edited Volume, Anglistik und Englischunterricht)
MMSys 2022   ACM Conference on Multimedia Systems
iFM 2022   International Conference on integrated Formal Methods
ICFEM 2022   23th International Conference on Formal Engineering Methods
RC 2022   Reversible Computation
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
ANTJ 2022   Advanced Nanoscience and Technology: An International Journal
FormaliSE 2022   10th International Conference on Formal Methods in Software Engineering