MODELS 2026 Program
Sun 4 OctDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 17:30 | |||
09:15 - 10:30 | |||
09:15 - 10:30 | |||
09:15 - 10:30 | |||
09:15 - 10:30 | Session 1: Modelling Justifications to Support and Operationalize Machine Learning PipelinesTutorials at Torremolinos A+B | ||
09:15 75mPaper | Modelling Justifications to Support and Operationalize Machine Learning Pipelines Tutorials Pre-print | ||
09:15 - 10:30 | |||
09:15 - 10:30 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break - Central bar Others | ||
11:00 - 12:45 | |||
11:00 - 12:45 | |||
11:00 - 12:45 | |||
11:00 - 12:45 | Session 2: Modelling Justifications to Support and Operationalize Machine Learning PipelinesTutorials at Torremolinos A+B | ||
11:00 1h45mPaper | Modelling Justifications to Support and Operationalize Machine Learning Pipelines Tutorials Pre-print | ||
11:00 - 12:45 | |||
11:00 - 12:45 | |||
13:00 - 14:30 | |||
13:00 90mLunch | Lunch - Restaurant Others | ||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
15:45 - 16:15 | |||
15:45 30mCoffee break | Break - Central bar Others | ||
16:15 - 17:30 | |||
16:15 - 17:30 | |||
16:15 - 17:30 | |||
16:15 - 17:30 | |||
16:15 - 17:30 | |||
16:15 - 17:30 | |||
Mon 5 OctDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:00 - 08:45 | |||
08:30 - 17:30 | |||
09:15 - 10:30 | |||
09:15 - 10:30 | |||
09:15 - 10:30 | |||
09:15 - 10:30 | |||
09:15 - 10:30 | KeynoteEDTconf Keynotes at Málaga Chair(s): Nelly Bencomo Durham University, Eduard Kamburjan IT University of Copenhagen, Vinay Kulkarni Tata Consultancy Services Research | ||
09:15 10mDay opening | Opening EDTconf Keynotes Eduard Kamburjan IT University of Copenhagen, Nelly Bencomo Durham University, Vinay Kulkarni Tata Consultancy Services Research | ||
09:25 60mTalk | EDTconf Keynote 1: Environmental Digital Twins: Connecting Models for Nature 5.0 EDTconf Keynotes Einar Broch Johnsen University of Oslo | ||
09:15 - 10:30 | Session 3: OML Code: Turning SME Knowledge into Reusable Ontological Modeling MethodologiesTutorials at Torremolinos A+B | ||
09:15 75mPaper | OML Code: Turning SME Knowledge into Reusable Ontological Modeling Methodologies Tutorials Maged Elaasar Modelware | ||
09:15 - 10:30 | |||
09:15 - 10:30 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break - Central bar Others | ||
11:00 - 12:45 | |||
11:00 - 12:45 | |||
11:00 - 12:45 | |||
11:00 - 12:45 | |||
11:00 - 12:45 | Session 1: Reconfiguration and EvolutionEDTconf Extended Abstracts / EDTconf SoSyM Journal Track at Málaga Chair(s): Judith Michael University of Regensburg | ||
11:00 25mTalk | Active Inference and Digital Twins for dynamic reconfiguration of software systemsSoSyM J1 EDTconf SoSyM Journal Track Julia Ballati Martínez University of Castilla-La Mancha, Elena Pretel , Elena Navarro University of Castilla-La Mancha, Schahram Dustdar TU Wien, Diego Perez-Palacin Linnaeus University, Raffaela Mirandola Karlsruhe Institute of Technology (KIT) | ||
11:25 25mTalk | Involving before Evolving: A Vision for Trustworthy Enterprise Digital Twin EngineeringExt. Abstract EDTconf Extended Abstracts Kérian Fiter Polytechnique Montréal, Adil Lagrou Polytechnique Montréal, Franck Dervault Michelin Canada, Bentley Oakes Polytechnique Montréal Pre-print | ||
11:50 25mTalk | Towards a Capability-Driven Conceptualization of Digital TwinsExt. Abstract EDTconf Extended Abstracts David A Manrique Negrin Luxembourg Institute of Science and Technology, Jean Sebastien Sottet Luxembourg Institute of Science and Technology and University of Luxembourg, Pierre Brimont Luxembourg Institute of Science and Technology and University of Luxembourg | ||
12:15 25mTalk | Identifying Pareto-Optimal Configurations through Integrated Impact and Tradeoff Analysis in System DesignExt. Abstract EDTconf Extended Abstracts Mbouga Frank Eric Deutsches Zentrum für Luft- und Raumfahrt, Philipp Chrszon , Tobias Franz German Aerospace Center (DLR), Andreas Gerndt German Aerospace Center (DLR), Michael Felderer German Aerospace Center (DLR) & University of Cologne | ||
11:00 - 12:45 | Session 4: OML Code: Turning SME Knowledge into Reusable Ontological Modeling MethodologiesTutorials at Torremolinos A+B | ||
11:00 1h45mPaper | OML Code: Turning SME Knowledge into Reusable Ontological Modeling Methodologies Tutorials Maged Elaasar Modelware | ||
11:00 - 12:45 | |||
11:00 - 12:45 | |||
13:00 - 14:30 | |||
13:00 90mLunch | Lunch - Restaurant Others | ||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
14:30 - 15:45 | Session 5: Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis SuiteTutorials at Torremolinos A+B | ||
14:30 75mPaper | Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis Suite Tutorials Bas Beuting Cordis Suite, Benno Beuting Cordis Suite, Jörg Kienzle ITIS Software, University of Malaga | ||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
15:45 - 16:15 | |||
15:45 30mCoffee break | Break - Central bar Others | ||
16:15 - 17:30 | |||
16:15 - 17:30 | |||
16:15 - 17:30 | Session 3: Domain TwinsEDTconf Extended Abstracts at Málaga Chair(s): Bentley Oakes Polytechnique Montréal | ||
16:15 25mTalk | A Digital Twin for Flow Cytometry: Making the Measurement Process Explicit in Biological Digital TwinsExt. Abstract EDTconf Extended Abstracts Jesús Miró-Bueno Centro Nacional de Biotecnología CNB-CSIC | ||
16:40 25mTalk | A Digital Twin Exemplar for Fischertechnik Production Line Analysis, Simulation, and OptimizationExt. Abstract EDTconf Extended Abstracts Phil Pöllmann University of Regensburg, Falco Wolf University of Regensburg, Jakob Titz University of Regensburg, Judith Michael University of Regensburg DOI Pre-print | ||
17:05 25mTalk | Toward a Self-Evaluating Digital Twin for End-to-End Empty Packaging Return ManagementExt. Abstract EDTconf Extended Abstracts Kaouther Boulaouinat CentraleSupélec, Faicel Hnaien Université de Technologie de Troyes, Evren Sahin CentraleSupélec, Joan André Stellantis France, Riccardo Petitti Stellantis Italy | ||
16:15 - 17:30 | Session 6: Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis SuiteTutorials at Torremolinos A+B | ||
16:15 75mPaper | Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis Suite Tutorials Bas Beuting Cordis Suite, Benno Beuting Cordis Suite, Jörg Kienzle ITIS Software, University of Malaga | ||
16:15 - 17:30 | |||
16:15 - 17:30 | |||
18:00 - 21:00 | Satellite reception (Venue: Silencio beach)Others at Outside the conference premises Outside the conference premises | ||
Tue 6 OctDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 17:30 | |||
09:15 - 10:30 | |||
09:15 - 10:30 | |||
09:15 - 10:30 | |||
09:15 - 09:30 | OpeningEducators Symposium at Mediterráneo C+D Chair(s): Dominik Bork TU Wien, Shalini Chakraborty University of Bayreuth | ||
09:15 - 10:30 | |||
09:15 - 09:30 | Welcome and IntroductionDoctoral Symposium at Mediterráneo F Chair(s): Federico Ciccozzi Mälardalen University, Iris Reinhartz-Berger University of Haifa | ||
09:15 - 10:30 | Session 4: Interfaces and ReuseEDTconf Extended Abstracts at Málaga Chair(s): Andreas Wortmann University of Stuttgart | ||
09:15 25mTalk | BRIC-DT: Building Reliable Interfaces for Composable Digital TwinsExt. Abstract EDTconf Extended Abstracts Claudio Gomes Aarhus University, Denmark, Thomas Wright , Peter Gorm Larsen Aarhus University, Lukas Esterle Aarhus University, Philipp Zech University of Innsbruck, Austria, Ana Cavalcanti University of York, James Woodcock University of York, Bentley Oakes Polytechnique Montréal, Hans Vangheluwe University of Antwerp and Flanders Make Pre-print | ||
09:40 25mTalk | Towards the Model-Based Engineering of Composable and Reusable Digital Twins: the Digital Twin Interface ConceptExt. Abstract EDTconf Extended Abstracts Martina Nolletti Gran Sasso Science Institute (GSSI), Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Romina Eramo University of Teramo, Peeter Kool CNet Sweden DOI Pre-print | ||
10:05 25mTalk | Characterizing Federated Digital Twins through Heterogeneity, Autonomy, and Distribution: A Family of ExemplarsExt. Abstract EDTconf Extended Abstracts Arturo Barriga Universidad de Extremadura, Stefan Klikovits Johannes Kepler University, Linz, Manuel Wimmer Johannes Kepler University Linz, José A. Barriga Universidad de Extremadura, Spain, Pedro J. Clemente Universidad de Extremadura, Spain | ||
09:15 - 10:30 | Session 7: Digital Transformation Foundations with Model-based System Engineering and Digital EngineeringTutorials at Torremolinos A+B | ||
09:15 75mPaper | Digital Transformation Foundations with Model-based System Engineering and Digital Engineering Tutorials | ||
09:15 - 09:30 | |||
09:30 - 10:30 | |||
09:30 30mTalk | Teaching UML Modeling in the Age of Generative AI: Combining Manual Modeling, Prompt Engineering and Model Evaluation Educators Symposium Oksana Nikiforova Riga Technical University | ||
10:00 30mTalk | Enhancing Software-Design Learning by Combining UML and LLM-Assisted Feedback in a Learning Platform Educators Symposium Reenu Maria Jerry , Jacob Krüger Eindhoven University of Technology, Michel R. V. Chaudron Chalmers | University of Gothenburg | ||
09:30 - 10:30 | LLM-AssistanceDoctoral Symposium at Mediterráneo F Chair(s): Federico Ciccozzi Mälardalen University Mentors: Silvia Abrahao, Sebastien Mosser, Antonio Cicchetti, Malvina Latifaj | ||
09:30 5mDoctoral symposium paper | SysV2-Repair: Towards LLM-Based repair of SysML®v2 models Doctoral Symposium Yasmine Bouamra Siemens DI SW | ||
09:35 5mDoctoral symposium paper | Toward Generative AI-Assisted Model Transformation in Model-Driven Engineering Doctoral Symposium Khanh Duy Dao Malardalen University | ||
09:40 5mDoctoral symposium paper | Specializing Large-Language Models for Collaboration Workflow Generation in Software Engineering. Doctoral Symposium | ||
09:45 5mDoctoral symposium paper | Trustworthy generation of SysML v2 models for physical systems: a multi-agent approach Doctoral Symposium Jose Olivert University Carlos III of Madrid | ||
09:50 5mDoctoral symposium paper | Automated Modelica Model Repair Using Generative AI Doctoral Symposium Masoud Sadrnezhaad Linköping University | ||
09:55 35mMeeting | Mentor-led plenary discussion Doctoral Symposium | ||
09:30 - 10:30 | Session 1 - Industry DayIndustry Day at Torremolinos C Chair(s): Dimitris Kolovos University of York, Pedro J. Molina Metadev | ||
09:30 20mIndustry talk | Your AI Agent Needs a Model Industry Day Cédric Brun Obeo | ||
09:50 20mIndustry talk | Beyond the Hype: Blending Gen-AI and Model-Driven Engineering for Pragmatic Enterprise Modeling Industry Day Pedro J. Molina Metadev | ||
10:10 20mIndustry talk | The Agent Runtime Is a Stream Processor: Modeling Reliable Agentic Systems Industry Day Naman Ahuja Meta | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break - Central bar Others | ||
11:00 - 12:45 | |||
11:00 - 12:45 | |||
11:00 - 12:45 | |||
11:00 - 13:00 | |||
11:00 30mTalk | A Proposal for More Realistic Case Descriptions in Modeling Exercises Educators Symposium | ||
11:30 30mTalk | Experiences of using low-code MDE tools in student projects Educators Symposium | ||
12:00 22mTalk | Teaching Domain-specific Modeling with a Small Robot Motion Framework Educators Symposium Vanessa Tietz Institute of Aircraft Systems, University of Stuttgart, Michael Wojczik Institute of Aircraft Systems, University of Stuttgart, Bjoern Annighoefer Institute of Aircraft Systems, University of Stuttgart | ||
12:22 22mTalk | Extending the Epsilon Playground for Model-Driven Engineering Education Educators Symposium | ||
11:00 - 12:45 | |||
11:00 - 12:00 | Safety, Security, and AssuranceDoctoral Symposium at Mediterráneo F Chair(s): Iris Reinhartz-Berger University of Haifa Mentors: Marsha Chechik, Dominique Blouin, Jean-Michel Bruel, Davide Di Ruscio | ||
11:00 5mDoctoral symposium paper | Attack Feasibility Rating: The Model-based Exploitability Rules Doctoral Symposium | ||
11:05 5mDoctoral symposium paper | When Safety Claims Fail Silently: A Modelling Approach to AI Assurance Doctoral Symposium Kalvin Thuan-Phong Khuu McMaster University, McSCert | ||
11:10 5mDoctoral symposium paper | Delay-Robustness for Distributed Cyber-Physical System Models Doctoral Symposium Mustafa Ghani Hasso Plattner Institute, University of Potsdam | ||
11:15 5mDoctoral symposium paper | Model-Driven Scenario-Based Assurance for the COLREGS Compliance of Autonomous Surface Vehicles Doctoral Symposium Dominik Frey Linköping University, Sweden | ||
11:20 40mMeeting | Mentor-led plenary discussion Doctoral Symposium | ||
11:00 - 12:45 | Session 5: Design and IndustryEDTconf Industrial Talks / EDTconf Extended Abstracts at Málaga Chair(s): Victoria Degeler University of Amsterdam | ||
11:00 25mTalk | A Dual-Lens Conceptual Framework for Digital Twin V&VExt. Abstract EDTconf Extended Abstracts Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Steffen Zschaler King's College London, Jean-Michel Bruel Université de Toulouse, France, Christopher Burr The Alan Turing Institute, Adelaide de Vecchi King's College London, Aidan Dures King's College London, Sophie Ebersold , Rym M'Hallah King's College London , Pascale Vicat Blanc Inria, BoFan Zhang King's College London | ||
11:25 25mTalk | A Vision Toward an Opportunistic Sensing Framework for Digital TwinsExt. Abstract EDTconf Extended Abstracts Sami CHTITAH University of Rennes, IRISA / INRIA, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, David Gross-Amblard , Constance Thierry Univ Rennes/CNRS/IRISA/INRIA | ||
11:50 25mTalk | Monitoring Renewable Energy Communities Using Digital Twins via SAREF4ENER and a REST APIIndustry EDTconf Industrial Talks Mohammad Samadi Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Luis Miguel Pinho ISEP P.PORTO, Andrey Sadovykh Softeam, Gabriela Lucas Cleanwatts Digital, Coimbra, Portugal | ||
12:15 25mTalk | Enabling Physical AI in Trailer Logistics: A Digital Twin Architecture with Continuous Sim-to-Real FeedbackIndustry EDTconf Industrial Talks Aniruddha Singhal Tata Consultancy Services, Anuprit Dangi Tata Consultancy Services, Prakash Ambwani Tata Consultancy Services | ||
11:00 - 12:45 | Session 8: Digital Transformation Foundations with Model-based System Engineering and Digital EngineeringTutorials at Torremolinos A+B | ||
11:00 1h45mPaper | Digital Transformation Foundations with Model-based System Engineering and Digital Engineering Tutorials | ||
11:00 - 12:45 | Session 2 - Industry DayIndustry Day at Torremolinos C Chair(s): Dimitris Kolovos University of York, Pedro J. Molina Metadev | ||
11:00 20mIndustry talk | After MBSE and the Digital Thread: The Agentic Engineering Stack Industry Day | ||
11:20 20mIndustry talk | SysV2-Repair: Towards LLM-Based repair of SysML®v2 models Industry Day Yasmine Bouamra Siemens DI SW | ||
11:40 20mIndustry talk | An End-to End Agentic Assistant for Avionic V&V Industry Day Sangeeth Saagar Ponnusamy Airbus | ||
12:00 20mIndustry talk | ASCEND: Toward a Common Model-Based Safety & Security Framework for an Aerospace Digital Thread Industry Day Pietro De Santo Boeing | ||
12:20 20mIndustry talk | Model-Driven Engineering for the TTEthernet Network of the Lunar I-HAB Module Industry Day Delia Cellarier Thales Alenia Space | ||
12:40 20mIndustry talk | The ESA MBSE journey: lessons learned and future outlook Industry Day Marcel Verhoef European Space Agency | ||
12:00 - 13:00 | |||
12:00 60mPanel | Building a Strong PhD: Contributions, Evaluation, and Thesis Coherence Doctoral Symposium | ||
13:00 - 14:30 | |||
13:00 90mLunch | Lunch - Restaurant Others | ||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
14:30 - 15:45 | |||
14:30 30mTalk | A Pedagogy-Aware Model-Driven Engineering Approach for AI Literacy Educators Symposium Riccardo Belliato , Antonio Bucchiarone DISIM, University of L'Aquila, Juri Di Rocco University of L'Aquila, Alfonso Pierantonio Università degli Studi dell'Aquila, Antonio Cicchetti Mälardalen University, Judith Michael University of Regensburg, Michael Mittermaier University of Regensburg, Andrea Vazquez-Ingelmo , Jo Jo Tondeur , Thibaut Cromphaut , Sarah K. Howard DOI Pre-print | ||
15:00 22mTalk | Domain Knowledge Debt: Why Metamodeling Still Needs Elicitation Educators Symposium Alfonso Pierantonio Università degli Studi dell'Aquila, Davide Di Ruscio University of L'Aquila, Zakaria Hachm IMT Atlantique, LS2N (UMR CNRS 6004), Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004) | ||
15:22 22mTalk | Teaching the Development of Software Agents in Higher Education: First Insights from a European Initiative Educators Symposium Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Jose Ignacio Requeno Complutense University of Madrid, Elena Gómez-Martínez Universidad Complutense de Madrid, Daniel Braun Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg | ||
14:30 - 15:45 | |||
14:30 - 15:30 | Language and ToolsDoctoral Symposium at Mediterráneo F Chair(s): Federico Ciccozzi Mälardalen University Mentors: Alfonso Pierantonio, Antonio Bucchiarone, Betty Cheng, Dániel Varró | ||
14:30 5mDoctoral symposium paper | Concurrent Editing for Multi-Model Environments Doctoral Symposium Benedikt Jutz Karlsruhe Institute of Technology (KIT) | ||
14:35 5mDoctoral symposium paper | Dependence Analyses of IEC 61499 Application Models Doctoral Symposium Dunja Životin LIT CPS Lab, Johannes Kepler University Linz | ||
14:40 5mDoctoral symposium paper | A Research Workbench for Controlled Dataflow Languages Doctoral Symposium | ||
14:45 5mDoctoral symposium paper | Digital Twins Modeling, and Formal Verification and Validation: an Approach based on SysML v2 Doctoral Symposium | ||
14:50 40mMeeting | Mentor-led plenary discussion Doctoral Symposium | ||
14:30 - 15:45 | |||
14:30 25mTalk | SMP Workbench: An Interactive Tool for Semi-Markov Process Engineering in Digital TwinsExt. Abstract EDTconf Extended Abstracts Mikkel Schmidt Andersen Aarhus University, Oliver Thomas Aarhus University, Prasad Talasila Aarhus University, Claudio Gomes Aarhus University, Denmark, Peter Gorm Larsen Aarhus University | ||
14:55 25mTalk | An Exemplar of a Digital Twin in Mechanical Engineering: Understanding Model HybridizationExt. Abstract EDTconf Extended Abstracts Mahussi Datongnon Inria, hubert lejeune , Yoann Jus CETIM, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Julien DeAntoni Université Côte D'Azur, I3S/INRIA Kairos | ||
15:20 25mTalk | From Testbed to Simulation: A Unified Emulation Framework for IoT-Based Digital TwinsExt. Abstract EDTconf Extended Abstracts Leonard Tudorache Eindhoven University of Technology, Ivan Kurtev Eindhoven University of Technology, Mark van den Brand Eindhoven University of Technology Pre-print | ||
14:30 - 15:45 | Session 9: Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsightTutorials at Torremolinos A+B | ||
14:30 75mTutorial | Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsight Tutorials Link to publication | ||
14:30 - 15:45 | Session 3 - Industry DayIndustry Day at Torremolinos C Chair(s): Dimitris Kolovos University of York, Pedro J. Molina Metadev | ||
14:30 20mIndustry talk | (Re)Working collaboration between industry and academia Industry Day Steven Kelly MetaCase | ||
14:50 20mIndustry talk | Standards for Models Interoperability Industry Day | ||
15:10 20mIndustry talk | From Model-Centric Machine Control to Trusted Self-Improvement Industry Day Benno Beuting Cordis Suite | ||
15:30 15mMeeting | Free time / Networking Industry Day | ||
15:30 - 15:45 | |||
15:45 - 16:15 | |||
15:45 30mCoffee break | Break - Central bar Others | ||
16:15 - 17:30 | |||
16:15 - 17:30 | |||
16:15 - 17:10 | |||
16:15 30mTalk | An Alternative Process for Conducting Oral Exams: Applied Example, Experiences and Lessons Learnt Educators Symposium | ||
16:45 22mTalk | Model-Driven Engineering Without a Modeller: Teaching MDE as a Software Process with Epsilon and PlantUML Educators Symposium Jörn Guy Süß Codebots Pty Ltd. | ||
16:15 - 17:30 | |||
16:15 - 17:00 | |||
16:15 - 17:30 | Session 7: AIEDTconf Extended Abstracts / EDTconf Industrial Talks / EDTconf SoSyM Journal Track at Málaga Chair(s): Nelly Bencomo Durham University | ||
16:15 25mTalk | When AI Assistance Becomes High‑Risk: EU AI Act Compliance for Digital Twin in Critical InfrastructureIndustry EDTconf Industrial Talks | ||
16:40 25mTalk | Trans-Domain Digital Twins with Adaptive Intelligence for Optimizing Greenhouse Crop ProductionSoSyM J1 EDTconf SoSyM Journal Track Mansoorali Amiri DIRO, Université de Montréal, Kévin Delcourt DIRO, Université de Montréal, Houari Sahraoui DIRO, Université de Montréal | ||
17:05 25mTalk | CEP-ARCHES: Bridging Real-time Reasoning and Autonomic Control in Engineering Digital TwinsExt. Abstract EDTconf Extended Abstracts Juan Boubeta-Puig University of Cadiz, Wilhelm Hasselbring Kiel University, Alexander Barbie Kiel University | ||
16:15 - 17:30 | Session 10: Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsightTutorials at Torremolinos A+B | ||
16:15 75mTutorial | Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsight Tutorials Link to publication | ||
16:15 - 16:55 | Session 4 - Industry DayIndustry Day at Torremolinos C Chair(s): Dimitris Kolovos University of York, Pedro J. Molina Metadev | ||
16:15 20mIndustry talk | Development and Validation of a Scalable Digital Twin for Anaerobic Reactors in the Agri-Food Industry Industry Day Lucia Royo Electroingenium | ||
16:35 20mIndustry talk | Ontology-driven modelling for corporate digital twins Industry Day Alfonso Díez UGROUND GLOBAL | ||
16:55 - 17:30 | |||
17:00 - 17:25 | |||
17:10 - 17:30 | Open Debate and closingEducators Symposium at Mediterráneo C+D Chair(s): Dominik Bork TU Wien, Shalini Chakraborty University of Bayreuth | ||
17:25 - 17:30 | |||
17:45 - 19:00 | Celebrating women, celebrating everyone (Venue: Melia Costa del Sol Central bar)Others at Outside the conference premises Outside the conference premises | ||
19:30 - 23:00 | LGBTIQ+ & Allies Social Gathering (Venue: to be announced)Others at Outside the conference premises Outside the conference premises | ||
Wed 7 OctDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 17:30 | |||
08:50 - 09:15 | Opening SessionResearch Papers at Málaga Chair(s): Lola Burgueño University of Malaga, Esther Guerra Universidad Autónoma de Madrid, Mehrdad Sabetzadeh University of Ottawa MODELS 2026 Opening | ||
09:15 - 10:30 | |||
09:15 75mKeynote | From Synthesis to Safeguards: The Symbiosis of Models and LLMs Keynotes David Lo Singapore Management University | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break - Central bar Others | ||
11:00 - 12:45 | Autonomous Systems, Safety Assurance, and AI Modeling AssistantsTools and Demonstrations at Mediterráneo C+D Chair(s): Artur Boronat University of Leicester | ||
11:00 15mPaper | ArchSafe Unified Modeler: Automated ASIL, Change-Impact, and Failure Analysis of Architecture and Safety Tools and Demonstrations Muhammad Asim Minhas , Erik Burger Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
11:15 15mPaper | CANcept: Model-based CAN Traffic Generation and Manipulation Tools and Demonstrations Lino Maximilian Wertz Karlsruhe Institute of Technology (KIT), Junes Sheikhi Karlsruhe Institute of Technology (KIT), Florian Fehrle , Adrian Rupp , Tianhai Liu Karlsruhe Institute of Technology (KIT), and aicas GmbH, Philipp Kern Karlsruhe Institute of Technology (KIT), Carsten Sinz Karlsruhe Institute of Technology, Bernhard Beckert Karlsruhe Institute of Technology DOI Media Attached | ||
11:30 15mPaper | CARLA Scenario Editor Tools and Demonstrations Emre Bozkurt , Kehang Chang , Ryan Gowland , Stefan Ramdhan McMaster University / McMaster Centre for Software Certification (McSCert), Kyanna Dagenais McMaster University / McMaster Centre for Software Certification (McSCert), Vera Pantelic , Richard Paige McMaster University, Mark Lawford McMaster University | ||
11:45 15mPaper | MoRE: Traffic Rule Modeling and Runtime Evaluation for Model-Based Testing of Automated Driving Systems in CARLA Tools and Demonstrations | ||
12:00 15mPaper | AMIGO: Agentic Model Instance Generation Tools and Demonstrations Maximilian Hummel ABB Corporate Research Center, Mannheim, Julian Roßkothen Vector Informatik GmbH and Karlsruhe Institute of Technology (KIT), Nathan Hagel Karlsruhe Institute of Technology (KIT), Fatih Çatalkaya , Heiko Koziolek ABB Corporate Research, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
12:15 15mPaper | Jjodie: A Conversational Modeling Assistant with Script-Mediated (Meta)Model Manipulation Tools and Demonstrations Alfonso Pierantonio Università degli Studi dell'Aquila, Antonio Bucchiarone DISIM, University of L'Aquila, Juri Di Rocco University of L'Aquila | ||
12:30 15mPaper | From Natural-Language Crash Reports to Executable Driving Scenarios via Model Transformation Tools and Demonstrations | ||
11:00 - 12:45 | Session 2 : Digital Twins and SimulationNew Ideas and Emerging Results (NIER) / Research Papers at Málaga Chair(s): Timothy Lethbridge University of Ottawa | ||
11:00 18mTalk | A Model-driven BIM2SIM Workflow for Surrogate ModelingPT Research Papers Yi Wang University of Innsbruck, Claudio Gomes Aarhus University, Denmark, Philipp Zech University of Innsbruck, Austria | ||
11:18 18mTalk | ModiGen: A Large Language Model-Based Framework for Modelica Component Generation in Multi-Domain SystemsFT Research Papers Jiahui Xiang Zhejiang University, Tong Ye Zhejiang University, Peiyu Liu Zhejiang University, Yinan Zhang Zhejiang University, Wenhai Wang Zhejiang University | ||
11:36 12mTalk | Towards a Methodology for Continuous Model-Driven Digital Twin Engineering New Ideas and Emerging Results (NIER) Hafiyyan Sayyid Fadhlillah University of Rennes, IRISA / INRIA, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Vittoriano Muttillo University of Teramo, Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), Luca Berardinelli Johannes Kepler University Linz Link to publication DOI Pre-print | ||
11:48 18mTalk | A Conceptual Framework for Refining Influence Knowledge from Simulation Evidence in Cyber-Physical SystemsFT Research Papers Barbara da Silva Oliveira Université Côte D'Azur, I3S/INRIA Kairos, Julien DeAntoni Université Côte D'Azur, I3S/INRIA Kairos, Nicolas Ferry Université Côte d'Azur | ||
12:06 18mTalk | A Model-Driven Approach for Developing Families of Reinforcement Learning EnvironmentsFT Research Papers Xiaoran Liu McMaster University, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert) Pre-print | ||
12:24 12mTalk | Model-Driven Data Contracts for Digital Twin Services New Ideas and Emerging Results (NIER) Philipp Zech University of Innsbruck, Austria, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert) Pre-print | ||
11:00 - 12:45 | Poster Session (Second Round of Competition)ACM Student Research Competition at Torremolinos D Chair(s): Silvia Abrahão Universitat Politècnica de València, Betty H.C. Cheng Michigan State University Note: This is a poster session, where each student presenter will have 18 minutes to present their work and answer questions from each group of 1-2 panelists as they make their way around the room. The time slots indicate when each group of panelists need to move on to the next poster. | ||
11:00 10mTalk | Welcome and Introduction ACM Student Research Competition | ||
11:10 19mPaper | Automated Validation of Large-Scale Java Bytecode ModelsGraduate ACM Student Research Competition Freya Ancona Philipps-Universität Marburg File Attached | ||
11:29 19mPaper | Code generation beyond mainstream languagesGraduate ACM Student Research Competition David Delgado Universitat Oberta de Catalunya | ||
11:48 19mPaper | MMT: One Approach to Mutate Them All — A Model-Based Approach to Bytecode Mutation TestingGraduate ACM Student Research Competition Philipp Wieber Philipps-Universität Marburg | ||
12:07 19mPaper | A Modular Model-Driven Reverse Engineering Framework for Conceptual Model RecoveryGraduate ACM Student Research Competition Alessandra Mancas DIRO, Université de Montréal | ||
12:26 19mPaper | Formally-Verified Training and Runtime Validation for Small Language Models Using Relational SpecificationsGraduate ACM Student Research Competition | ||
13:00 - 14:30 | |||
13:00 90mLunch | Lunch - Restaurant Others | ||
14:30 - 15:45 | Agentic Systems and Autonomous AssuranceTools and Demonstrations at Mediterráneo C+D Chair(s): Francesco Basciani Gran Sasso Science Institute | ||
14:30 15mPaper | SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles Tools and Demonstrations Dominik Frey Linköping University, Sweden , Ulf Kargén Linköping University, Daniel Varro Linköping University / McGill University | ||
14:45 15mPaper | FM2C: An Agentic Workflow for Generating Low-Code Configurators from Feature Models Tools and Demonstrations Patrick Wegerer Software Competence Center Hagenberg GmbH, Bernhard Schenkenfelder Software Competence Center Hagenberg (SCCH), Lucia Balážová Software Competence Center Hagenberg (SCCH), Rudolf Ramler Software Competence Center Hagenberg (SCCH), Rick Rabiser Software Competence Center Hagenberg GmbH; CDL VaSiCS, LIT CPS Lab, Johannes Kepler University | ||
15:00 15mPaper | RuMROS* - A Runtime Metamodeling Approach to Multi-Robot System and Swarm Programming Tools and Demonstrations Alexander Kassuba , Sebastian Götz Technische Universität Dresden, Adrian Scholze Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany | ||
15:15 15mMeeting | Discussion Tools and Demonstrations | ||
14:30 - 15:45 | Session 4: Reliable Model GenerationResearch Papers / New Ideas and Emerging Results (NIER) at Torremolinos A+B Chair(s): Adrian Rutle Western Norway University of Applied Science | ||
14:30 12mTalk | Formalism-Aware Rewards: Turning Model Analysis into Training Feedback for Sketch-to-Model Generation New Ideas and Emerging Results (NIER) Mersedeh Sadeghi University of Cologne, Simon Scholz University of Cologne, Adrian Bajraktari University of Cologne | ||
14:42 18mTalk | A Transformation-Based Benchmark for Evaluating the Robustness of LLMs in Generating OCLFT Research Papers Hamza Attarwala Polytechnique Montreal, Moataz Chouchen Concordia University, Omar Alam Trent University, Mohammad Hamdaqa Polytechnique Montreal Pre-print | ||
15:00 18mTalk | LLM-Enhanced Stochastic Generation of Class Diagram DatasetsFT Research Papers Xiao He University of Science and Technology Beijing, Jingwei Shen School of Computer and Communication Engineering, University of Science and Technology Beijing, Ru Chen School of Computer and Communication Engineering, University of Science and Technology Beijing | ||
15:18 18mTalk | Well-Formed Executable Suggestions for Continuous Model-Driven EngineeringFT Research Papers Bastien Sultan Télécom Paris, Polytechnic Institute of Paris, Ludovic Apvrille LTCI, Télécom Paris, Institut Polytechnique de Paris | ||
15:45 - 16:15 | |||
15:45 30mCoffee break | Break - Central bar Others | ||
16:15 - 17:30 | Low-Code and Language ToolingTools and Demonstrations at Mediterráneo C+D Chair(s): Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy | ||
16:15 15mPaper | A Stage-Aware Tool for Modelling and Verifying CI/CD Security Evidence Tools and Demonstrations Sabbir M. Saleh University of Western Ontario, Nazim Madhavji Western University, John Steinbacher IBM DOI Pre-print | ||
16:30 15mPaper | Code2LowCode: An Interactive Tool for Lifting Code Clones into Reusable Model-Driven Abstractions Tools and Demonstrations Raphael Zefferer , Bernhard Schenkenfelder Software Competence Center Hagenberg (SCCH), Stefan Wagner | ||
16:45 15mPaper | Demonstrating LowSheets: Spreadsheet-Based Low-Code Development Tools and Demonstrations | ||
17:00 15mPaper | EMFular: Web-Native Generation and Customization of EMF-Consistent Graphical Editors Tools and Demonstrations | ||
17:15 15mMeeting | Discussion Tools and Demonstrations | ||
16:15 - 17:30 | |||
16:15 75mPoster | A Dual-Lens Conceptual Framework for Digital Twin V&V Posters Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Steffen Zschaler King's College London, Jean-Michel Bruel Université de Toulouse, France, Christopher Burr The Alan Turing Institute, Adelaide de Vecchi King's College London, Aidan Dures King's College London, Sophie Ebersold , Rym M'Hallah King's College London , Pascale Vicat Blanc Inria, BoFan Zhang King's College London | ||
16:15 75mPoster | VitruviusOCL: A Declarative Language for Multi-Model Consistency Specification Posters Max Oesterle Karlsruhe Institute of Technology (KIT), Arne Lange Karlsruhe Institute of Technology (KIT), Nathan Hagel Karlsruhe Institute of Technology (KIT), Terru Stübinger Karlsruhe Institut für Technologie, Anne Koziolek Karlsruhe Institute of Technology, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
16:15 75mPoster | Validation of Famix Model Importers with Model Shuffling and Input Reduction Posters Romain Degrave INRIA, Imen Sayar Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Guillermo Polito Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL | ||
16:15 75mPoster | Model-Driven Engineering for FHIR Testing: Experiences from Australia's Sparked Accelerator Posters | ||
16:15 75mPoster | Automated Quality Assessment of Metamodel Evolution: A Case Study in Java Mutation Testing Posters Freya Ancona Philipps-Universität Marburg, Philipp Wieber Philipps-Universität Marburg, Christoph Bockisch Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg | ||
16:15 75mPoster | PolicyDSL: A Model-Driven Approach for the Definition and Enforcement of Fine-Grained Access Control Policies Posters | ||
16:15 75mPoster | Toward a Self-Evaluating Digital Twin for End-to-End Empty Packaging Return Management Posters Kaouther Boulaouinat CentraleSupélec, Faicel Hnaien Université de Technologie de Troyes, Evren Sahin CentraleSupélec, Joan André Stellantis France, Riccardo Petitti Stellantis Italy | ||
20:30 - 22:30 | Welcome reception (Venue: Hotel Melia Costa del Sol Rooftop)Others at Outside the conference premises Outside the conference premises | ||
Thu 8 OctDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:00 - 08:45 | |||
08:30 - 17:30 | |||
09:15 - 10:30 | |||
09:15 75mKeynote | What Modelling will be Relevant in 2056? Keynotes Steven Kelly MetaCase | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break - Central bar Others | ||
11:00 - 12:45 | Session 9: DSLs and ToolingResearch Papers / New Ideas and Emerging Results (NIER) at Mediterráneo E+F Chair(s): Istvan David McMaster University / McMaster Centre for Software Certification (McSCert) | ||
11:00 12mTalk | Breaking Models to Test the Judge: A Mutation Testing Approach for Semantic Evaluators of Domain Class Diagrams New Ideas and Emerging Results (NIER) Kévin Delcourt DIRO, Université de Montréal, Meriem Ben Chaaben Université de Montréal, Abdelhamid Rouatbi DIRO, University of Montreal, Luciano Marchezan DIRO, University of Montreal, Houari Sahraoui DIRO, Université de Montréal Pre-print | ||
11:12 18mTalk | Software Development using Low-Code Platforms or AI-Assistants: A Case Study-based ComparisonPT Research Papers Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Philipp Wieber Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg | ||
11:30 12mTalk | Profile for realizing Domain Specific Virtual Reality Systems New Ideas and Emerging Results (NIER) Bavya Sri Kilari International Institute of Information Technology Hyderabad, Raghu Reddy IIIT Hyderabad, India, Sai Anirudh Karre Software Engineering Research Center. IIIT Hyderabad | ||
11:42 18mTalk | Realizing a Model Context Protocol (MCP) Server for the Graphical Language Server Platform (GLSP)PT Research Papers Andreas Hell TU Wien, Martin Fleck EclipseSource Services GmbH, Philip Langer EclipseSource Services GmbH, Dominik Bork TU Wien | ||
12:00 12mTalk | Physical Execution Plans for Model-Driven Engineering: Decoupling DSL Design from Runtime-Specific Representations New Ideas and Emerging Results (NIER) Francisco Martínez-Lasaca Universitat Oberta de Catalunya, Juan de Lara Autonomous University of Madrid DOI | ||
12:12 18mTalk | Zero-Width Markers for View-to-Model TraceabilityFT Research Papers File Attached | ||
12:30 12mPaper | Measure What Survives: When Model Vocabulary Outlives Generated Code New Ideas and Emerging Results (NIER) Artur Boronat University of Leicester, Jawad Mustafa University of Leicester, Fola-Dami Eyitemi University of Leicester | ||
11:00 - 12:45 | Session 7: LLMs for MDENew Ideas and Emerging Results (NIER) / Research Papers at Málaga Chair(s): Antonio Cicchetti Mälardalen University | ||
11:00 12mTalk | Modular Meta-Languages for Structured Instructions: A Novel Approach for LLM Integration into Evolving Engineering Toolchains New Ideas and Emerging Results (NIER) | ||
11:12 18mTalk | Json-SysML: A Bidirectional JSON-Based Representation for SysML Models Enabling LLM-Augmented Model-Based Systems EngineeringFT Research Papers Yousef Khoubrane École Polytechnique, Institut Polytechnique de Paris / Assystem Energy and Operation Services (AEOS), Nassara Elhadji Ille Gado Assystem Energy and Operation Services (AEOS), Rui Li Assystem Energy and Operation Services (AEOS), Helene Danlos Assystem Energy and Operation Services (AEOS), Nicolas Bureau Assystem Energy and Operation Services (AEOS), Lies Benmiloud Bechet Assystem Energy and Operation Services (AEOS), Robert Plana Assystem Energy and Operation Services (AEOS), Michalis Vazirgiannis École Polytechnique, Institut Polytechnique de Paris | ||
11:30 12mTalk | Typed Edits, Reviewable Models: Toward LLM-Supported Blended Co-Modeling New Ideas and Emerging Results (NIER) Federico Ciccozzi Mälardalen University | ||
11:42 18mTalk | LLM-Based Instance Model Generation via Code SynthesisFT Research Papers Javier Polo Gambín Universidad de Murcia, José Antonio Hernández López Department of Computer Science and Systems, University of Murcia, José Antonio Ruipérez-Valiente Universidad de Murcia | ||
12:00 12mTalk | Beyond Single-Run Correctness: Nondeterminism-Aware Evaluation of LLM-Based Model Transformations New Ideas and Emerging Results (NIER) Riccardo Rubei Malardalen University, Alessio Bucaioni Mälardalen University, Amleto Di Salle Gran Sasso Science Institute, L'Aquila, Italy | ||
12:12 18mTalk | The impact of Software Model Slicing on Software Model Completion with Large Language ModelsFT Research Papers Alisa Carla Welter Saarland University, Benedict Bliem Saarland University, Omer Iqbal Saarland University, Sven Apel Saarland University | ||
12:30 12mTalk | Bridging Feature Models and Users: LLM-Generated Low-Code Configurators for Software Product Lines New Ideas and Emerging Results (NIER) Patrick Wegerer Software Competence Center Hagenberg GmbH, Bernhard Schenkenfelder Software Competence Center Hagenberg (SCCH), Rudolf Ramler Software Competence Center Hagenberg (SCCH), Rick Rabiser Software Competence Center Hagenberg GmbH; CDL VaSiCS, LIT CPS Lab, Johannes Kepler University, Manuel Wimmer Johannes Kepler University Linz | ||
11:00 - 12:45 | Presentation Session (Third Round of Competition)ACM Student Research Competition at Torremolinos D After the Poster Session, the panelists will meet to select a subset of the SRC participants to advance to the third and final round of the competition. The selected participants will give a 15-minute presentation of their research before a panel of judges during a session at the conference (open to all conference attendees), followed by a 10-minute question-and-answer period. Three winners will be selected for the Graduate (PhD) category and will receive prizes at the MODELS 2026 banquet. The information about the three selected candidates will be displayed on this page on the afternoon of Wednesday, October 7, after the candidates have been notified of the results of the Poster Session (Second Round of Competition). | ||
13:00 - 14:30 | |||
13:00 90mLunch | Lunch - Restaurant Others | ||
14:30 - 15:45 | PanelPanel at Málaga Chair(s): Dominik Bork TU Wien, Marsha Chechik University of Toronto, Gabor Karsai Vanderbilt University, Marcel Verhoef European Space Agency | ||
14:30 75mPanel | If AI eats software, how can we ensure the result is safe & secure? Panel Zoltán Micskei Budapest University of Technology and Economics | ||
15:45 - 16:15 | |||
15:45 30mCoffee break | Break - Central bar Others | ||
16:15 - 17:30 | Modeling and EvolutionTools and Demonstrations at Mediterráneo C+D Chair(s): Michael Wahler Zurich University of Applied Sciences (ZHAW) | ||
16:15 15mPaper | Senate: Tool for Change Propagation control in Model Federation Tools and Demonstrations Anish Bhobe Institut Polytechnique de Paris, Dominique Blouin LTCI Lab, Telecom Paris, Institute Polytechnique de Paris, Laurent Pautet Télécom Paris, Institut Polytechnique de Paris | ||
16:30 15mPaper | Generating Consistent and Realistic Database Instances with PRISMA Tools and Demonstrations David Borrero , Xinshen Xiang , José Francisco Crespo Universitat Politècnica de Catalunya, Xavier Oriol Universitat Politècnica de Catalunya, Ernest Teniente Universitat Politècnica de Catalunya, Spain | ||
16:45 15mPaper | Graphical Management of Multiple Runtime Models to Improve the Comprehension of Contextual Behavioral Programs Tools and Demonstrations Nick Ruider , Sebastian Götz Technische Universität Dresden, Tom Felber , Uwe Aßmann TU Dresden, Germany | ||
17:00 15mPaper | MDEO-Cloud: A Modular Cloud-Based Platform for Model-Driven Optimization Tools and Demonstrations Niklas Krieger , Sandro Speth Technical University of Munich, Steffen Becker University of Stuttgart, Steffen Zschaler King's College London | ||
17:15 15mPaper | Who are my users? A graphical language and modeling environment for specifying end-user profiles Tools and Demonstrations Aaron Conrardy Luxembourg Institute of Science and Technology, Alfredo Capozucca University of Luxembourg, Jordi Cabot Luxembourg Institute of Science and Technology | ||
16:15 - 17:30 | |||
16:15 75mTalk | Models versus Specs: The Role of MDE in Agentic Software Development! Research Papers | ||
16:15 - 17:30 | |||
16:15 25mTalk | ThingML: a language and code generation framework for heterogeneous targets Research Papers | ||
16:40 25mTalk | Model transformation intents and their properties Research Papers Levi Lucio , Moussa Amrani University of Namur, Juergen Dingel Queen's University, Kingston, Ontario, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg, Rick Salay University of Toronto, Gehan Selim McMaster University, Canada, Eugene Syriani Université de Montréal, Manuel Wimmer Johannes Kepler University Linz DOI | ||
17:05 25mTalk | An overview of model checking practices on verification of PLC software Research Papers Tolga Ovatman Istanbul Technical University, Atakan Aral University of Vienna, Davut Polat , Ali Osman Ünver | ||
16:15 - 17:30 | Session 10: Specification EngineeringJournal First / Research Papers at Torremolinos A+B Chair(s): Michel Chaudron Eindhoven University of Technology, The Netherlands | ||
16:15 18mTalk | On Redundancy in Alloy ModelsFT Research Papers | ||
16:33 18mTalk | LINDDUN MAESTRO: an architecture framework for privacy threat modeling Journal First Dimitri Van Landuyt KU Leuven, Belgium, Laurens Sion DistriNet, KU Leuven, Wouter Joosen imec-DistriNet, KU Leuven DOI | ||
16:51 18mTalk | Anvil: LLM-Powered Synthesis, Validation, and Repair of Alloy SpecificationsFT Research Papers Yang Hong University of Texas at Austin, Chenbo Yin UT Austin, Shan Jiang University of Texas at Austin, Yulei Fu UT Austin, Sarfraz Khurshid University of Texas at Austin | ||
17:09 18mTalk | Enhancing automated network function onboarding through language extension and code refactoring Journal First DOI | ||
16:15 - 17:30 | |||
16:15 75mPoster | Model-Driven Digital Twin Framework for Quantum Networks Posters Amal Elsokary Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Hayato Ishida Loughborough University, Ran Wei Dalian University of Technology, Michael J. de C. Henshaw Loughborough University, Siyuan Ji Loughborough University | ||
16:15 75mPoster | Beyond single-run correctness: nondeterminism-aware evaluation of LLM-based model transformations Posters Riccardo Rubei Malardalen University, Alessio Bucaioni Mälardalen University, Amleto Di Salle Gran Sasso Science Institute, L'Aquila, Italy | ||
16:15 75mPoster | Do Not Disturb: Proposing Approaches Towards Motivated Human-in-the-Loop for Less Disruptive Cross-Domain Interactive Repair Posters Miriam Boss Karlsruhe Institute of Technology (KIT), Friedrich Schadow Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI), Kathrin Gerling Karlsruhe Institute of Technology (KIT) | ||
16:15 75mPoster | When Layout Matters: Characterizing Layout-Sensitive Notations and Their Cognitive Trade-offs Posters Antonio Bucchiarone DISIM, University of L'Aquila, Antonio Cicchetti Mälardalen University, Juri Di Rocco University of L'Aquila, Alfonso Pierantonio Università degli Studi dell'Aquila | ||
16:15 75mPoster | A Model-Driven Approach for Developing Families of Reinforcement Learning Environments Posters Xiaoran Liu McMaster University, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert) | ||
16:15 75mPoster | From Complex Ecosystems to Understandable Models – Evaluating a Domain-Specific Modeling Language for Digital Ecosystem Governance Posters Taija Kolehmainen University of Jyväskylä, Jyväskylä, Finland, Gabriella Laatikainen VTT Technical Research Centre of Finland, Juha-Pekka Tolvanen MetaCase, Tommi Mikkonen University of Jyväskylä | ||
16:15 75mPoster | OptiGob 2.0: A Model-Driven Approach for Exploring Agri-Sustainability Projections Posters Michael Mittermaier University of Regensburg, David Styles University of Galway, Judith Michael University of Regensburg | ||
16:15 75mPoster | Automated Generation of Java Bytecode Models Across Scales Posters Freya Ancona Philipps-Universität Marburg, Philipp Wieber Philipps-Universität Marburg, Christoph Bockisch Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg | ||
19:00 - 23:59 | Gala Dinner (Venue: Hacienda Nadales) Others at Outside the conference premises Outside the conference premises | ||
Fri 9 OctDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 10:30 | |||
09:15 - 10:30 | |||
09:15 75mKeynote | The Fragility of Software Engineering Experiments: What We Fail to See Keynotes Sira Vegas Universidad Politecnica de Madrid | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break - Central bar Others | ||
11:00 - 12:00 | Predictive Systems and Model VisualizationTools and Demonstrations at Mediterráneo C+D Chair(s): Davide Di Ruscio University of L'Aquila | ||
11:00 15mPaper | ModL: A Data Model Ledger for Contract Evolution Tools and Demonstrations | ||
11:15 15mPaper | ML2++: A Dual-Mode Model-Driven Tool for Forecasting-Enabled IoT Applications Tools and Demonstrations Zahra Mardani , Thimothy Smith Universiteit Antwerpen, Moharram Challenger University of Antwerp, Armin Moin Purdue University, Joao Carlos Amaro Ferreira ISCTE – Instituto Universitário de Lisboa, Alberto Rodrigues da Silva Instituto Superior Técnico (IST), Gonçalo Vitorino Jesus Laboratório Nacional de Engenharia Civil (LNEC) | ||
11:30 15mPaper | ForeACT: A Model-Driven Workbench for Actionability Assessment of Forecast Changes Tools and Demonstrations | ||
11:45 15mPaper | Model Textually, View Graphically: Automatic Class Diagram Visualization with Bidirectional Navigation and LSP Support Tools and Demonstrations | ||
11:00 - 12:10 | Session 12: Model Analysis and QualityNew Ideas and Emerging Results (NIER) / Journal First / Research Papers at Torremolinos A+B Chair(s): Matthias Tichy Ulm University | ||
11:00 12mTalk | UncertainTree: Analyzing Multi-Model Consistency under Uncertainty New Ideas and Emerging Results (NIER) Nathan Hagel Karlsruhe Institute of Technology (KIT), Johannes Mäkelburg Technische Universität München, Martin Armbruster Karlsruhe Institute of Technology (KIT), Bowen Jiang Karlsruhe Institute of Technology, Benedikt Jutz Karlsruhe Institute of Technology (KIT), Lars König Karlsruhe Institute of Technology (KIT), Arne Lange Karlsruhe Institute of Technology (KIT), Robin Maisch Karlsruhe Institute of Technology (KIT), Fabian Reinbold Karlsruhe Institute of Technology, Thomas Weber Karlsruhe Institute of Technology (KIT), Maribel Acosta Technical University of Munich, Anne Koziolek Karlsruhe Institute of Technology | ||
11:12 18mTalk | Model-based stochastic analysis with probabilistic graph query evaluation Journal First Máté Földiák Linköping University, Kristóf Marussy Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University DOI | ||
11:30 18mTalk | Automated Quality Assessment of Metamodel Evolution: A Case Study in Java Mutation TestingPT Research Papers Freya Ancona Philipps-Universität Marburg, Philipp Wieber Philipps-Universität Marburg, Christoph Bockisch Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg | ||
11:48 12mTalk | Models as Governed Interfaces for AI-Native MBSE: Read-Side Adequacy and Write-Side Admissibility New Ideas and Emerging Results (NIER) Jason D. Gower Loughborough University, Michael J. de C. Henshaw Loughborough University, Siyuan Ji Loughborough University DOI Pre-print | ||
12:10 - 12:45 | |||
13:00 - 14:30 | |||
13:00 90mLunch | Lunch - Restaurant Others | ||