MODELS 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (503)

A Lukman Ab. RahimAb. Rahim, Lukman [2025 The ten year most influential regular paper award] A survey of approaches for verifying model transformations
Abdelwahab Hamou-Lhadj Abdelwahab Hamou-Lhadj ECE Concordia Unversity Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges
Silvia AbrahãoAbrahão, Silvia Universitat Politècnica de ValènciaSpain Committee Member in Steering Committee for MODELS 2025 PB member in Program Board within the MODELS Research Papers-track
Sharar AhmadiAhmadi, Sharar Diagrammatic physical robot models
Khaled AhmedAhmed, Khaled Huawei Research Canada, University of British Columbia (UBC)Canada MCeT: Behavioral Model Correctness Evaluation using Large Language Models
Riku Ala-LaurinahoAla-Laurinaho, Riku Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin web
Omar AlamAlam, Omar Trent UniversityCanada Committee Member in Program Committee within the MODELS Educators Symposium-track PC Member in Program Committee within the MODELS Workshops-track
Pedro Alarcon GranadenoAlarcon Granadeno, Pedro University of Notre DameUnited States Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
Jasper Albert Adriaan van den BargAlbert Adriaan van den Barg, Jasper Earth Science Digital Twins: A Systematic Literature Review
Joshua Alele-BealsAlele-Beals, Joshua Michigan Technological UniversityUnited States Model based tools for inquiry into expungement law
Iván AlfonsoAlfonso, Iván Luxembourg Institute of Science and TechnologyLuxembourg Modeling the obsolescence of models Teaching low-code development with BESSER
Nour AliAli, Nour Brunel University LondonUnited Kingdom Committee Member in Program Committee within the EDTconf Technical Track-track
Shaukat AliAli, Shaukat Simula Research Laboratory and Oslo Metropolitan UniversityNorway Program Co-Chair in Organizing Committee for MODELS 2025 Chair in Chairs within the MODELS Research Papers-track Committee Member in Program Committee within the EDTconf Technical Track-track
Vahid AlizadehAlizadeh, Vahid DePaul UniversityUnited States Web Co-Chair in Organizing Committee for MODELS 2025
João Paulo A. AlmeidaAlmeida, João Paulo A. Ontology and Conceptual Modeling Research Group (NEMO), Federal University of Espirito SantoBrazil Committee Member in Program Committee within the MODELS Tutorials-track
Sultan AlmutairiAlmutairi, Sultan Shaqra UniversitySaudi Arabia Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy
Tarek AlskaifAlskaif, Tarek Wageningen UniversityNetherlands Evolution at the Core of Digital Twin Engineering
Sanaa AlwidianAlwidian, Sanaa Canada A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous Vehicles A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous Vehicles
Vasco AmaralAmaral, Vasco NOVA University LisbonPortugal A Metamodel for Reengineering CI/CD Pipelines
Gal AmramAmram, Gal IBM ResearchIsrael Automata Models for Effective Bug Description
Daniel AmyotAmyot, Daniel University of OttawaCanada PB member in Program Board within the MODELS Research Papers-track
Mikkel Schmidt AndersenAndersen, Mikkel Schmidt Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach
Anthony AnjorinAnjorin, Anthony Zühlke Engineering GmbHGermany PC Member in Program Committee within the MODELS Research Papers-track
Bjoern AnnighoeferAnnighoefer, Bjoern University of StuttgartGermany Common modeling concepts and a command interface towards bisimilar behavior of different domain-specific modeling frameworks
Fazel AnsariAnsari, Fazel TU Wien and Fraunhofer Austria Austria Committee Member in Program Committee within the EDTconf Technical Track-track
Ludovic ApvrilleApvrille, Ludovic Télécom Paris Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems
Lorena ArcegaArcega, Lorena SVIT Research Group, Universidad San JorgeSpain Deepening our Understanding on the use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal Engine Committee Member in Program Committee within the MODELS Research Papers-track
Pascal ArchambaultArchambault, Pascal On the Challenges of Integrating Digital Twins
Martin Arthur AndersenArthur Andersen, Martin Østfold University College DarTwin made precise by SysML v2 – An Experiment
Wesley AssunçãoAssunção, Wesley North Carolina State UniversityUnited States Going from the Past back to the Future: Incrementally Reconstructing a Metamodel History
Colin AtkinsonAtkinson, Colin University of MannheimGermany Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems
Juuso AutiosaloAutiosalo, Juuso Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin web
Juan AvilesAviles, Juan The University of Maine Committee Member in Program Committee within the MODELS Tools and Demonstrations-track
Antony Ayman Alfy MeckhaelAyman Alfy Meckhael, Antony Faculty of Media Engineering and Technology (MET), German University in CairoEgypt A Container-based Approach For Proactive Asset Administration Shell Digital Twins
Clara AyoraAyora, Clara Universidad de Castilla La ManchaSpain Rethinking How to Teach Analysis and Modelling of Business Requirements: A Serious Game Integrating GenAI
B Majid BabaeiBabaei, Majid McGill UniversityCanada PC Member in Program Committee within the MODELS Workshops-track
Aren BabikianBabikian, Aren University of Toronto Committee Member in Program Committee within the MODELS Tools and Demonstrations-track
Önder BaburBabur, Önder Wageningen University & Research Evolution at the Core of Digital Twin Engineering
Alessandra BagnatoBagnato, Alessandra Softeam Committee Member in Program Committee within the MODELS Tools and Demonstrations-track
Souvik BaratBarat, Souvik Tata Consultancy Services ResearchIndia Leveraging Gen AI in Digital Twin based Support for Complex System of Systems Enabling Inverse Reasoning in Enterprise Digital Twins using Multi-Objective Bayesian Optimization Committee Member in Program Committee within the EDTconf Technical Track-track
Pedro Paulo BarcelosBarcelos, Pedro Paulo Mining Frequent Structures in Conceptual Models
Balbir BarnBarn, Balbir Middlesex University, UKUnited Kingdom Committee Member in Program Committee within the EDTconf Technical Track-track
Angela BarrigaBarriga, Angela Western University of Applied Sciences Committee Member in Program Committee within the MODELS Tools and Demonstrations-track
Don BatoryBatory, Don University of Texas, AustinUnited States Committee Member in Steering Committee for MODELS 2025
James BaxterBaxter, James Diagrammatic physical robot models
Andreas BayhaBayha, Andreas fortiss GmbH Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems
Jonathan BeaulieuBeaulieu, Jonathan École de technologie supérieure (ÉTS)Canada DarTwin made precise by SysML v2 – An Experiment
Nicolas BelloirBelloir, Nicolas IRISA / Ecoles de St-Cyr CoëtquidanFrance NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Nelly BencomoBencomo, Nelly Durham UniversityUnited Kingdom Committee Member in Steering Committee for MODELS 2025 Committee Member in Steering Committee for EDTconf 2025 Modeling: The Heart and Soul of Engineering Smart Ecosystems Committee Member in Program Committee within the EDTconf Technical Track-track
Nora BennaniBennani, Nora IRT Saint-ExupéryFrance CoFMPy: A Python Framework for Rapid Prototyping of FMI-based Digital Twins
Phillipa BennettBennett, Phillipa The University of the West Indies Committee Member in Program Committee within the MODELS Educators Symposium-track
Luca BerardinelliBerardinelli, Luca Johannes Kepler University LinzAustria Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud Committee Member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated Clouds Committee Member in Program Committee within the EDTconf Technical Track-track
Sebastian BergemannBergemann, Sebastian Technical University of Munich & fortiss GmbHGermany Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems
Imad BerrouyneBerrouyne, Imad Mälardalen University Committee Member in Program Committee within the MODELS Tools and Demonstrations-track
Julia BerzhanskayaBerzhanskaya, Julia National Institute of HealthUnited States Engineering Fit-for-Implementation Digital Twins (FiDTs) Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World Impact
Benno BeutingBeuting, Benno Cordis SuiteNetherlands How can we better bridge the gap between academia and industry? Success stories and failures. Panelist in Panel committee within the MODELS Panel-track
Adam BlanchetBlanchet, Adam University of YorkUnited Kingdom Towards Efficient Offline Incremental Model-to-Text Transformations
Arnaud BlouinBlouin, Arnaud Univ Rennes, INSA Rennes, Inria, CNRS, IRISAFrance Engineering Digital Twins: A Research Roadmap
Willian BolzanBolzan, Willian Federal Institute of Santa Catarina - IFSCBrazil Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate Analysis
Francis BordeleauBordeleau, Francis École de Technologie Supérieure (ETS)Canada Committee Member in Steering Committee for EDTconf 2025 Continuous Evolution of Digital Twins using the DarTwin Notation PC Member in Program Committee within the MODELS Research Papers-track DarTwin made precise by SysML v2 – An Experiment Evolution at the Core of Digital Twin Engineering Committee Member in Program Committee within the EDTconf Technical Track-track
Dominik BorkBork, Dominik TU WienAustria Tutorial Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chairs within the MODELS Tutorials-track Mining Frequent Structures in Conceptual Models Toward a Community-Curated Golden Dataset of UML Models A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories Committee Member in Program Committee within the MODELS Research Papers-track Committee Member in Committee within the MODELS Artifact Evaluation-track Inclusive Model-Driven Engineering for Accessible Software NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Artur BoronatBoronat, Artur University of LeicesterUnited Kingdom Committee Member in Committee within the MODELS Artifact Evaluation-track NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Birgit BossBoss, Birgit Robert Bosch GmbHGermany EDTconf Keynote 2: How to drive digitalization with Digital Twins and how this is related to standards, regulation and Data Spaces
Erwan BousseBousse, Erwan Nantes UniversitéFrance Committee Member in Committee within the MODELS Artifact Evaluation-track
Christian BrecherBrecher, Christian A Digital Shadow for Accurate Robot Motion Control: Integrating Data with Friction Models
Jason BresslerBressler, Jason United Wholesale Mortgage MODELS 2025 Keynote 3: AI Adoption and Integration – How to Make It Work Quickly and Efficiently In the Workplace
Ruth BreuBreu, Ruth University of InnsbruckAustria An Ecosystem of DSMLs for Building Commissioning An Ecosystem of DSMLs for Building Commissioning PC Member in Program Committee within the MODELS Research Papers-track Committee Member in Program Committee within the EDTconf Technical Track-track
Hind Bril El HaouziBril El Haouzi, Hind University of Lorraine, FranceFrance Engineering Digital Twins: A Research Roadmap
Pierre BrimontBrimont, Pierre Luxembourg Institute of Science and Technology and University of LuxembourgLuxembourg Modeling the obsolescence of models
Einar Broch JohnsenBroch Johnsen, Einar University of OsloNorway Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring Committee Member in Program Committee within the EDTconf Technical Track-track
Jean-Michel BruelBruel, Jean-Michel Université de Toulouse, FranceFrance Committee Member in Program Committee within the MODELS Educators Symposium-track PB member in Program Board within the MODELS Research Papers-track Modeling: The Heart and Soul of Engineering Smart Ecosystems On the Challenges of Integrating Digital Twins Engineering Digital Twins: A Research Roadmap
Mihal BrumbulliBrumbulli, Mihal PragmaDev Optimizing Industrial Operations through Business Process Formalization
Hugo BruneliereBruneliere, Hugo IMT Atlantique, LS2N (UMR CNRS 6004)France Committee Member in Program Committee within the MODELS Educators Symposium-track Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection
Alessio BucaioniBucaioni, Alessio Mälardalen UniversitySweden Industry Chair in Organizing Committee for EDTconf 2025 Committee Member in Committee within the MODELS Artifact Evaluation-track Committee Member in Program Committee within the EDTconf Technical Track-track
Antonio BucchiaroneBucchiarone, Antonio DISIM, University of L'AquilaItaly Committee Member in Program Committee within the MODELS Educators Symposium-track Modeling: The Heart and Soul of Engineering Smart Ecosystems
Jeff BuchsbaumBuchsbaum, Jeff National Institute of HealthUnited States Engineering Fit-for-Implementation Digital Twins (FiDTs) Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World Impact
Lola BurgueñoBurgueño, Lola University of MalagaSpain Panel chair in Organizing Committee for MODELS 2025 NIER Co-Chair in Organizing Committee for MODELS 2025 Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education PC Member in Program Committee within the MODELS Workshops-track Session Chair of Panel (part of MODELS Panel) How can we better bridge the gap between academia and industry? Success stories and failures. Chair in Panel committee within the MODELS Panel-track Co-chair in Chairs within the MODELS New Ideas and Emerging Results (NIER)-track On the Challenges of Integrating Digital Twins Committee Member in Program Committee within the EDTconf Technical Track-track
Constantin BuschhausBuschhaus, Constantin Semantic Analysis of Domain Model Evolution in Model-Driven Software Development
C Jordi CabotCabot, Jordi Luxembourg Institute of Science and TechnologyLuxembourg Committee Member in Steering Committee for MODELS 2025 Modeling the obsolescence of models Teaching low-code development with BESSER PB member in Program Board within the MODELS Research Papers-track
Marco CalamoCalamo, Marco Dipartimento Ingegneria Informatica, Automatica e Gestionale Antonio Ruberti, Sapienza Universita di RomaItaly Toward a Community-Curated Golden Dataset of UML Models
Diego CalvaneseCalvanese, Diego Mining Frequent Structures in Conceptual Models
Andrea CapiluppiCapiluppi, Andrea University of GroningenNetherlands Using Concept Traceability to Investigate UML Class Diagram Evolution in Long-Existing FOSS Projects
Margarita CaprettoCapretto, Margarita IMDEA Software Institute and Universidad Politécnica de MadridSpain Modal Abstractions for Smart Contract Validation Modal Abstractions for Smart Contract Validation
Erin CarrierCarrier, Erin Grand Valley State University Student Volunteer Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Student Volunteers Chair within the MODELS Student Volunteers-track
Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom Diagrammatic physical robot models
Martin CeresaCeresa, Martin Input Output -- IMDEA Software InstituteSpain Modal Abstractions for Smart Contract Validation Modal Abstractions for Smart Contract Validation
Tomas CernyCerny, Tomas University of ArizonaUnited States Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
Carlos CetinaCetina, Carlos Spain Deepening our Understanding on the use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal Engine
Shalini ChakrabortyChakraborty, Shalini Reykjavik UniversityIceland Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Stéphanie ChallitaChallita, Stéphanie University of Rennes / IRISAFrance NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Emmanuel Charleson DapaahCharleson Dapaah, Emmanuel University of Göttingen Model-Driven Root Cause Analysis for Trustworthy AI: A Data-and-Model-Centric Explanation Framework
Marsha ChechikChechik, Marsha University of TorontoCanada Committee Member in Steering Committee for MODELS 2025 Committee Member in Program Committee within the MODELS Educators Symposium-track PB member in Program Board within the MODELS Research Papers-track
Boqi ChenChen, Boqi McGill UniversityCanada MCeT: Behavioral Model Correctness Evaluation using Large Language Models Accurate and Consistent Graph Model Generation from Text with Large Language Models SHERPA: A Model-Driven Framework for Large Language Model Execution
Jingshu ChenChen, Jingshu Oakland University Committee Member in Program Committee within the MODELS Tutorials-track
Kua ChenChen, Kua McGill UniversityCanada SHERPA: A Model-Driven Framework for Large Language Model Execution
Betty H.C. ChengCheng, Betty H.C. Michigan State UniversityUnited States PB member in Program Board within the MODELS Research Papers-track Keynote: Multidisciplinary Model-Based Approaches to Assurance for Safety-Critical Learning-Enabled Autonomous Systems On the Challenges of Integrating Digital Twins
Antonio CicchettiCicchetti, Antonio Sweden PC Member in Program Committee within the MODELS Research Papers-track Modeling: The Heart and Soul of Engineering Smart Ecosystems
Federico CiccozziCiccozzi, Federico Mälardalen UniversitySweden NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Robert ClarisóClarisó, Robert Universitat Oberta de CatalunyaSpain Committee Member in Program Committee within the MODELS Educators Symposium-track NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Tony ClarkClark, Tony Aston University, Birmingham, UKUnited Kingdom Committee Member in Steering Committee for EDTconf 2025
Peter J. ClarkeClarke, Peter J. Florida International University, USAUnited States Committee Member in Program Committee within the MODELS Educators Symposium-track
Jane Cleland-HuangCleland-Huang, Jane University of Notre DameUnited States Ambient Advisory Models: Augmenting Runtime Models into Distributed Reasoning Agents Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
Loek CleophasCleophas, Loek Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)Netherlands Committee Member in Steering Committee for EDTconf 2025 Committee Member in Program Committee within the MODELS Tutorials-track Committee Member in Program Committee within the MODELS Educators Symposium-track PC Member in Program Committee within the MODELS Workshops-track Committee Member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track On the Challenges of Integrating Digital Twins Evolution at the Core of Digital Twin Engineering Committee Member in Program Committee within the EDTconf Technical Track-track
Drew ColthorpColthorp, Drew Atomic Object From Autocomplete to Autonomous Agents: Human-AI Collaboration in Software Development
Benoit CombemaleCombemale, Benoit University of Rennes, Inria, CNRS, IRISAFrance Committee Member in Steering Committee for MODELS 2025 Committee Member in Steering Committee for EDTconf 2025 PB member in Program Board within the MODELS Research Papers-track Modeling: The Heart and Soul of Engineering Smart Ecosystems On the Challenges of Integrating Digital Twins Engineering Digital Twins: A Research Roadmap Evolution at the Core of Digital Twin Engineering Committee Member in Program Committee within the EDTconf Technical Track-track
Marco CotrotzoCotrotzo, Marco University of InnsbruckAustria Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud
David CrawfordCrawford, David Michigan Software Labs How to Win Leadership Support for AI
Jácome CunhaCunha, Jácome Universidade do PortoPortugal A Metamodel for Reengineering CI/CD Pipelines
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis Universitat Oberta de CatalunyaSpain Committee Member in Program Committee within the MODELS Tools and Demonstrations-track
D Giordano d'Aloisiod'Aloisio, Giordano University of L'AquilaItaly How fair are we? From conceptualization to automated assessment of fairness definitions
Hugo da Giãoda Gião, Hugo University of Porto & HASLab/INESC TECPortugal A Model-Driven Approach for CI/CD A Metamodel for Reengineering CI/CD Pipelines
Kyanna DagenaisDagenais, Kyanna McMaster UniversityCanada Complex Model Transformations by Reinforcement Learning with Uncertain Human Guidance
Istvan DavidDavid, Istvan McMaster University / McMaster Centre for Software Certification (McSCert)Canada Tools and Demo Co-Chair in Organizing Committee for MODELS 2025 PC Member in Program Committee within the MODELS Workshops-track Co-chair in Chairs within the MODELS Tools and Demonstrations-track Complex Model Transformations by Reinforcement Learning with Uncertain Human Guidance PC Member in Program Committee within the MODELS Research Papers-track Committee Member in Committee within the MODELS Artifact Evaluation-track Engineering Automotive Digital Twins on Standardized Architectures: Lessons from a Case Study Committee Member in Program Committee within the EDTconf Technical Track-track
Eduardo de Contode Conto, Eduardo Nanyang Technological University; CNRS@CREATESingapore DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
Jose Luis de la Varade la Vara, Jose Luis Universidad de Castilla - La ManchaSpain Rethinking How to Teach Analysis and Modelling of Business Requirements: A Serious Game Integrating GenAI
Alfonso de la Vegade la Vega, Alfonso Universidad de CantabriaSpain Committee Member in Committee within the MODELS Artifact Evaluation-track
Juan de Larade Lara, Juan Autonomous University of MadridSpain Committee Member in Steering Committee for MODELS 2025 Committee Member in Program Committee within the MODELS Tutorials-track PC Member in Program Committee within the MODELS Research Papers-track
Julien DeAntoniDeAntoni, Julien Engineering Digital Twins: A Research Roadmap
Victoria DegelerDegeler, Victoria University of Amsterdam Earth Science Digital Twins: A Systematic Literature Review Committee Member in Program Committee within the EDTconf Technical Track-track
Kévin DelcourtDelcourt, Kévin Université de MontréalCanada Engineering Digital Twins for AI-Based Design Space Exploration: Case of Plasma-Enhanced Deposition Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced Deposition
Joachim DenilDenil, Joachim University of Antwerp, Belgium Continuous Evolution of Digital Twins using the DarTwin Notation DarTwin made precise by SysML v2 – An Experiment Evolution at the Core of Digital Twin Engineering Lab-Scale Gantry Crane Digital Twin Exemplar Committee Member in Program Committee within the EDTconf Technical Track-track
Byron DevriesDevries, Byron Grand Valley State UniversityUnited States Introducing MyPetri.net: A Petri Net Editor and Simulator for Students
Antinisca Di MarcoDi Marco, Antinisca University of L'AquilaItaly How fair are we? From conceptualization to automated assessment of fairness definitions
Elisabeta di Nittodi Nitto, Elisabeta Politecnico di MilanoItaly A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Journal First Chair in Organizing Committee for MODELS 2025 How fair are we? From conceptualization to automated assessment of fairness definitions Chair in Chairs within the MODELS Journal-First-track PC Member in Program Committee within the MODELS Workshops-track PC Member in Program Committee within the MODELS Research Papers-track
Amleto Di SalleDi Salle, Amleto Gran Sasso Science Institute (GSSI)Italy Committee Member in Committee within the MODELS Artifact Evaluation-track
Claudio Di SipioDi Sipio, Claudio University of L'AquilaItaly How fair are we? From conceptualization to automated assessment of fairness definitions Committee Member in Committee within the MODELS Artifact Evaluation-track NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Juergen DingelDingel, Juergen Queen's University, Kingston, OntarioCanada The Norwegian SISU Project: History and Long-term Impact of an Early MDD Effort
Juergen DingelDingel, Juergen Queen's UniversityCanada PC Member in Program Committee within the MODELS Research Papers-track
Andjela DjelicDjelic, Andjela TU WienAustria A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories
África DomingoDomingo, África SVIT Research Group, Universidad San JorgeSpain Deepening our Understanding on the use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal Engine
Bojana DragašDragaš, Bojana Automating the Development of API-Based Generators Using Code Idioms Mining
Francisco DuránDurán, Francisco University of Málaga, SpainSpain Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
Thierry DuvalDuval, Thierry IMT AtlantiqueFrance Engineering Digital Twins: A Research Roadmap
E Arvind EaswaranEaswaran, Arvind Nanyang Technological UniversitySingapore DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
Ali EbnenasirEbnenasir, Ali Model based tools for inquiry into expungement law
Jorge EcheverriaEcheverria, Jorge SVIT Research Group, Universidad San JorgeSpain Deepening our Understanding on the use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal Engine
Alexander EgyedEgyed, Alexander Johannes Kepler University LinzAustria Committee Member in Steering Committee for MODELS 2025 Going from the Past back to the Future: Incrementally Reconstructing a Metamodel History
Martin EisenbergEisenberg, Martin Johannes Kepler University, LinzAustria Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning
Maged ElaasarElaasar, Maged Jet Propulsion Laboratory (NASA) Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges
Stein Erik EllevsethEllevseth, Stein Erik ABB Retired ResearcherNorway The Norwegian SISU Project: History and Long-term Impact of an Early MDD Effort
Carsten EllweinEllwein, Carsten nstitute for Control Engineering of Machine Tools and Manufacturing Units (ISW), University of Stuttgart,Germany Digital twin and the asset administration shell - An Analysis of the Three Types of AASs and their Feasibility for Digital Twin Engineering A Container-based Approach For Proactive Asset Administration Shell Digital Twins
Gregor EngelsEngels, Gregor Paderborn UniversityGermany A Metamodel for Reengineering CI/CD Pipelines On the Challenges of Integrating Digital Twins
Jonathan EngelsmaEngelsma, Jonathan Grand Valley State University Industry Days Co-Chair in Organizing Committee for MODELS 2025 Chair in Chairs within the MODELS Industry Days-track
Joshua EngelsmaEngelsma, Joshua ROC.ai Bringing Next-Gen AI models into Production
Romina EramoEramo, Romina University of TeramoItaly Program Co-Chair in Organizing Committee for EDTconf 2025 Committee Member in Steering Committee for EDTconf 2025 Committee Member in Program Committee within the MODELS Educators Symposium-track PC Member in Program Committee within the MODELS Workshops-track PC Member in Program Committee within the MODELS Research Papers-track PC Chair in Program Committee within the EDTconf Technical Track-track
Huseyin ErginErgin, Huseyin Ball State UniversityUnited States NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Eban EscottEscott, Eban Jidoka: Automation with a Human Touch
Joeri ExelmansExelmans, Joeri Committee Member in Committee within the MODELS Artifact Evaluation-track
F Michalis FamelisFamelis, Michalis Université de MontréalCanada PC Member in Program Committee within the MODELS Research Papers-track
Tiberio FantiFanti, Tiberio NXP Semiconductors Austria GmbH Co&KGAustria The DESIRE Methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation Bridging the V-Model: Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation
Kleinner FariasFarias, Kleinner University of Vale do Rio dos Sinos (UNISINOS)Brazil Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate Analysis
Jérôme FasquelFasquel, Jérôme IRT Saint-ExupéryFrance CoFMPy: A Python Framework for Rapid Prototyping of FMI-based Digital Twins
Arianna FedeliFedeli, Arianna Gran Sasso Science Institute (GSSI)Italy Committee Member in Program Committee within the EDTconf Technical Track-track
Amir FeizpourFeizpour, Amir Aggregate IntellectCanada SHERPA: A Model-Driven Framework for Large Language Model Execution
Michael FeldererFelderer, Michael German Aerospace Center (DLR) & University of CologneGermany Committee Member in Steering Committee for EDTconf 2025 Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated Clouds Committee Member in Program Committee within the EDTconf Technical Track-track
Paul FinkFink, Paul Grand Valley State UniversityUnited States Tools and Demo Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chairs within the MODELS Tools and Demonstrations-track
Kérian FiterFiter, Kérian Polytechnique MontréalCanada DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
André FloresFlores, André Faculdade de Engenharia da Universidade do PortoPortugal A Metamodel for Reengineering CI/CD Pipelines
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly Committee Member in Program Committee within the EDTconf Technical Track-track
Damien FouresFoures, Damien On the Challenges of Integrating Digital Twins
Ulrich FrankFrank, Ulrich Simultaneous Development of Languages, Models, and Programs: Boosting the Power of Modeling
Erik FredericksFredericks, Erik Grand Valley State UniversityUnited States Introducing MyPetri.net: A Petri Net Editor and Simulator for Students Welcome
Corentin FriedrichFriedrich, Corentin IRT Saint-ExupéryFrance CoFMPy: A Python Framework for Rapid Prototyping of FMI-based Digital Twins CoFMPy: A Python Framework for Rapid Prototyping of FMI-based Digital Twins
Mattia FumagalliFumagalli, Mattia Free University of Bozen-BolzanoItaly Mining Frequent Structures in Conceptual Models
G Darek GajewskiGajewski, Darek University of Arizona, Tucson, Arizona, USACanada Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
Jessie GalassoGalasso, Jessie McGill UniversityCanada PC Member in Program Committee within the MODELS Research Papers-track
Juan Pablo GaleottiGaleotti, Juan Pablo Universidad de Buenos AiresArgentina Modal Abstractions for Smart Contract Validation Modal Abstractions for Smart Contract Validation
Diego GarbervetskyGarbervetsky, Diego Universidad de Buenos AiresArgentina Modal Abstractions for Smart Contract Validation Modal Abstractions for Smart Contract Validation
Antonio Garcia-DominguezGarcia-Dominguez, Antonio Department of Computer Science, University of YorkUnited Kingdom Committee Member in Program Committee within the MODELS Educators Symposium-track PC Member in Program Committee within the MODELS Workshops-track Graphite: Automated Development of Hybrid Graphical-Textual DSL Editors Committee Member in Program Committee within the MODELS Tools and Demonstrations-track Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy
Emmanuel GaudinGaudin, Emmanuel PragmaDev, ParisFrance The Norwegian SISU Project: History and Long-term Impact of an Early MDD Effort Optimizing Industrial Operations through Business Process Formalization
Blaise GenestGenest, Blaise IPAL - CNRS - CNRS@CREATEFrance DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
Sebastian GerardGerard, Sebastian CEA Saclay - NanoInnovFrance PC Member in Program Committee within the MODELS Research Papers-track Engineering Digital Twins: A Research Roadmap
Enrico GhiorziGhiorzi, Enrico University of GenoaItaly Translating Behavior Trees to Petri Nets for Model Checking
Sudipto GhoshGhosh, Sudipto Colorado State University, USAUnited States Learning Software Modeling with Virtual Reality
Giovanni GiachettiGiachetti, Giovanni Rethinking How to Teach Analysis and Modelling of Business Requirements: A Serious Game Integrating GenAI
Santiago GilGil, Santiago Aarhus UniversityDenmark An architecture for coupled digital twins with semantic lifting
Philipp-Lorenz GlaserGlaser, Philipp-Lorenz Business Informatics Group, TU WienAustria Mining Frequent Structures in Conceptual Models Toward a Community-Curated Golden Dataset of UML Models
Javier GodoyGodoy, Javier Departamento de Computacion. FCEyN. UBAArgentina Modal Abstractions for Smart Contract Validation Modal Abstractions for Smart Contract Validation
Pierre-Emmanuel GoffiGoffi, Pierre-Emmanuel École Polytechnique de MontréalCanada Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
Martin GogollaGogolla, Martin Germany PC Chair in Program Committee within the MODELS Research Papers-track
Emanuele GoldinGoldin, Emanuele University of InnsbruckAustria An Ecosystem of DSMLs for Building Commissioning Model-driven Digital Twins for AECO An Ecosystem of DSMLs for Building Commissioning Model-driven Digital Twins for AECO
Claudio GomesGomes, Claudio Aarhus University, DenmarkDenmark Publicity Co-Chair in Organizing Committee for EDTconf 2025 Committee Member in Steering Committee for EDTconf 2025 PC Member in Program Committee within the MODELS Research Papers-track Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach Committee Member in Program Committee within the EDTconf Technical Track-track
Jesus Gorronogoitia-CruzGorronogoitia-Cruz, Jesus A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
Neena GoveasGoveas, Neena On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms
Jens GrabowskiGrabowski, Jens Model-Driven Root Cause Analysis for Trustworthy AI: A Data-and-Model-Centric Explanation Framework
Jeff GrayGray, Jeff University of Alabama Committee Member in Steering Committee for MODELS 2025
Joel GreenyerGreenyer, Joel FHDW HannoverGermany Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems
Sandra GreinerGreiner, Sandra University of Southern DenmarkDenmark Committee Member in Committee within the MODELS Artifact Evaluation-track
Philipp GritschGritsch, Philipp University of InnsbruckAustria Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated Clouds
Raffaela GronerGroner, Raffaela Chalmers \| University of GothenburgSweden Committee Member in Committee within the MODELS Artifact Evaluation-track
Georg GrossmannGrossmann, Georg University of South AustraliaAustralia Committee Member in Program Committee within the MODELS Tutorials-track Committee Member in Program Committee within the EDTconf Technical Track-track
Paul GrünbacherGrünbacher, Paul Johannes Kepler University Linz, AustriaAustria PC Member in Program Committee within the MODELS Workshops-track
Zonghua GuGu, Zonghua Hofstra University Automated AADL Architecture Modeling : Leveraging Large Language Models for Safety-Critical Software
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain PC Member in Program Committee within the MODELS Workshops-track PB member in Program Board within the MODELS Research Papers-track
Giancarlo GuizzardiGuizzardi, Giancarlo Universiteit Twente Mining Frequent Structures in Conceptual Models Committee Member in Program Committee within the EDTconf Technical Track-track
Pablo Gómez-AbajoGómez-Abajo, Pablo Universidad Autónoma de MadridSpain Committee Member in Committee within the MODELS Artifact Evaluation-track
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany PC Member in Program Committee within the MODELS Research Papers-track
H Zakaria HachmHachm, Zakaria IMT Atlantique, LS2N (UMR CNRS 6004)France Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection
Urho HakonenHakonen, Urho Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin web
Mohammad HamdaqaHamdaqa, Mohammad Polytechnique MontrealCanada Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges
Sascha HammesHammes, Sascha University of Innsbruck - Unit of Energy Efficient BuildingAustria An Ecosystem of DSMLs for Building Commissioning Model-driven Digital Twins for AECO An Ecosystem of DSMLs for Building Commissioning Model-driven Digital Twins for AECO
Hamza HaouiHaoui, Hamza Tampere university Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics Scenario
Foyzul HassanHassan, Foyzul University of Michigan at DearbornUnited States Workshops Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chairs within the MODELS Workshops-track
David HastbackaHastbacka, David Tampere UniversityFinland Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics Scenario
Øystein HaugenHaugen, Øystein Østfold University CollegeNorway Committee Member in Steering Committee for MODELS 2025 Continuous Evolution of Digital Twins using the DarTwin Notation PC Member in Program Committee within the MODELS Research Papers-track DarTwin made precise by SysML v2 – An Experiment Evolution at the Core of Digital Twin Engineering Committee Member in Program Committee within the EDTconf Technical Track-track
Avi HayounHayoun, Avi Ben-Gurion University of the NegevIsrael Automata Models for Effective Bug Description
Xiao HeHe, Xiao University of Science and Technology BeijingChina PC Member in Program Committee within the MODELS Research Papers-track
Reiko HeckelHeckel, Reiko University of LeicesterUnited Kingdom PC Member in Program Committee within the MODELS Research Papers-track
Malte HeithoffHeithoff, Malte RWTH-Aachen UniversityGermany Digital twin and the asset administration shell - An Analysis of the Three Types of AASs and their Feasibility for Digital Twin Engineering A Method for Model-Driven Engineering of Digital Twins in Manufacturing A Digital Shadow for Accurate Robot Motion Control: Integrating Data with Friction Models
Rogardt HeldalHeldal, Rogardt Western Norway University of Applied ScienceNorway NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Demetrius HernandezHernandez, Demetrius The University of Notre DameUnited States Ambient Advisory Models: Augmenting Runtime Models into Distributed Reasoning Agents
José Antonio Hernández LópezHernández López, José Antonio Department of Computer Science and Systems, University of MurciaSpain Committee Member in Program Committee within the MODELS Tools and Demonstrations-track SHERPA: A Model-Driven Framework for Large Language Model Execution
Peter HerrmannHerrmann, Peter Norwegian University of Science and Technology (NTNU)Norway The Norwegian SISU Project: History and Long-term Impact of an Early MDD Effort
Georg HinkelHinkel, Georg RheinMain University of Applied Sciences, Wiesbaden, GermanyGermany Committee Member in Committee within the MODELS Artifact Evaluation-track
Marcel HomolkaHomolka, Marcel ISSEAustria Going from the Past back to the Future: Incrementally Reconstructing a Metamodel History
Naureen HoqueHoque, Naureen Grand Valley State UniversityUnited States Co-chair in Chairs within the MODELS Doctoral Symposium-track
Ákos HorváthHorváth, Ákos IncQuery LabsHungary Committee Member in Program Committee within the MODELS Tools and Demonstrations-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Steering Committee for MODELS 2025
Christian HuemerHuemer, Christian Business Informatics Group, TU WienAustria Toward a Community-Curated Golden Dataset of UML Models
Faraz HussainHussain, Faraz Clarkson University Committee Member in Program Committee within the MODELS Tutorials-track
I Jose Ignacio TrasobaresIgnacio Trasobares, Jose SVIT Research Group, Universidad San JorgeSpain Deepening our Understanding on the use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal Engine
Ludovico IovinoIovino, Ludovico Gran Sasso Science Institute, L'Aquila, ItalyItaly Committee Member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Samir IqbalIqbal, Samir Grand Valley State University Keynote: Bridging Lab, Market, and Society: Translational Research for Emerging Scholars
Haris IsakovicIsakovic, Haris Committee Member in Program Committee within the EDTconf Technical Track-track
Erblin IsakuIsaku, Erblin Simula Research Laboratory, and University of Oslo (UiO)Norway Publicity & Social Media Co-Chair in Organizing Committee for MODELS 2025
Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan Co-chair in Chairs within the MODELS Posters-track PC Member in Program Committee within the MODELS Research Papers-track
J Garima JainJain, Garima TCS Research, Pune, IndiaIndia Enabling Inverse Reasoning in Enterprise Digital Twins using Multi-Objective Bayesian Optimization
Jawher JerrayJerray, Jawher LIUPPA Université de Pau et des pays de l'Adour Pau France Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems
Robbert JongelingJongeling, Robbert Mälardalen UniversitySweden Committee Member in Committee within the MODELS Artifact Evaluation-track NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Wouter JoosenJoosen, Wouter imec-DistriNet, KU Leuven Run-time threat models for systematic and continuous risk assessment
Syed Juned AliJuned Ali, Syed TU WienAustria A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories
Jean-Marc JézéquelJézéquel, Jean-Marc Univ Rennes, IUF, INRIA, CNRS, IRISAFrance ACM Student Research Competition Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chair within the MODELS ACM SRC-track PC Member in Program Committee within the MODELS Research Papers-track Engineering Digital Twins: A Research Roadmap
K Eduard KamburjanKamburjan, Eduard IT University of CopenhagenDenmark Committee Member in Steering Committee for EDTconf 2025 An architecture for coupled digital twins with semantic lifting Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring Committee Member in Program Committee within the EDTconf Technical Track-track
Gerti KappelKappel, Gerti Technical University of ViennaAustria [2025 The ten year most influential theme section paper award] Reuse in model-to-model transformation languages: are we there yet?
Robert KarbanKarban, Robert Planetary Utilities EDTconf Keynote 1: Integrated Systems Design for the Industrial Space Age
Farzaneh KargozariKargozari, Farzaneh Ontario Tech University - Faculty of Engineering and Applied Science - Electrical-Computer & Software EngineeringCanada A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous Vehicles A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous Vehicles
Gabor KarsaiKarsai, Gabor Vanderbilt UniversityUnited States PC Member in Program Committee within the MODELS Research Papers-track Committee Member in Program Committee within the EDTconf Technical Track-track
Klaus KasererKaserer, Klaus University of InnsbruckAustria Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud
Robson Keemps da silvaKeemps da silva, Robson Federal Institute of Mato Grosso - IFMTBrazil Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate Analysis
Timo KehrerKehrer, Timo University of BernSwitzerland PC Member in Program Committee within the MODELS Workshops-track
Steven KellyKelly, Steven MetaCaseFinland A framework for evaluating tool support for co-evolution of modeling languages, tools and models How can we better bridge the gap between academia and industry? Success stories and failures. Panelist in Panel committee within the MODELS Panel-track
Marouane KessentiniKessentini, Marouane Grand Valley State UniversityUnited States General Chair in Organizing Committee for MODELS 2025 Committee Member in Steering Committee for MODELS 2025
Wael KessentiniKessentini, Wael DePaul UniversityUnited States ACM Student Research Competition Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chair within the MODELS ACM SRC-track
Rania KhalsiKhalsi, Rania University of Michigan - Flint Web Co-Chair in Organizing Committee for MODELS 2025
Djamel Eddine KhelladiKhelladi, Djamel Eddine CNRS, IRISA, University of RennesFrance Proceedings Co-Chair in Organizing Committee for MODELS 2025 PC Member in Program Committee within the MODELS Research Papers-track
Jörg KienzleKienzle, Jörg ITIS Software, University of MalagaSpain Committee Member in Steering Committee for MODELS 2025 On the Challenges of Integrating Digital Twins
Michaela KlauckKlauck, Michaela Bosch Research, Robert Bosch GmbHGermany Translating Behavior Trees to Petri Nets for Model Checking
Stefan KlikovitsKlikovits, Stefan Johannes Kepler University, LinzAustria Continuous Evolution of Digital Twins using the DarTwin Notation PC Member in Program Committee within the MODELS Research Papers-track Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning Inclusive Model-Driven Engineering for Accessible Software DarTwin made precise by SysML v2 – An Experiment On the Challenges of Integrating Digital Twins
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Committee Member in Program Committee within the MODELS Educators Symposium-track How can we better bridge the gap between academia and industry? Success stories and failures. Panelist in Panel committee within the MODELS Panel-track Graphite: Automated Development of Hybrid Graphical-Textual DSL Editors Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy PB member in Program Board within the MODELS Research Papers-track PC Member in Program Committee within the MODELS Research Papers-track
Martin KrammerKrammer, Martin Knorr-Bremse Rail Vehicle SystemsAustria Committee Member in Program Committee within the EDTconf Technical Track-track
Brian KrygsmanKrygsman, Brian Amazon Future of Software Engineering: Human-Centered AI-Driven Development Practices
Tim KräuterKräuter, Tim Western Norway University of Applied SciencesNorway Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
Emna KsontiniKsontini, Emna University of North Carolina WilmingtonUnited States Web Co-Chair in Organizing Committee for MODELS 2025
Daniel KudenkoKudenko, Daniel L3S Research Center, Leibniz Universität Hannover, Germany Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems
Thomas KuehneKuehne, Thomas Victoria University of WellingtonNew Zealand Committee Member in Steering Committee for MODELS 2025 PB member in Program Board within the MODELS Research Papers-track
Vinay KulkarniKulkarni, Vinay Tata Consultancy Services ResearchIndia Industry Days Co-Chair in Organizing Committee for MODELS 2025 Committee Member in Steering Committee for MODELS 2025 Committee Member in Steering Committee for EDTconf 2025 Leveraging Gen AI in Digital Twin based Support for Complex System of Systems PC Member in Program Committee within the MODELS Research Papers-track On the Challenges of Integrating Digital Twins Enabling Inverse Reasoning in Enterprise Digital Twins using Multi-Objective Bayesian Optimization Committee Member in Program Committee within the EDTconf Technical Track-track
Indika KumaraKumara, Indika Tilburg University A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
Ivan KurtevKurtev, Ivan Eindhoven University of Technology PC Member in Program Committee within the MODELS Research Papers-track
Angelika KuselKusel, Angelika [2025 The ten year most influential theme section paper award] Reuse in model-to-model transformation languages: are we there yet?
Harald KönigKönig, Harald FHDW Hannover, Western Norway University of Applied SciencesGermany Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
L Louis-Edouard LafontantLafontant, Louis-Edouard University of MontrealCanada Modeling with Gentleman: a web-based projectional editor
Sampo LaineLaine, Sampo Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin web
Leen LambersLambers, Leen Brandenburg University of Technology Cottbus-SenftenbergGermany Committee Member in Program Committee within the MODELS Tools and Demonstrations-track PC Member in Program Committee within the MODELS Research Papers-track Modeling: The Heart and Soul of Engineering Smart Ecosystems
Yngve LamoLamo, Yngve Western Norway University of Applied SciencesNorway Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
Ralph LangeLange, Ralph Bosch Research, Robert Bosch GmbHGermany Translating Behavior Trees to Petri Nets for Model Checking
Peter LarsenLarsen, Peter An architecture for coupled digital twins with semantic lifting
Peter Gorm LarsenLarsen, Peter Gorm Aarhus UniversityDenmark MODELS 2025 Keynote 2: Use of Models inside Digital Twins Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach
Mark LawfordLawford, Mark McMaster UniversityCanada Engineering Automotive Digital Twins on Standardized Architectures: Lessons from a Case Study
Théo Le CalvarLe Calvar, Théo IMT Atlantique, LS2N (UMR CNRS 6004)France Committee Member in Committee within the MODELS Artifact Evaluation-track Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection
Martin LeuckerLeucker, Martin University of LübeckGermany TwinLang – A Digital Twin Modeling and Management Language
Wen LiLi, Wen Utah State UniversityUnited States Committee Member in Program Committee within the MODELS Tutorials-track
Jiawei LiangLiang, Jiawei Nanjing University of Aeronautics and Astronautics Automated AADL Architecture Modeling : Leveraging Large Language Models for Safety-Critical Software
Michael LinggLingg, Michael Array of Engineers Industry and Academic Collaborative Research into Parsing and Analysis of Natural Language Requirements
Hao LiuLiu, Hao Nanjing University of Aeronautics and Astronautics Automated AADL Architecture Modeling : Leveraging Large Language Models for Safety-Critical Software
Andrés LombanaLombana, Andrés IRT Saint-ExupéryFrance CoFMPy: A Python Framework for Rapid Prototyping of FMI-based Digital Twins
Orlando LopezLopez, Orlando National Institutes of Health United States Engineering Fit-for-Implementation Digital Twins (FiDTs) Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World Impact
Giovanni LugaresiLugaresi, Giovanni KU LeuvenBelgium Committee Member in Program Committee within the EDTconf Technical Track-track
Aleksandar LukicLukic, Aleksandar Automating the Development of API-Based Generators Using Code Idioms Mining
M Anne M. ClearyM. Cleary, Anne Colorado State UniversityUnited States Learning Software Modeling with Virtual Reality
Joseph M. VanliewM. Vanliew, Joseph Grand Valley State UniversityUnited States Introducing MyPetri.net: A Petri Net Editor and Simulator for Students
Pierre MaierMaier, Pierre University of Duisburg-EssenGermany XModelerML v3: Integrating Executable UML with a Multi-Level Language Engineering, Modeling, and Execution Environment
Louis Malassigné-OnfroyMalassigné-Onfroy, Louis École d'Ingénieurs du Conservatoire National des Arts et MétiersFrance DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
Samah MansourMansour, Samah Grand Valley State UniversityUnited States Poster Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chairs within the MODELS Posters-track
Luciano MarchezanMarchezan, Luciano DIRO, University of MontrealCanada Committee Member in Program Committee within the MODELS Tools and Demonstrations-track Going from the Past back to the Future: Incrementally Reconstructing a Metamodel History
Beatriz MarínMarín, Beatriz Universitat Politècnica de ValènciaSpain Rethinking How to Teach Analysis and Modelling of Business Requirements: A Serious Game Integrating GenAI
Atif MashkoorMashkoor, Atif Johannes Kepler University LinzAustria Proceedings Co-Chair in Organizing Committee for MODELS 2025
James MasonMason, James University of Notre DameUnited States Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
Bruce MaximMaxim, Bruce University of Michigan - DearbornUnited States Doctoral Symposium Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chairs within the MODELS Doctoral Symposium-track
Sepideh MazroueeMazrouee, Sepideh National Institutes of Health Engineering Fit-for-Implementation Digital Twins (FiDTs) Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World Impact
Sofia MeachamMeacham, Sofia Bournemouth UniversityUnited Kingdom Committee Member in Program Committee within the MODELS Educators Symposium-track
Georgios MeditskosMeditskos, Georgios A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
Mouhcine MendilMendil, Mouhcine IRT Saint-ExupéryFrance CoFMPy: A Python Framework for Rapid Prototyping of FMI-based Digital Twins
Shweta MenonMenon, Shweta CNRS@CREATE, SingaporeSingapore DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
Joost MertensMertens, Joost University of Antwerp, Antwerp, BelgiumBelgium Continuous Evolution of Digital Twins using the DarTwin Notation DarTwin made precise by SysML v2 – An Experiment Lab-Scale Gantry Crane Digital Twin Exemplar
Giovanni MicaleMicale, Giovanni Mining Frequent Structures in Conceptual Models
Judith MichaelMichael, Judith University of RegensburgGermany Educators Symposium Co-Chair in Organizing Committee for MODELS 2025 Committee Member in Steering Committee for EDTconf 2025 Digital twin and the asset administration shell - An Analysis of the Three Types of AASs and their Feasibility for Digital Twin Engineering An Ecosystem of DSMLs for Building Commissioning Model-driven Digital Twins for AECO Co-chair in Chairs within the MODELS Educators Symposium-track An Ecosystem of DSMLs for Building Commissioning A Method for Model-Driven Engineering of Digital Twins in Manufacturing PC Member in Program Committee within the MODELS Research Papers-track Inclusive Model-Driven Engineering for Accessible Software Modeling: The Heart and Soul of Engineering Smart Ecosystems On the Challenges of Integrating Digital Twins Evolution at the Core of Digital Twin Engineering A Digital Shadow for Accurate Robot Motion Control: Integrating Data with Friction Models Model-driven Digital Twins for AECO Committee Member in Program Committee within the EDTconf Technical Track-track
Rada MihalceaMihalcea, Rada University of Michigan MODELS 2025 Keynote 1: Humans as Models: Are We There Yet?
Gordana MilosavljevicMilosavljevic, Gordana Automating the Development of API-Based Generators Using Code Idioms Mining
Hua MingMing, Hua University of Michigan - FlintUnited States Tutorial Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chairs within the MODELS Tutorials-track
Alvaro MiyazawaMiyazawa, Alvaro Diagrammatic physical robot models
Mohamed Wiem MkaouerMkaouer, Mohamed Wiem University of Michigan - FlintUnited States Publicity & Social Media Co-Chair in Organizing Committee for MODELS 2025
Armin MoinMoin, Armin University of Colorado Colorado SpringsUnited States Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation
Pedro J. MolinaMolina, Pedro J. MetadevSpain How can we better bridge the gap between academia and industry? Success stories and failures. Panelist in Panel committee within the MODELS Panel-track
Marcia MoraesMoraes, Marcia Colorado State UniversityUnited States Learning Software Modeling with Virtual Reality
Nathalie MorenoMoreno, Nathalie Universidad de MalagaSpain Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education PC Member in Program Committee within the MODELS Research Papers-track
Sébastien MosserMosser, Sébastien McMaster UniversityCanada NIER Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chairs within the MODELS New Ideas and Emerging Results (NIER)-track On the Challenges of Integrating Digital Twins
Protik MukherjeeMukherjee, Protik Toronto Metropolitan UniversityCanada Engineering Digital Twins with Statecharts: A Smart Home Application Engineering Digital Twins with Statecharts: A Smart Home Application
Michael MurphyMurphy, Michael University of Notre DameUnited States Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
Gunter MussbacherMussbacher, Gunter McGill UniversityCanada Committee Member in Program Committee within the MODELS Tutorials-track Modeling the Full Stack: Frontend and Backend Generation with Extended Domain Models Accurate and Consistent Graph Model Generation from Text with Large Language Models SHERPA: A Model-Driven Framework for Large Language Model Execution On the Challenges of Integrating Digital Twins
Sadaf MustafizMustafiz, Sadaf Toronto Metropolitan UniversityCanada Artifact Evaluation Co-Chair in Organizing Committee for MODELS 2025 Engineering Digital Twins with Statecharts: A Smart Home Application Committee Member in Program Committee within the MODELS Educators Symposium-track Co-chair in Chairs within the MODELS Artifact Evaluation-track Committee Member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track Engineering Digital Twins with Statecharts: A Smart Home Application
Vittoriano MuttilloMuttillo, Vittoriano University of TeramoItaly Publicity Co-Chair in Organizing Committee for EDTconf 2025
Paula MuñozMuñoz, Paula ITIS Software, University of MalagaSpain Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
N Elisa Yumi NakagawaNakagawa, Elisa Yumi University of São PauloBrazil Committee Member in Program Committee within the EDTconf Technical Track-track
Elena NavarroNavarro, Elena University of Castilla-La ManchaSpain Committee Member in Program Committee within the EDTconf Technical Track-track
Julia NeidhardtNeidhardt, Julia TU WienAustria A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories
Shiva NejatiNejati, Shiva University of OttawaCanada Workshops Co-Chair in Organizing Committee for MODELS 2025 Committee Member in Steering Committee for MODELS 2025 Co-chair in Chairs within the MODELS Workshops-track PC Member in Program Committee within the MODELS Research Papers-track
Wolfgang NejdlNejdl, Wolfgang Leibniz Universität HannoverGermany Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems
Lukas NetzNetz, Lukas RWTH Aachen UniversityGermany Toward a Community-Curated Golden Dataset of UML Models Semantic Analysis of Domain Model Evolution in Model-Driven Software Development Inclusive Model-Driven Engineering for Accessible Software
Felix NeubauerNeubauer, Felix AI-assisted JSON Schema Creation and Mapping
Nicholas NgNg, Nicholas CNRS@CREATE, SingaporeSingapore DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
Phu NguyenNguyen, Phu SINTEFNorway Evolution at the Core of Digital Twin Engineering
O Bentley OakesOakes, Bentley Polytechnique MontréalCanada Student Volunteers Co-Chair in Organizing Committee for MODELS 2025 DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting Co-chair in Student Volunteers Chair within the MODELS Student Volunteers-track DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins PC Member in Program Committee within the MODELS Research Papers-track Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling Committee Member in Program Committee within the EDTconf Technical Track-track
Ileana OberOber, Ileana University of Toulouse PC Member in Program Committee within the MODELS Research Papers-track
Michael OberlehnerOberlehner, Michael LIT CPS Lab, Johannes Kepler University LinzAustria Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial Models
Noffisat OkiOki, Noffisat National Institute of HealthUnited States Engineering Fit-for-Implementation Digital Twins (FiDTs) Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World Impact
P Richard PaigePaige, Richard McMaster UniversityCanada Committee Member in Steering Committee for MODELS 2025
Matteo PalmasPalmas, Matteo Bosch Research, Robert Bosch GmbHGermany Translating Behavior Trees to Petri Nets for Model Checking
Weifeng PanPan, Weifeng Zhejiang Gongshang UniversityChina Committee Member in Program Committee within the MODELS Tutorials-track
Vera PantelicPantelic, Vera McMaster University Committee Member in Program Committee within the MODELS Tools and Demonstrations-track Engineering Automotive Digital Twins on Standardized Architectures: Lessons from a Case Study
Kathy ParkPark, Kathy IEEE Computer SocietyUnited States Committee Member in Steering Committee for MODELS 2025
Zaki PauziPauzi, Zaki University of Groningen Using Concept Traceability to Investigate UML Class Diagram Evolution in Long-Existing FOSS Projects
Rui PereiraPereira, Rui HASLab/INESC TECPortugal A Metamodel for Reengineering CI/CD Pipelines
Quentin PerezPerez, Quentin INSA RennesFrance Artifact Evaluation Co-Chair in Organizing Committee for MODELS 2025 Co-chair in Chairs within the MODELS Artifact Evaluation-track
Maureen PettersonPetterson, Maureen University of Notre DameUnited States Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
Jérôme PfeifferPfeiffer, Jérôme University of Stuttgart, GermanyGermany A Method for Model-Driven Engineering of Digital Twins in Manufacturing
Andrea PferscherPferscher, Andrea University of OsloNorway Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring
Alfonso PierantonioPierantonio, Alfonso Università degli Studi dell'AquilaItaly Educators Symposium Co-Chair in Organizing Committee for MODELS 2025 Committee Member in Steering Committee for MODELS 2025
Alfonso PierantonioPierantonio, Alfonso A framework for evaluating tool support for co-evolution of modeling languages, tools and models
Alfonso PierantonioPierantonio, Alfonso Università degli Studi dell'AquilaItaly Co-chair in Chairs within the MODELS Educators Symposium-track
Alfonso PierantonioPierantonio, Alfonso Modeling: The Heart and Soul of Engineering Smart Ecosystems
Deniz PiererPierer, Deniz University of InnsbruckAustria Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated Clouds
Aryan PinglePingle, Aryan BITS Pilani, KK Birla Goa Campus On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms
Jürgen PleissPleiss, Jürgen AI-assisted JSON Schema Creation and Mapping
Philipp PobitzerPobitzer, Philipp University of InnsbruckAustria An Ecosystem of DSMLs for Building Commissioning An Ecosystem of DSMLs for Building Commissioning
Cristiano PolitowskiPolitowski, Cristiano Ontario Tech UniversityCanada Committee Member in Program Committee within the MODELS Tools and Demonstrations-track
SAHEED POPOOLAPOPOOLA, SAHEED University of CincinnatiUnited States Committee Member in Committee within the MODELS Artifact Evaluation-track
Mark PostPost, Mark Diagrammatic physical robot models
Ionut PredoaiaPredoaia, Ionut University of YorkUnited Kingdom Graphite: Automated Development of Hybrid Graphical-Textual DSL Editors Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy
Alexander PretschnerPretschner, Alexander TU MunichGermany Committee Member in Steering Committee for MODELS 2025
Alexander PretschnerPretschner, Alexander Technical University of MunichGermany Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems
Léo Prevost-NotteletPrevost-Nottelet, Léo Université de MontréalCanada Engineering Digital Twins for AI-Based Design Space Exploration: Case of Plasma-Enhanced Deposition
Tiago Prince SalesPrince Sales, Tiago University of TwenteNetherlands Mining Frequent Structures in Conceptual Models
Francisca PérezPérez, Francisca Universitat Politècnica de ValènciaSpain NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Q Richard QualisQualis, Richard Florida Institute of Technology Mitigating Hallucinations in SysML v2 Generation Using LLMs and a Tri-Layered Knowledge Graph Reasoning Framework
R Dragan RadolovicRadolovic, Dragan A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
Rohit RajRaj, Rohit BITS Pilani, KK Birla Goa CampusIndia On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms
Sunny RajRaj, Sunny Oakland University, USA Committee Member in Program Committee within the MODELS Tutorials-track
Stefan RamdhanRamdhan, Stefan McMaster University / McMaster Centre for Software Certification (McSCert)Canada Engineering Automotive Digital Twins on Standardized Architectures: Lessons from a Case Study
Eric RaposRapos, Eric Ontario Tech UniversityCanada Committee Member in Committee within the MODELS Artifact Evaluation-track
Alexander RaschkeRaschke, Alexander Ulm UniversityGermany Committee Member in Committee within the MODELS Artifact Evaluation-track
Daniel RatiuRatiu, Daniel CARIADGermany PC Member in Program Committee within the MODELS Research Papers-track
Sreedhar ReddyReddy, Sreedhar Leveraging Gen AI in Digital Twin based Support for Complex System of Systems
Iris Reinhartz-BergerReinhartz-Berger, Iris University of HaifaIsrael PC Member in Program Committee within the MODELS Research Papers-track
Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
Werner RetschitzeggerRetschitzegger, Werner [2025 The ten year most influential theme section paper award] Reuse in model-to-model transformation languages: are we there yet?
Pedro RibeiroRibeiro, Pedro University of York, UKUnited Kingdom Diagrammatic physical robot models
Taylor RicheRiche, Taylor Emerson Test and Measurement (NI)United States Committee Member in Program Committee within the EDTconf Technical Track-track
Sashko RistovRistov, Sashko University of InnsbruckAustria Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated Clouds
Juri Di RoccoRocco, Juri Di University of L'AquilaItaly A framework for evaluating tool support for co-evolution of modeling languages, tools and models Committee Member in Committee within the MODELS Artifact Evaluation-track Modeling: The Heart and Soul of Engineering Smart Ecosystems
Eric Roslin Wete PoakaRoslin Wete Poaka, Eric Leibniz Universität HannoverGermany Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems
Abdelhamid RouatbiRouatbi, Abdelhamid DIRO, University of MontrealCanada DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins
Banani RoyRoy, Banani University of Saskatchewan PC Member in Program Committee within the MODELS Workshops-track
Riccardo RubeiRubei, Riccardo University of L'AquilaItaly Committee Member in Committee within the MODELS Artifact Evaluation-track
Bernhard RumpeRumpe, Bernhard RWTH Aachen UniversityGermany Committee Member in Steering Committee for EDTconf 2025 Toward a Community-Curated Golden Dataset of UML Models Semantic Analysis of Domain Model Evolution in Model-Driven Software Development A Method for Model-Driven Engineering of Digital Twins in Manufacturing Inclusive Model-Driven Engineering for Accessible Software Modeling: The Heart and Soul of Engineering Smart Ecosystems A Digital Shadow for Accurate Robot Motion Control: Integrating Data with Friction Models Committee Member in Program Committee within the EDTconf Technical Track-track
Arturo Miguel Russell BernalRussell Bernal, Arturo Miguel University of Notre DameUnited States Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
Adrian RutleRutle, Adrian Western Norway University of Applied SciencesNorway Towards the Coordination and Verification of Heterogeneous Systems with Data and Time NIER PC member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track
István RáthRáth, István IncQuery Labs, PTCHungary How can we better bridge the gap between academia and industry? Success stories and failures. Panelist in Panel committee within the MODELS Panel-track PC Member in Program Committee within the MODELS Research Papers-track
S Mehrdad SabetzadehSabetzadeh, Mehrdad University of OttawaCanada PB member in Program Board within the MODELS Research Papers-track
Soheil SabriSabri, Soheil Urban Digital Twin Lab, University of Central FloridaUnited States Committee Member in Program Committee within the EDTconf Technical Track-track
Mohammad SadeghiSadeghi, Mohammad University of Mannheim Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems
Mohammed Safayet ArefinSafayet Arefin, Mohammed Colorado State UniversityUnited States Learning Software Modeling with Virtual Reality
Houari SahraouiSahraoui, Houari DIRO, Université de MontréalCanada Program Co-Chair in Organizing Committee for MODELS 2025 Committee Member in Steering Committee for MODELS 2025 Engineering Digital Twins for AI-Based Design Space Exploration: Case of Plasma-Enhanced Deposition Chair in Chairs within the MODELS Research Papers-track On the Challenges of Integrating Digital Twins Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced Deposition
Sahil SalmaSalma, Sahil Toronto Metropolitan UniversityCanada Engineering Digital Twins with Statecharts: A Smart Home Application Engineering Digital Twins with Statecharts: A Smart Home Application
Avadhut SardeshmukhSardeshmukh, Avadhut Tata Consultancy Services Ltd. (TCS)India Enabling Inverse Reasoning in Enterprise Digital Twins using Multi-Objective Bayesian Optimization
Hassan SartajSartaj, Hassan Simula Research LaboratoryNorway PC Member in Program Committee within the MODELS Research Papers-track
Stefan SauerSauer, Stefan Paderborn University \| Software Innovation Campus PaderbornGermany A Metamodel for Reengineering CI/CD Pipelines
Timur SağlamSağlam, Timur Karlsruhe Institute of Technology (KIT)Germany Committee Member in Program Committee within the MODELS Educators Symposium-track
Jacob ScheatzleScheatzle, Jacob Amazon Future of Software Engineering: Human-Centered AI-Driven Development Practices
Bernhard SchenkenfelderSchenkenfelder, Bernhard Software Competence Center Hagenberg (SCCH)Austria LLM-Based Generation of Low-Code Development Platforms
David SchmalzingSchmalzing, David RWTH Aachen UniversityGermany Committee Member in Program Committee within the MODELS Educators Symposium-track
Marion ScholzScholz, Marion Business Informatics Group, TU WienAustria Toward a Community-Curated Golden Dataset of UML Models
Wolfram SchulteSchulte, Wolfram Microsoft Committee Member in Steering Committee for MODELS 2025
Wieland SchwingerSchwinger, Wieland [2025 The ten year most influential theme section paper award] Reuse in model-to-model transformation languages: are we there yet?
Johannes SchönböckSchönböck, Johannes [2025 The ten year most influential theme section paper award] Reuse in model-to-model transformation languages: are we there yet?
Jean Sebastien SottetSebastien Sottet, Jean Luxembourg Institute of Science and Technology and University of LuxembourgLuxembourg Modeling the obsolescence of models
Tiberiu SeceleanuSeceleanu, Tiberiu Mälardalen University Evolution at the Core of Digital Twin Engineering
Christian SeifertSeifert, Christian Graz University of TechnologyAustria The DESIRE Methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation Bridging the V-Model: Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation
Bran SelicSelic, Bran Malina Software CorporationCanada PC Member in Program Committee within the MODELS Research Papers-track The Digital Human Twin – A Human-Centric Extension of the Digital Twin Idiom
Simon SenonerSenoner, Simon University of Innsbruck, AustriaAustria Model-driven Digital Twins for AECO Model-driven Digital Twins for AECO
Siddharth ShenoyShenoy, Siddharth National Institute of HealthUnited States Engineering Fit-for-Implementation Digital Twins (FiDTs) Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World Impact
Nazanin SiavashSiavash, Nazanin University of Colorado Colorado Springs (UCCS)United States Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation
Robert SicherSicher, Robert LieberLieber Software GmbHAustria Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud
Sandrine SimenSimen, Sandrine Geico Advancing Real-Time Translation: Cloud-Native Generative AI Systems and Evaluation
Gagandeep SinghSingh, Gagandeep McGill UniversityCanada Modeling the Full Stack: Frontend and Backend Generation with Extended Domain Models
Elena SizikovaSizikova, Elena Food and Drug AdministrationUnited States Engineering Fit-for-Implementation Digital Twins (FiDTs) Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World Impact
Mikael SjödinSjödin, Mikael Malardalen University Modeling: The Heart and Soul of Engineering Smart Ecosystems
Laura Ann SlaughterSlaughter, Laura Ann University of OsloNorway Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring
Monique SnoeckSnoeck, Monique Katholieke Universiteit LeuvenBelgium Toward a Community-Curated Golden Dataset of UML Models
Jialing SongSong, Jialing Huawei Technologies CanadaCanada MCeT: Behavioral Model Correctness Evaluation using Large Language Models
Max StachonStachon, Max Semantic Analysis of Domain Model Evolution in Model-Driven Software Development
Luc StaffordStafford, Luc Université de MontréalCanada Engineering Digital Twins for AI-Based Design Space Exploration: Case of Plasma-Enhanced Deposition Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced Deposition
Christian StegerSteger, Christian Graz University of TechnologyAustria The DESIRE Methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation Bridging the V-Model: Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation
Arnon SturmSturm, Arnon Ben-Gurion University of the NegevIsrael Committee Member in Program Committee within the MODELS Educators Symposium-track
Sebastian StüberStüber, Sebastian RWTH Aachen University, Chair of Software EngineeringGermany Semantic Analysis of Domain Model Evolution in Model-Driven Software Development
Xiaohong SuSu, Xiaohong Harbin Institute of TechnologyChina Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica
Allison SullivanSullivan, Allison University of Texas at ArlingtonUnited States PC Member in Program Committee within the MODELS Workshops-track
Bastien SultanSultan, Bastien Télécom Paris, Polytechnic Institute of ParisFrance Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems
Jaya Surya BonthaSurya Bontha, Jaya Colorado State UniversityUnited States Learning Software Modeling with Virtual Reality
Eugene SyrianiSyriani, Eugene Université de MontréalCanada Committee Member in Steering Committee for MODELS 2025 Committee Member in Program Committee within the MODELS Tutorials-track Modeling with Gentleman: a web-based projectional editor DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins Welcome On the Challenges of Integrating Digital Twins
Kari SystaSysta, Kari Tampere UniversityFinland Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics Scenario
Jesús Sánchez CuadradoSánchez Cuadrado, Jesús Universidad de MurciaSpain PC Member in Program Committee within the MODELS Research Papers-track
César SánchezSánchez, César IMDEA Software InstituteSpain Modal Abstractions for Smart Contract Validation Modal Abstractions for Smart Contract Validation
T Armando TacchellaTacchella, Armando University of GenoaItaly Translating Behavior Trees to Petri Nets for Model Checking
Gabriele TaentzerTaentzer, Gabriele Philipps-Universität MarburgGermany Committee Member in Steering Committee for MODELS 2025 Modeling: The Heart and Soul of Engineering Smart Ecosystems
Prasad TalasilaTalasila, Prasad Aarhus UniversityDenmark An architecture for coupled digital twins with semantic lifting On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms
Damian Andrew TamburriTamburri, Damian Andrew University of Sannio - JADS/NXP SemiconductorsItaly A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
Tammali TharunTharun, Tammali TCS Research, Pune, IndiaIndia Enabling Inverse Reasoning in Enterprise Digital Twins using Multi-Objective Bayesian Optimization
Daniel ThomaThoma, Daniel University of LübeckGermany TwinLang – A Digital Twin Modeling and Management Language
Sophia ThompsonThompson, Sophia Aarhus UniversityDenmark Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach
Matthias TichyTichy, Matthias Ulm UniversityGermany PC Member in Program Committee within the MODELS Research Papers-track Modeling: The Heart and Soul of Engineering Smart Ecosystems
Vanessa TietzTietz, Vanessa University of Stuttgart, GermanyGermany Common modeling concepts and a command interface towards bisimilar behavior of different domain-specific modeling frameworks
Jon TimmisTimmis, Jon Diagrammatic physical robot models
Giordano TinellaTinella, Giordano A framework for evaluating tool support for co-evolution of modeling languages, tools and models
Massimo TisiTisi, Massimo IMT Atlantique, LS2N (UMR CNRS 6004)France PC Member in Program Committee within the MODELS Workshops-track PC Member in Program Committee within the MODELS Research Papers-track Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection
Nenad TodorovicTodorovic, Nenad Automating the Development of API-Based Generators Using Code Idioms Mining
Nikola TodorovicTodorovic, Nikola Automating the Development of API-Based Generators Using Code Idioms Mining
Kamil TokmakovTokmakov, Kamil A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCaseFinland A framework for evaluating tool support for co-evolution of modeling languages, tools and models PC Member in Program Committee within the MODELS Research Papers-track
Winnie TrandinhTrandinh, Winnie McMaster University, CanadaCanada Engineering Automotive Digital Twins on Standardized Architectures: Lessons from a Case Study
Raphaël TremblayTremblay, Raphaël École Polytechnique de MontréalCanada Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
Minh TrinhTrinh, Minh A Digital Shadow for Accurate Robot Motion Control: Integrating Data with Friction Models
Javier TroyaTroya, Javier ITIS Software, University of MalagaSpain Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education
Leonard TudoracheTudorache, Leonard Eindhoven University of TechnologyNetherlands Towards Secure IoT Deployments: A DSL and Digital Twin-Based Emulation Platform for Security Verification
Katja TumaTuma, Katja Eindhoven University of TechnologyNetherlands PC Member in Program Committee within the MODELS Research Papers-track
Daniel TöpelTöpel, Daniel XModelerML v3: Integrating Executable UML with a Multi-Level Language Engineering, Modeling, and Execution Environment
U Sebastian UchitelUchitel, Sebastian Universidad de Buenos Aires / Imperial CollegeArgentina Modal Abstractions for Smart Contract Validation Modal Abstractions for Smart Contract Validation
Benjamin UekermannUekermann, Benjamin AI-assisted JSON Schema Creation and Mapping
V Pedro ValderasValderas, Pedro Universitat Politècnica de ValènciaSpain Committee Member in Program Committee within the EDTconf Technical Track-track
Danilo ValerioValerio, Danilo Siemens AGAustria Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands Committee Member in Steering Committee for EDTconf 2025 PC Member in Program Committee within the MODELS Research Papers-track Modeling: The Heart and Soul of Engineering Smart Ecosystems Evolution at the Core of Digital Twin Engineering Committee Member in Program Committee within the EDTconf Technical Track-track
Willem-Jan van den Heuvelvan den Heuvel, Willem-Jan JADS/Tilburg UniversityNetherlands A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
Dimitri Van LanduytVan Landuyt, Dimitri KU Leuven, BelgiumBelgium Run-time threat models for systematic and continuous risk assessment
Pieter van Schalkwykvan Schalkwyk, Pieter XMPRO;Digital Twin Consortium Committee Member in Program Committee within the EDTconf Technical Track-track
Hans VangheluweVangheluwe, Hans University of Antwerp and Flanders MakeBelgium Modeling: The Heart and Soul of Engineering Smart Ecosystems Evolution at the Core of Digital Twin Engineering
Daniel VarroVarro, Daniel Linköping University / McGill UniversitySweden Chair in Steering Committee for MODELS 2025 SHERPA: A Model-Driven Framework for Large Language Model Execution PB member in Program Board within the MODELS Research Papers-track
Zoe VasileiouVasileiou, Zoe A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Committee Member in Committee within the MODELS Artifact Evaluation-track
Charlotte VerbruggenVerbruggen, Charlotte TU WienAustria Toward a Community-Curated Golden Dataset of UML Models A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories
Stef VerreydtVerreydt, Stef DistriNet-KU LeuvenBelgium Run-time threat models for systematic and continuous risk assessment
Pascale Vicat BlancVicat Blanc, Pascale InriaFrance Engineering Digital Twins: A Research Roadmap
Raine ViitalaViitala, Raine Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin web
Norha M. VillegasVillegas, Norha M. Universidad IcesiColombia Committee Member in Program Committee within the EDTconf Technical Track-track
Lars B. VosteenVosteen, Lars B. University of Lübeck TwinLang – A Digital Twin Modeling and Management Language
Stefanos VrochidisVrochidis, Stefanos Centre for Research and Technology Hellas (CERTH-ITI)Greece A Knowledge-based Approach for Guided Development of Infrastructure-as-Code
W Charles WallaceWallace, Charles Michigan Technological University, USAUnited States Model based tools for inquiry into expungement law
Qingyang WangWang, Qingyang Louisiana State University, USA Committee Member in Program Committee within the MODELS Tutorials-track
Tiantian WangWang, Tiantian Harbin Institute of TechnologyChina Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica
Ou WeiWei, Ou Huawei Technologies CanadaCanada MCeT: Behavioral Model Correctness Evaluation using Large Language Models Accurate and Consistent Graph Model Generation from Text with Large Language Models
Laura WeihlWeihl, Laura Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring
Gera WeissWeiss, Gera Ben-Gurion University of the NegevIsrael Automata Models for Effective Bug Description
Maryangela WhiteWhite, Maryangela Colorado State UniversityUnited States Learning Software Modeling with Virtual Reality
Jon WhittleWhittle, Jon CSIRO's Data61 and Monash UniversityAustralia [2025 The ten year most influential regular paper award] A survey of approaches for verifying model transformations
Konrad WielandWieland, Konrad LieberLieber Software GmbHAustria Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning
Bianca WiesmayrWiesmayr, Bianca LIT CPS Lab, Johannes Kepler University LinzAustria Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial Models Committee Member in Program Committee within the MODELS New Ideas and Emerging Results (NIER)-track Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics Scenario Committee Member in Program Committee within the EDTconf Technical Track-track
Manuel WimmerWimmer, Manuel JKU LinzAustria Committee Member in Steering Committee for MODELS 2025 Program Co-Chair in Organizing Committee for EDTconf 2025 Committee Member in Steering Committee for EDTconf 2025 Committee Member in Program Committee within the MODELS Tutorials-track [2025 The ten year most influential theme section paper award] Reuse in model-to-model transformation languages: are we there yet? PB member in Program Board within the MODELS Research Papers-track Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning Modeling: The Heart and Soul of Engineering Smart Ecosystems PC Chair in Program Committee within the EDTconf Technical Track-track
Connor WojtakWojtak, Connor University of ArizonaUnited States Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
Andreas WortmannWortmann, Andreas University of Stuttgart Committee Member in Steering Committee for EDTconf 2025
Andreas WortmannWortmann, Andreas University of StuttgartGermany Digital twin and the asset administration shell - An Analysis of the Three Types of AASs and their Feasibility for Digital Twin Engineering A Method for Model-Driven Engineering of Digital Twins in Manufacturing PC Member in Program Committee within the MODELS Research Papers-track A Container-based Approach For Proactive Asset Administration Shell Digital Twins On the Challenges of Integrating Digital Twins
Andreas WortmannWortmann, Andreas University of Stuttgart Committee Member in Program Committee within the EDTconf Technical Track-track
Thomas WrightWright, Thomas Diagrammatic physical robot models
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Committee Member in Steering Committee for MODELS 2025
Y Tom YaacovYaacov, Tom Ben-Gurion University of the NegevIsrael Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems Automata Models for Effective Bug Description Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems
abhishek YadavYadav, abhishek Tata Consultancy Services ResearchIndia Leveraging Gen AI in Digital Twin based Support for Complex System of Systems
Ming YangYang, Ming Harbin Institute of TechnologyChina Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica
Peihao YangYang, Peihao Harbin Institute of Technology; Zhengzhou Research Institude, Harbin Institute of TechnologyChina Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica
Zhibin YangYang, Zhibin Nanjing University of Aeronautics and Astronautics Automated AADL Architecture Modeling : Leveraging Large Language Models for Safety-Critical Software
Pranjay YelkotwarYelkotwar, Pranjay BITS Pilani, KK Birla Goa Campus On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms
Tao YueYue, Tao Beihang UniversityChina Committee Member in Steering Committee for MODELS 2025 Committee Member in Program Committee within the MODELS Tools and Demonstrations-track PC Member in Program Committee within the MODELS Research Papers-track
Z Manouchehr Zadahmad JafarlouZadahmad Jafarlou, Manouchehr Université de MontréalCanada Committee Member in Committee within the MODELS Artifact Evaluation-track
Christoph ZallingerZallinger, Christoph University of InnsbruckAustria An Ecosystem of DSMLs for Building Commissioning Model-driven Digital Twins for AECO An Ecosystem of DSMLs for Building Commissioning
Vadim ZaytsevZaytsev, Vadim University of TwenteNetherlands Mining Frequent Structures in Conceptual Models Committee Member in Program Committee within the MODELS Educators Symposium-track
Jelena ZdravkovicZdravkovic, Jelena Stockholm UniversitySweden Committee Member in Program Committee within the EDTconf Technical Track-track
Philipp ZechZech, Philipp University of Innsbruck, AustriaAustria An Ecosystem of DSMLs for Building Commissioning Model-driven Digital Twins for AECO Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in Program Committee within the MODELS Tools and Demonstrations-track An Ecosystem of DSMLs for Building Commissioning Model-driven Digital Twins for AECO Committee Member in Program Committee within the EDTconf Technical Track-track
Zenan ZhaZha, Zenan Toronto Metropolitan University, Toronto, CanadaCanada Engineering Digital Twins with Statecharts: A Smart Home Application Engineering Digital Twins with Statecharts: A Smart Home Application
Jingxi ZhangZhang, Jingxi University of StuttgartGermany Digital twin and the asset administration shell - An Analysis of the Three Types of AASs and their Feasibility for Digital Twin Engineering A Method for Model-Driven Engineering of Digital Twins in Manufacturing A Container-based Approach For Proactive Asset Administration Shell Digital Twins
Bingzhou ZhengZheng, Bingzhou Huawei Technologies CanadaCanada MCeT: Behavioral Model Correctness Evaluation using Large Language Models Accurate and Consistent Graph Model Generation from Text with Large Language Models
Yong ZhouZhou, Yong Nanjing University of Aeronautics and Astronautics Automated AADL Architecture Modeling : Leveraging Large Language Models for Safety-Critical Software
Derui ZhuZhu, Derui Technical University of Munich Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems
Alois ZoitlZoitl, Alois LIT CPS Lab, Johannes Kepler University LinzAustria Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial Models
Athanasios ZolotasZolotas, Athanasios Rolls-RoyceUnited Kingdom Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy
Yaxin ZouZou, Yaxin Nanjing University of Aeronautics and Astronautics Automated AADL Architecture Modeling : Leveraging Large Language Models for Safety-Critical Software
Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom Program Co-Chair in Organizing Committee for EDTconf 2025 Committee Member in Steering Committee for EDTconf 2025 Using, and contributing to, the MDENet education platform for teaching MDE Committee Member in Program Committee within the MODELS Tutorials-track PB member in Program Board within the MODELS Research Papers-track Modeling: The Heart and Soul of Engineering Smart Ecosystems PC Chair in Program Committee within the EDTconf Technical Track-track