MODELS 2023
Sun 1 - Fri 6 October 2023 Västerås, Sweden

About

The goal of the MODELS 2023 Doctoral Symposium is to provide an international forum for students registered for a research degree to interact and to engage with academic mentors working in the area of model-based engineering. The symposium supports contributors directly, led by a champion from the Programme Committee, and contributes independent and constructive feedback about contributors’ already completed and planned research. To this end, the Symposium Programme Committee comprises experts in various fields of model-based engineering.

The Symposium will have the format of a one-day workshop, with presentations by the students whose papers are accepted by peer reviewers, feedback from the mentors (who are among the peer reviewers), and plenty of time for discussion. The workshop is open to all research students, mentors, and presenters, and to all other conference participants, except that we request that the research supervisors do not attend their own supervisee’s presentation.

We are happy to announce that the MODELS 2023 Doctoral Symposium will start with a keynote by Professor Dimitris Kolovos.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 3 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
Session 1: Opening, Keynote, Modeling & Digital TwinsDoctoral Symposium at 204
Chair(s): Prof. Fiona Polack University of Hull, Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004)
08:30
10m
Talk
Welcome and introduction
Doctoral Symposium
Prof. Fiona Polack University of Hull, Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004)
08:40
50m
Keynote
A Quest for Impactful Research Software
Doctoral Symposium
Dimitris Kolovos University of York
09:30
30m
Doctoral symposium paper
A Model-Driven Platform for Engineering Holistic Digital Twins
Doctoral Symposium
10:00 - 10:30
Coffee BreakBreak at Foajé Plan 1
10:30 - 12:00
Session 2: Modeling & System EngineeringDoctoral Symposium at 204
Chair(s): Sébastien Mosser McMaster University, Prof. Fiona Polack University of Hull, Jean-Michel Bruel Université de Toulouse, France
10:30
30m
Doctoral symposium paper
A Domain-Driven Model Generation Framework for Cyber-Physical Production Systems
Doctoral Symposium
11:00
30m
Doctoral symposium paper
Towards Confidentiality in Multi-Model Inconsistency Detection for Systems Engineering
Doctoral Symposium
Sebastian Bergemann Technical University of Munich & fortiss GmbH
11:30
30m
Doctoral symposium paper
Deriving Safety Assurance Case Argumentation from Workflow+ Models
Doctoral Symposium
12:00 - 13:30
Lunch BreakBreak at Restaurant
13:30 - 15:00
Session 3: Modeling & Artificial IntelligenceDoctoral Symposium at 204
Chair(s): Manuel Wimmer JKU Linz, Istvan David McMaster University, Antonio Garcia-Dominguez University of York
13:30
30m
Doctoral symposium paper
Runtime Monitoring of Human-centric Requirements in Machine Learning Components: A Model-driven Engineering Approach
Doctoral Symposium
14:00
30m
Doctoral symposium paper
Towards Modeling and Predicting the Resilience of Ecosystems
Doctoral Symposium
Tiago Sousa University of Luxembourg
14:30
30m
Doctoral symposium paper
Towards Leveraging Artificial Intelligence in NoSQL Database Modeling, Querying and Quality Characterization
Doctoral Symposium
15:00 - 15:30
Coffee BreakBreak at Foajé Plan 1
15:30 - 17:00
Session 4: Modeling & Languages, Discussions and ClosingDoctoral Symposium at 204
Chair(s): Alfonso Pierantonio Università degli Studi dell'Aquila, Steffen Zschaler King's College London
15:30
30m
Doctoral symposium paper
Towards Systematic Engineering of Hybrid Graphical-Textual Domain-Specific Languages
Doctoral Symposium
Ionut Predoaia University of York
DOI
16:00
30m
Doctoral symposium paper
Systematic Component-Oriented Language Reuse
Doctoral Symposium
Jérôme Pfeiffer University of Stuttgart, Germany
16:30
30m
Day closing
Discussions and Closing
Doctoral Symposium
Prof. Fiona Polack University of Hull, Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004)
17:30 - 22:00
Community Building EventBreak at O’Learys Pub
17:30
4h30m
Social Event
Community Building Event
Break

Submissions (exclusively authored by a student) can only be accepted from students registered on a research degree who will not be in a position to submit their final dissertation/thesis at the time of the Symposium. Contributing students must have identified the general area of research and of the eventual dissertation/thesis, but do not need to have research outputs/results. These conditions are set so that students can take advantage of feedback and discussions in their research and thesis.
Submissions must use the following structure:

  • Problem: Briefly introduce the problem or research questions that the research intends to address, stating the target audience. Briefly explain why the problem is important and needs to be addressed.
    Be clear why it is feasible to address the problem / research questions in the relevant research degree.
  • Expected contributions: Give a summary list of the expected contributions the research will make, to theory and practice, noting potential identified non-academic contributions if relevant.
  • Related work: Present a critical review of a relevant selection of related work, which shows how the research will differ from or extend the published state of the art.
  • Proposed approach: Summarise the approach planned / in progress to address the problem (1.). Justify the approach, and show how it draws upon published works, existing methods and tools.
    • Be clear about any risks or ethical issues arising from the research area of the conduct of the research and how these have been / will be addressed.
      If there are no risks or ethical issues, state this clearly.
  • Plan for evaluation: Outline the evaluation plan, which will demonstrate that the problem has been addressed or research questions answered, and will demonstrate how the research goes beyond the existing state of the art (typical approaches to evaluation might include some or all of prototyping, industry case studies, benchmarking, user studies, experiments, etc.).
  • Current status: Summarise the work completed to date, including any results obtained, and present the timeline for completion of the research and write-up.

Submissions must not exceed five (5) pages plus up to two (2) pages for references. They must conform to the IEEE formatting instructions

All papers must be submitted electronically in PDF format via Easychair.

Papers will be reviewed by at least three members of the program committee. IEEE will publish all accepted submissions as part of the MODELS Companion. Papers are accepted conditional on the author registering for the symposium at the MODELS 2023 conference by the early registration deadline and presenting the paper at the symposium.