Guest lecture at the Federal University of Goiás, Brazil
On October 15 2024, I will have the pleasure of giving a guest lecture about the “Foundations of Engineering Digital Twins” for some bright minds at the Federal University of …
On October 15 2024, I will have the pleasure of giving a guest lecture about the “Foundations of Engineering Digital Twins” for some bright minds at the Federal University of …
Xiaoran (Sharon) Liu‘s recent conference paper “AI Simulation by Digital Twins: Systematic Survey of the State of the Art and a Reference Framework” [preprint], which she published at the 1st …
Thrilled to serve on the Organizing Committee of the 30th Conference on Exploring Modeling Methods for Systems Analysis and Development (EMMSAD) as the Co-chair of the Foundations of modeling & method engineering …
https://m4s.uibk.ac.at/(co-located with PoEM 2024) Simulation capitalizes on structural, behavioral, and physical models. They embody the fundamental concepts of a system, whereas simulation actualizes those principles in a dynamic setting. The …
Our paper on Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions, co-authored with Guodong (Gordon) Shao (National Institute of Standards and Technology, USA), Claudio Gomes (Aarhus University, …
http://msdl.uantwerpen.be/conferences/MPM4CPS/2024 Tackling the complexity involved in developing truly complex, designed systems is a topic of intense research and development. System complexity has drastically increased once software components were introduced in …
https://models-and-evolution.github.io/ Model artifacts are subject to constant evolution throughout the lifecycle of systems. The evolutionary pressure emerges from various technical and business factors throughout the overall software/system engineering endeavor. Pertinent …
Our paper Model consistency as a heuristic for eventual correctness co-authored with Hans Vangheluwe and Eugene Syriani will be presented as a journal-first talk at this year’s CAiSE. (Pre-print available …
https://mde-intelligence.github.io Model-driven engineering (MDE) and artificial intelligence (AI) are two separate fields in computer science, which can clearly benefit from cross-pollination and collaboration. There are at least two ways in …
https://sustainability-and-modeling.github.io/ Sustainability is becoming a key characteristic of modern systems. While this trend has been long recognized, rigorous formal methods for assessing sustainability, reasoning about often contradicting sustainability properties, and …