SMOL

Semantic Reflection and Digital Twins: A Comprehensive Overview
The Combined Power of Research, Education and Dissemination. LNCS 15240, Springer 2024.
Preprint Cite DOI
GreenhouseDT: An Exemplar for Digital Twins
Talk at SEAMS 2024
16 April 2024 2:00 PM Lisbon, Portugal
GreenhouseDT: An Exemplar for Digital Twins
Programming and reasoning about autonomous software with semantic reflection
Talk at REMARO 2024
6 April 2024 2:00 PM ETAPS 2024, Luxembourg City, Luxembourg
Programming and reasoning about autonomous software with semantic reflection
GreenhouseDT: An Exemplar for Digital Twins
Proc. SEAMS 2024. IEEE/ACM 2024.
Preprint Cite Code DOI
GreenhouseDT: An Exemplar for Digital Twins
The Semantically Reflected Digital Twin.
Tutorial, ICTAC summer school
5 December 2023 9:00 AM Lima, Peru
The Semantically Reflected Digital Twin.
A Semantically Reflected Digital Twin
Tutorial, ICTAC summer school
26 September 2022 11:00 AM — 27 September 2022 12:30 PM Tbilisi, Georgia
A Semantically Reflected Digital Twin
Digital Twin Reconfiguration Using Asset Models
Proc. ISoLA 2022. LNCS 13704, Springer 2022.
Preprint Cite DOI
Knowledge Structures over Simulation Units
Proc. ANNSIM 2022. IEEE Press 2022.
Preprint Cite DOI
Programming and Debugging with Semantically Lifted States
Proc. ESWC 2021. LNCS 12731, Springer 2021.
Preprint Cite DOI