1

Denotational Semantics for Symbolic Execution
Proc. ICTAC 2023. LNCS 14446 Springer 2023.
Preprint Cite DOI Github Artifact
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. LNCS 14300. Springer 2023.
Preprint Cite Project DOI arXiv.org Artifact
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Compositional Correctness and Completeness for Symbolic Partial Order Reduction
Proc. CONCUR 2023. LIPIcs 2023.
Preprint Cite DOI Github Artifact
Symbolic Semantics for Probabilistic Programs
Proc. QEST 2023. LNCS 14287. Springer 2023.
Preprint Cite DOI Artifact
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. IEEE/ACM 2023.
Cite Project Video DOI arXiv.org Github
Building User Journey Games from Multi-Party Event Logs
Proc. EdbA 2022. LNBIP 468, Springer 2023.
Preprint Cite Project DOI Github
A Specification Logic for Programs in the Probabilistic Guarded Command Language
Proc. ICTAC 2022. LNCS 13572, Springer 2022.
Preprint Cite DOI arXiv.org
A Formal Model of Metacontrol in Maude
Proc. ISoLA 2022. LNCS 13701, Springer 2022.
Preprint Cite Project DOI
Digital Twin Reconfiguration Using Asset Models
Proc. ISoLA 2022. LNCS 13704, Springer 2022.
Preprint Cite DOI
Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
Proc. ISoLA 2022. LNCS 13701, Springer 2022.
Preprint Cite DOI
Weighted Games for User Journeys
Proc. SEFM 2022. LNCS 13550, Springer 2022.
Preprint Cite Project DOI Github
DPL: A Language for GDPR Enforcement
Proc. CSF 2022. © IEEE CS Press 2022.
Preprint Cite DOI PDF
Knowledge Structures over Simulation Units
Proc. ANNSIM 2022. IEEE Press 2022.
Preprint Cite DOI
Digital Twins for Autonomic Cloud Application Management
Proc. CCPI 2022. LNNS 451. © Springer 2022.
Preprint Cite Project DOI
Smart Journey Mining for Improved Service Quality
Proc. CSS 2021. © IEEE 2021.
Preprint Cite Project DOI
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Proc. COORDINATION 2021. LNCS 12717, Springer 2021.
Preprint Cite DOI
Programming and Debugging with Semantically Lifted States
Proc. ESWC 2021. LNCS 12731, Springer 2021.
Preprint Cite DOI
Active Objects with Deterministic Behavior
Proc. IFM 2020. LNCS 12546, Springer 2020
Preprint Cite DOI Tech. report
Behavior Trees in Action: A Study of Robotics Applications
Proc. SLE 2020. ACM Press 2020.
Preprint Cite Video DOI arXiv.org
A Formal Model of the Kubernetes Container Framework
Proc. ISoLA 2020. LNCS 12476, Springer 2020.
Preprint Cite DOI Artefact