| 211 | -- | 212 | Istvan David, Bentley J. Oakes, Cláudio Gomes 0001, Guodong Shao. Modeling and simulation for software-intensive systems: from IoT to digital twins |
| 213 | -- | 239 | Clyde Rempillo, Sadaf Mustafiz. STL4IoT: a statechart template library for IoT system design |
| 241 | -- | 265 | Philipp Zech, Alexandra Jäger, Georg Fröch, Rainer Pfluger, Ruth Breu. Agile, continuous building energy modeling and simulation |
| 267 | -- | 285 | Sebastian Pilarski, Aman Sidhu, Dániel Varró. Combining simulation and reinforcement learning to reduce food waste in food retail |
| 287 | -- | 311 | Prasad Talasila, Cláudio Gomes 0001, Lars Bernd Vosteen, Hannes Iven, Martin Leucker, Santiago Gil 0001, Peter Høgh Mikkelsen, Eduard Kamburjan, Peter Gorm Larsen. Composable digital twins on Digital Twin as a Service platform |
| 313 | -- | 339 | Santiago Gil 0001, Bentley J. Oakes, Cláudio Gomes 0001, Mirgita Frasheri, Peter Gorm Larsen. Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study |
| 341 | -- | 360 | Mohamed AbdElSalam, Saddek Bensalem, Antoine Delacourt, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Ricardo Ruiz Nolasco, Doron Peled, Matthieu Ponchant, Ismail Ryad, Anastasios Temperekidis, Changshun Wu. Digital twin for the formal analysis of a depth of anesthesia controller |
| 361 | -- | 375 | Ginikachi Anyene, Celeste Schultz, Anthony Nepomuceno, Inki Kim. Digital-twin co-simulation framework to support informed decision in healthcare planning and management |
| 377 | -- | 389 | Deogratias Kibira, Guodong Shao, Rishabh Venketesh. Toward a digital twin of a robot workcell: standards and methods |