Paper-Conference

Digital Twin Engineering
Proc. ISOLA 2024. LNCS 15223. Springer 2025.
Preprint Cite DOI
Correct and Complete Symbolic Execution for Free
Proc. IFM 2024. LNCS 15234. Springer 2025.
Preprint Cite DOI
Mutation-Based Integration Testing of Knowledge Graph Applications
Proc. ISSRE 2024. IEEE 2024.
Preprint Cite Code Project DOI
Mutation-Based Integration Testing of Knowledge Graph Applications
Risk-Averse Planning and Plan Assessment for Marine Robots
Proc. IROS 2024. IEEE 2024.
Preprint Cite Code Project
Risk-Averse Planning and Plan Assessment for Marine Robots
Declarative Lifecycle Management in Digital Twins
Proc. 1st International Conference on Engineering Digital Twins (EDTconf 2024). ACM 2024.
Preprint Cite DOI Github
Declarative Lifecycle Management in Digital Twins
Stochastic Games for User Journeys
Proc. FM 2024. LNCS 14934, Springer 2024.
Preprint Cite Project DOI Github Artifact
Stochastic Games for User Journeys
GreenhouseDT: An Exemplar for Digital Twins
Proc. SEAMS 2024. IEEE/ACM 2024.
Preprint Cite Code DOI
GreenhouseDT: An Exemplar for Digital Twins
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 Artifact
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