Doctoral SymposiumMODELS 2021
Mon 11 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
23:00 - 02:00 | |||
23:00 10mOther | Opening Doctoral Symposium | ||
23:10 60mKeynote | Evaluating the Outcomes of Modeling Research Doctoral Symposium Barbara Weber St. Gallen University | ||
00:10 30mPaper | Domain-Specific Modelling Languages for Participatory Agent-Based Modelling in Healthcare Doctoral Symposium | ||
00:40 30mPaper | Towards behavioral consistency in heterogeneous modeling scenarios Doctoral Symposium | ||
01:10 30mPaper | A Model-Driven Approach for Early Verification and Validation of Embedded Systems Doctoral Symposium |
Tue 12 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
23:00 - 02:00 | |||
23:00 30mPaper | Heterogeneous Model Query Optimisation Doctoral Symposium | ||
23:30 30mPaper | Development of a Meta-Language and its Qualifiable Implementation for the Use in Safety-Critical Software Doctoral Symposium | ||
00:00 30mPaper | Efficient Model Loading through Static Analysis Doctoral Symposium | ||
00:30 30mPaper | Secure MDE for Ethereum-based Decentralized Applications (ÐApps) Development Doctoral Symposium | ||
01:00 30mPaper | A model-driven middleware approach to reduce the semantic gap between application domains and the generic infrastructure of smart cities Doctoral Symposium | ||
01:30 10mOther | Closing Doctoral Symposium |
Accepted Papers
Title | |
---|---|
A Model-Driven Approach for Early Verification and Validation of Embedded Systems Doctoral Symposium | |
A model-driven middleware approach to reduce the semantic gap between application domains and the generic infrastructure of smart cities Doctoral Symposium | |
Closing Doctoral Symposium | |
Development of a Meta-Language and its Qualifiable Implementation for the Use in Safety-Critical Software Doctoral Symposium | |
Domain-Specific Modelling Languages for Participatory Agent-Based Modelling in Healthcare Doctoral Symposium | |
Efficient Model Loading through Static Analysis Doctoral Symposium | |
Evaluating the Outcomes of Modeling Research Doctoral Symposium | |
Heterogeneous Model Query Optimisation Doctoral Symposium | |
Opening Doctoral Symposium | |
Secure MDE for Ethereum-based Decentralized Applications (ÐApps) Development Doctoral Symposium | |
Towards behavioral consistency in heterogeneous modeling scenarios Doctoral Symposium |
About
The goal of the MODELS 2021 Doctoral Symposium is to provide an international forum for doctoral students to interact with their fellow students and faculty mentors working in the area of model-based engineering. The symposium supports students by providing independent and constructive feedback about their already completed and, more importantly, planned research work. The Symposium will be attended by prominent experts in the field of model-based engineering, who will actively participate in critical and constructive discussions.
The doctoral symposium will have the format of a one-day workshop, with presentations of the doctoral students who have their papers accepted in a peer-review process, feedback from the mentors, and plenty of time for discussion. The presentations will be open for mentors, students, and other conference participants; only supervisors of the presenters are excluded from the sessions in which their students deliver their presentations.
Submission Guidelines
Submissions (exclusively authored by a doctoral student) are invited from students who have settled on a general doctoral dissertation area, but are still far away from the completion of their PhD studies to be able to benefit from the feedback process of the symposium. Submissions should present research in progress that is intended to lead to a doctoral dissertation, using the following structure:
- Problem: The problem the research intends to solve, the target audience of this research, and a motivation of why the problem is important and needs to be solved.
- Related work: A review of the relevant related work, with an emphasis on how the proposed approach is different and what advantages it has over the existing state of the art.
- Proposed solution: A description of the proposed solution and which other work (e.g., methods or tools) it depends on.
- Plan for evaluation and validation: A description of how it will be shown that the work does indeed solve the targeted problem and is superior to the existing state of the art (e.g., prototyping, industry case studies, user studies, experiments).
- Expected contributions: A list of the expected contributions to both theory and practice.
- Current status: A description of the work to-date, results achieved so far and a proposed planned timeline for completion.
Submissions must not exceed five (5) pages plus two (2) pages for references. Submissions must adhere to the IEEE formatting instructions, which can be found at: IEEE - Manuscript Templates for Conference Proceedings.
All papers have to be submitted electronically in PDF format. Submissions will be accepted through EasyChair: https://easychair.org/conferences/?conf=docsympmodels2021
All accepted submissions will be part of the MODELS 2021 Companion procedings published by IEEE.
Important dates
- Abstract submission deadline: Fri 9 Jul 2021
- Paper submission deadline: Fri 16 Jul 2021
- Notification: Sat 21 Aug 2021
- Camera-ready deadline: Sat 28 Aug 2021
Program Overview
Schedule of the Doctoral Symposium at MODELS 2021
11 October, 23:00-2:00 GMT+9 (16:00-19:00 GMT+2, 10:00-13:00 GMT-4)
- 23:00 - 23:10. Opening
- 23:10 - 00:10. Keynote speech
- Barbara Weber. Evaluating the Outcomes of Modeling Research
- 00:10 - 01:40. Paper session
- 00:10 - 00:40. Thomas Godfrey. Domain-Specific Modelling Languages for Participatory Agent-Based Modelling in Healthcare
- 00:40 - 01:10. Tim Kräuter. Towards behavioral consistency in heterogeneous modeling scenarios
- 01:10 - 01:40. Vincenzo Stoico. A Model-Driven Approach for Early Verification and Validation of Embedded Systems
12 October, 23:00-2:00 GMT+9 (16:00-19:00 GMT+2, 10:00-13:00 GMT-4)
- 23:00 - 01:30. Paper session
- 23:00 - 23:30. Qurat Ul Ain Ali. Heterogeneous Model Query Optimisation
- 23:30 - 00:00. Vanessa Tietz. Development of a Meta-Language and its Qualifiable Implementation for the Use in Safety-Critical Software
- 00:00 - 00:30. Sorour Jahanbin. Efficient Model Loading through Static Analysis
- 00:30 - 01:00. Noama Samreen. Secure MDE for Ethereum-based Decentralized Applications (ÐApps) Development
- 01:00 - 01:30. Paulo César Melo. A model-driven middleware approach to reduce the semantic gap between application domains and the generic infrastructure of smart cities
- 01:30 - 01:40. Closing
Keynote
Title Evaluating the Outcomes of Modeling Research
Models 2021 Doctoral Symposium Keynote Slides
Abstract
The MODELS conference deals with all aspects of modeling, from languages and methods, to tools and applications. Empirical studies play an important role in the evaluation of newly designed artifacts (e.g., models, methods, constructs, instantiations). However, relatively little guidance exists on how to conduct such evaluation studies. In this keynote presentation I will introduce different empirical methods for evaluating the designed artifacts and present guidelines on how to conduct experiments for evaluation purposes.
Keynote speaker
Barbara Weber is Chair for Software Systems Programming and Development, Dean of the School of Computer Science, and Director of the Institute of Computer Science at the University of St. Gallen. Barbara holds a PhD in Business Administration from the University of Innsbruck, Austria, where she also obtained her habilitation degree in Computer Science. From 2016 to 2019 Barbara was Professor and Head of the Software Engineering Section at the Technical University of Denmark (DTU), Denmark. Barbara’s research interests include human and cognitive aspects in software and process engineering, process modeling and process mining as well as flexible and adaptive software systems. Barbara has published more than 160 refereed papers, for example, in Nature Scientific Reports, Journal of Systems and Software, Information and Software Technology, Software and System Modeling, Information Systems, Data and Knowledge Engineering, and Journal of Management Information systems.