


default search action
1st ASQAP@ETAPS 2025: Hamilton, ON, Canada
- Marsha Chechik, Arianna Fedeli, Gianluca Filippone, Federico Formica, Mirgita Frasheri, Nico Hochgeschwender, Lina Marsso

:
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, ASQAP 2025, Hamilton, Canada, 4th May 2025. EPTCS 418, 2025 - Riccardo Sieve

, Paul Kobialka, Laura Slaughter
, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins. 1-15 - Raghavendran Gunasekaran, Boudewijn R. Haverkort:

Verification of Digital Twins using Classical and Statistical Model Checking. 16-23 - Irina Muntean, Mirgita Frasheri

, Tiziano Munaro
:
A Case Study on the Application of Digital Twins for Enhancing CPS Operations. 24-31 - Mirgita Frasheri

, Prasad Talasila
, Vanessa Scherma:
Towards Federated Digital Twin Platforms. 32-38

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














