MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Call For Paper (CFP) Description
Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen
11./12. März 2025 – Universität Rostock
https://mbmv2025.uni-rostock.de
Der 28. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung. Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:
* Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung
* Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme
* Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW
* Verhaltensmodellierung, KI-basierte Modelle
* Modellbasierte Entwicklung
* Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen
* Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
* Schaltungen und Systeme in sicherheitsrelevanten Produkten
* Verifikation nichtfunktionaler Eigenschaften
* Simulationsbasierte Verifikation und Validierung
* Digitalisierung der Entwicklung z.B. durch Maschinelles Lernen oder Datenanalyse
Die Betrachtung weiterer Aspekte im Bereich Modellierung und Verifikation ist im Sinne des Workshops.
Termine
Einreichung der Beiträge:
Abstract: 06.01.2025
Paper: 13.01.2025
Benachrichtigung der Autoren: 17.02.2025
Einreichung der finalen Beiträge: 25.02.2025
Tagung: 11./12.03.2025
Organisation
Veranstalter des MBMV sind GMM, ITG und GI FG3 und FG4
Christian Haubelt (Workshop Chair, co-PC Chair)
Florian Grützmacher (co-PC Chair)
Tagungsband
Der Tagungsband soll als E-Book des VDE-Verlages erscheinen und ausgewählte englischsprachige Beiträge darüber hinaus in IEEE-Xplore übernommen werden.
Einreichungskategorien
Als Einreichungskategorien sind einerseits Wissenschaftliche Beiträge vorgesehen, zweitens Übersichtsvorträge, und drittens Kurzvorstellungen von Open-Source Software bzw. Benchmarks.
Wissenschaftliche Beiträge:
Wissenschaftliche Beiträge (6-12 Seiten) ermöglichen unter anderem Doktorandinnen und Doktoranden ihre Arbeit vor Fachpublikum zur Diskussion zu stellen und angemessen zu veröffentlichen.
Diese Beiträge werden vom Programmkomitee nach Originalität und Qualität der Darstellung begutachtet. Ausgewählte englischsprachige Beiträge dieser Kategorie sollen in IEEE-Xplore übernommen werden.
Übersichtsvorträge:
Übersichtsvorträge (1-4 Seiten) ermöglichen, die Bekanntheit schon veröffentlichter Arbeiten zu verbessern, Kontakte zu knüpfen oder vorläufige Arbeiten zur Diskussion zu stellen ohne dabei einen Beitrag veröffentlichen zu müssen. Diese Übersichtsvorträge werden daher nur als Zusammenfassung im Tagungsband, aber nicht in IEEE-Xplore aufgenommen. Sie werden vom Programmkomitee nach zu erwartender Qualität und inhaltlicher Relevanz und Bedeutung des zu erwartenden Vortrags begutachtet.
Open-Source Software / Benchmarks:
Demos von Open-Source Software und die Vorstellung von Benchmarks ermöglichen entsprechende Entwicklungen vorzustellen. Weiterhin besteht die Möglichkeit diese live in einer Demosession vorzuführen und zu diskutieren. Zu diesem Zwecke soll eine Kurzbeschreibung (maximal 1 Seite) über das Werkzeug oder den Benchmark eingereicht werden. Diese Beiträge werden vom Programmkomitee nach inhaltlicher Relevanz begutachtet.
Erstellung des Beitrags
Bitte beachten Sie bei der Erstellung Ihres Papers die Vorgaben des VDE: https://www.vde-verlag.de/buecher/proceedings/schreibanleitungen.html
Eine LaTeX-Vorlage finden Sie hier: https://mbmv2025.uni-rostock.de/storages/uni-rostock/Tagungen/MBMV2025/download/latex_template.zip
Einreichung
Bitte reichen Sie Ihren Beitrag über EasyChair unter https://easychair.org/conferences/?conf=mbmv2025 im PDF-Format ein. Nutzen Sie bitte auch bei der Erstellung Ihres Papers die Formatvorlage des VDE-Verlags. Die Sprache des Workshops ist Deutsch. Beiträge in englischer Sprache sind willkommen.
Programmkomitee
Oliver Bringmann, Universität Tübingen
Keerthi Devarajegowda, Siemens EDA
Rolf Drechsler, Universität Bremen
Wolfgang Ecker, Infineon Technologies AG
Michael Glass, Universität Ulm
Christoph Grimm, RPTU Kaiserslautern-Landau
Daniel Große, JKU Linz
Florian Grützmacher, Universität Rostock
Christian Haubelt, Universität Rostock
Christoph Jäschke, IBM Research
Thomas Klotz, Bosch Sensortec GmbH
Wolfgang Kunz, RPTU Kaiserslautern-Landau
Wolfgang Müller, Universität Paderborn
Daniel Müller-Gritschneder, TU Wien
Frank Oppenheimer, OFFIS e.V.
Martin Radetzki, Universität Stuttgart
Jürgen Ruf, Bosch Sensortec GmbH
Klaus Schneider, RPTU Kaiserslautern-Landau
Christoph Scholl, Universität Freiburg
Jens Schönherr, HTW Dresden
Frank Slomka, Universität Ulm
Jürgen Teich, Universität Erlangen-Nürnberg
Markus Wedler, Synopsys GmbH
Robert Wille, TU München Ralf Wimmer, Altair Engineering GmbH
Veranstaltungsort
Rostock Warnemünde
zur Modellierung und Verifikation von Schaltungen und Systemen
11./12. März 2025 – Universität Rostock
https://mbmv2025.uni-rostock.de
Der 28. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung. Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:
* Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung
* Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme
* Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW
* Verhaltensmodellierung, KI-basierte Modelle
* Modellbasierte Entwicklung
* Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen
* Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
* Schaltungen und Systeme in sicherheitsrelevanten Produkten
* Verifikation nichtfunktionaler Eigenschaften
* Simulationsbasierte Verifikation und Validierung
* Digitalisierung der Entwicklung z.B. durch Maschinelles Lernen oder Datenanalyse
Die Betrachtung weiterer Aspekte im Bereich Modellierung und Verifikation ist im Sinne des Workshops.
Termine
Einreichung der Beiträge:
Abstract: 06.01.2025
Paper: 13.01.2025
Benachrichtigung der Autoren: 17.02.2025
Einreichung der finalen Beiträge: 25.02.2025
Tagung: 11./12.03.2025
Organisation
Veranstalter des MBMV sind GMM, ITG und GI FG3 und FG4
Christian Haubelt (Workshop Chair, co-PC Chair)
Florian Grützmacher (co-PC Chair)
Tagungsband
Der Tagungsband soll als E-Book des VDE-Verlages erscheinen und ausgewählte englischsprachige Beiträge darüber hinaus in IEEE-Xplore übernommen werden.
Einreichungskategorien
Als Einreichungskategorien sind einerseits Wissenschaftliche Beiträge vorgesehen, zweitens Übersichtsvorträge, und drittens Kurzvorstellungen von Open-Source Software bzw. Benchmarks.
Wissenschaftliche Beiträge:
Wissenschaftliche Beiträge (6-12 Seiten) ermöglichen unter anderem Doktorandinnen und Doktoranden ihre Arbeit vor Fachpublikum zur Diskussion zu stellen und angemessen zu veröffentlichen.
Diese Beiträge werden vom Programmkomitee nach Originalität und Qualität der Darstellung begutachtet. Ausgewählte englischsprachige Beiträge dieser Kategorie sollen in IEEE-Xplore übernommen werden.
Übersichtsvorträge:
Übersichtsvorträge (1-4 Seiten) ermöglichen, die Bekanntheit schon veröffentlichter Arbeiten zu verbessern, Kontakte zu knüpfen oder vorläufige Arbeiten zur Diskussion zu stellen ohne dabei einen Beitrag veröffentlichen zu müssen. Diese Übersichtsvorträge werden daher nur als Zusammenfassung im Tagungsband, aber nicht in IEEE-Xplore aufgenommen. Sie werden vom Programmkomitee nach zu erwartender Qualität und inhaltlicher Relevanz und Bedeutung des zu erwartenden Vortrags begutachtet.
Open-Source Software / Benchmarks:
Demos von Open-Source Software und die Vorstellung von Benchmarks ermöglichen entsprechende Entwicklungen vorzustellen. Weiterhin besteht die Möglichkeit diese live in einer Demosession vorzuführen und zu diskutieren. Zu diesem Zwecke soll eine Kurzbeschreibung (maximal 1 Seite) über das Werkzeug oder den Benchmark eingereicht werden. Diese Beiträge werden vom Programmkomitee nach inhaltlicher Relevanz begutachtet.
Erstellung des Beitrags
Bitte beachten Sie bei der Erstellung Ihres Papers die Vorgaben des VDE: https://www.vde-verlag.de/buecher/proceedings/schreibanleitungen.html
Eine LaTeX-Vorlage finden Sie hier: https://mbmv2025.uni-rostock.de/storages/uni-rostock/Tagungen/MBMV2025/download/latex_template.zip
Einreichung
Bitte reichen Sie Ihren Beitrag über EasyChair unter https://easychair.org/conferences/?conf=mbmv2025 im PDF-Format ein. Nutzen Sie bitte auch bei der Erstellung Ihres Papers die Formatvorlage des VDE-Verlags. Die Sprache des Workshops ist Deutsch. Beiträge in englischer Sprache sind willkommen.
Programmkomitee
Oliver Bringmann, Universität Tübingen
Keerthi Devarajegowda, Siemens EDA
Rolf Drechsler, Universität Bremen
Wolfgang Ecker, Infineon Technologies AG
Michael Glass, Universität Ulm
Christoph Grimm, RPTU Kaiserslautern-Landau
Daniel Große, JKU Linz
Florian Grützmacher, Universität Rostock
Christian Haubelt, Universität Rostock
Christoph Jäschke, IBM Research
Thomas Klotz, Bosch Sensortec GmbH
Wolfgang Kunz, RPTU Kaiserslautern-Landau
Wolfgang Müller, Universität Paderborn
Daniel Müller-Gritschneder, TU Wien
Frank Oppenheimer, OFFIS e.V.
Martin Radetzki, Universität Stuttgart
Jürgen Ruf, Bosch Sensortec GmbH
Klaus Schneider, RPTU Kaiserslautern-Landau
Christoph Scholl, Universität Freiburg
Jens Schönherr, HTW Dresden
Frank Slomka, Universität Ulm
Jürgen Teich, Universität Erlangen-Nürnberg
Markus Wedler, Synopsys GmbH
Robert Wille, TU München Ralf Wimmer, Altair Engineering GmbH
Veranstaltungsort
Rostock Warnemünde
Conference Topics
Frequently Asked Questions
What is MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen is 6th International Conference on Methods and Description Languages for Modeling and Verification of Electronic Systems - MBMV 2025
How do I submit my paper to MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
Submit your paper via the official submission portal at https://mbmv2025.uni-rostock.de/. Follow the submission guidelines outlined in the CFP.
How do I register for the MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
Register at https://mbmv2025.uni-rostock.de/. Early registration is recommended to secure your spot and avail discounts.
What topics are accepted at MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
The topics accepted at MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen include modelling, verification, specification, hardware/software systems. Papers that explore innovative ideas or solutions in these areas are highly encouraged.
What are the important dates for MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
- Start Date: 11 Mar, 2025
- End Date: 12 Mar, 2025
- End Date: 12 Mar, 2025
What is the location and date of MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen will be held on 11 Mar, 2025 - 12 Mar, 2025 at Rostock Warnemünde. More details about the event location and travel arrangements can be found on the conference’s official website.
What is the location of MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen will be held at Rostock Warnemünde.
Can I submit more than one paper to MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
Yes, multiple submissions are allowed, provided they align with the conference’s themes and topics. Each submission will be reviewed independently.
What is the review process for submissions?
Papers will be reviewed by a panel of experts in the field, ensuring that only high-quality, relevant work is selected for presentation. Each paper will be evaluated on originality, significance, and clarity.
What presentation formats are available at MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
Presentations can be made in various formats including oral presentations, poster sessions, or virtual presentations. Specific details will be provided upon acceptance of your paper.
Can I make changes to my submission after I’ve submitted it?
Modifications to your submission are allowed until the submission deadline. After that, no changes can be made. Please make sure all details are correct before submitting.
What are the benefits of attending MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen?
Attending MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen provides an opportunity to present your research, network with peers and experts in your field, and gain feedback on your work. Additionally, it is an excellent platform for career advancement and collaboration opportunities.
What should I include in my abstract or proposal submission?
Your abstract or proposal should include a concise summary of your paper, including its purpose, methodology, and key findings. Ensure that it aligns with the conference themes.