CFP
MBMV 2019: 22. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Kaiserslautern, Germany, April 8-9, 2019 |
Submission link | https://easychair.org/conferences/?conf=mbmv2019 |
Submission deadline | February 15, 2019 |
Acceptance Notification | March 4, 2019 |
Final Paper Submission | March 22, 2019 |
The MBMV 2019 workshop is the 22nd workshop on Modeling and Verification. It is organized by the GI/ITG/GMM working groups on 3 and 4 that, in brief, deal with modeling and verification.
The content of the workshop focuses on the following topics in the context of system modeling and verification:
- Formal, semi-formal and other methods for specification and modeling
- Standards and extensions of modeling languages for hardware, hardware/software systems, model-based development
- Behavior modeling, Model modeling, Model refinement
- Models and methods for cross-domain developments: Analog/Digital, Hardware/Software, Mechatronics, Cyber/Physical
- Synthesis and formal synthesis, property refinement from specifications
- Formal verification (equivalence and property proofs)
- Circuits and systems in safety-relevant systems
- Verification of non-functional properties
- Simulation-based verification and validation
- Digitalization of development e.g. through machine learning or data analysis
Submission Guidelines
All scientific papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Scientific papers. The authors that want to publish an original, unpublished work are invited to submit full-length scientific papers (6-12 pages) including the abstract of at most 200 words, figures, tables, and references. The submitted papers will be reviewed by the program committee with regard to their suitability for the workshop, originality, and quality of the presentation. The accepted papers will be selected either for oral or poster presentations and will be published in VDE Verlag and IEEE Xplore.
- Presentation proposals. The authors that want to present a work in progress or ideas for discussion are invited to submit short papers (1-4 pages) in length including the abstract, figures, tables and references. The papers will be reviewed by the program committee with regard to their suitability for the workshop and the expected quality. The accepted papers will be selected either for oral or poster presentations but not be included in proceedings.
Paper format and Submission page
One template for paper preparation can be found under https://www.vde-verlag.de/buecher/proceedings/schreibanleitungen.html.
To enable blind review, the author list should be omitted from the papers. The papers must be submitted via Easychair https://easychair.org/conferences/?conf=mbmv2018.
The official language of the workshop is German. However, the papers written in English are also welcome.
Committees
Program Committee
- Christoph Scholl, Albert-Ludwigs University of Freiburg
- Christoph Grimm, TU Kaiserslautern
- Christian Haubelt, University of Rostock
- Christoph Jäschke, IBM Research
- Carna Zivkovic, TU Kaiserslautern
- Daniel Große, University of Bremen
- Frank Slomka, University of Ulm
- Frank Oppenheimer, OFFIS
- Jens Brandt, Hochschule Niederrhein
- Jens Schönherr, HTW Dresden
- Jürgen Ruf, Bosh-Sensortec
- Jürgen Teich, University of Erlangen-Nuremberg
- Klaus Schneider, TU Kaiserslautern
- Markus Wedler, Synopsys GmbH
- Michael Glass, University of Ulm
- Oliver Bringmann, University of Tübingen
- Rolf Drechsler, University of Bremen
- Robert Wille, JKU Linz
- Raik Brinkmann, OneSpin Solutions
- Thomas Klotz, Bosch Sensortec GmbH
- Thomas Kropf, Robert Bosh and University of Tübingen
- Ulrich Heinkel, TU Cheimnitz
- Wolfang Kunz, TU Kaiserslautern
- Wolfang Ecker, Infinion Technologies AG
- Wolfang Müller, University of Paderborn
Program chairs and Organizing committee
- Christoph Grimm, TU Kaiserslautern
- Klaus Schneider, TU Kaiserslautern
- Carna Zivkovic, TU Kaiserslautern
Contact
All questions about submissions should be emailed to zivkovic@cs.uni-kl.de.