1

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. ACM/IEEE 2023. To appear.
Cite Project Video 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
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
Proc. ISoLA 2020. LNCS 12476, Springer 2020
Preprint Cite Project DOI
Designing Distributed Control with Hybrid Active Objects.
Proc. ISoLA 2020. LNCS 12479, Springer 2020
Preprint Cite DOI
Lazy Product Discovery in Huge Configuration Spaces
Proc ICSE 2020, ACM Press 2020
Preprint Cite Project Video DOI
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets
Proc. PNSE@Petri Nets 2020
Preprint Cite Project PDF