2

Reply to Ekström and Ottersen: Real- time access to data during outbreaks is a key to avoid a local epidemic becoming a global pandemic
Proceedings of the National Academy of Sciences 120, 2023.
Cite DOI
Formal Specification and Testing for Reinforcement Learning
Proc. ICFP 2023. ACM 2023.
Preprint Cite DOI Artefact Github
Behavior Trees and State Machines in Robotics Applications
IEEE Transactions on Software Engineering 49 (9), Sept. 2023.
Preprint Cite DOI Github arXiv.org Artifact
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Journal of Systems & Software 203, Sept. 2023.
Preprint Cite DOI Github
How to Avoid a Local Epidemic Becoming a Global Pandemic
Proceedings of the National Academy of Sciences 120, 2023.
Cite Dataset DOI Supplementary material
The ABS Simulator Toolchain
Science of Computer Programming 223, 2022.
Cite DOI
A configurable and executable model of Spark Streaming on Apache YARN
IJGUC 11 (2): 185 - 195, 2020
Preprint Cite DOI
Translating active objects into colored Petri nets for communication analysis
Science of Computer Programming 181: 1-26, 2019
Preprint Cite Project DOI
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Science of Computer Programming 179: 24-53, 2019
Preprint Cite DOI
Parallel Cost Analysis
ACM Transactions on Computational Logic 19 (4): 31:1–31:37, 2018
Preprint Cite DOI
A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse
Journal of Logic and Algebraic Methods in Programming 95:82-102, 2018.
Preprint Cite DOI
Virtually timed ambients: A calculus of nested virtualization
Journal of Logic and Algebraic Methods in Programming 94:109-127, 2018
Preprint Cite Project DOI
A Survey of Active Object Languages
ACM Computing Surveys 50 (5): 76:1–76:39, 2017
Preprint Cite DOI
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
Transactions on Foundations for Mastering Change 1: 130-156 (2016)
Preprint Cite DOI
Behavioral Types in Programming Languages
Foundations and Trends® in Programming Languages 3 (2-3): 95-230, 2016
Preprint Cite DOI
A formal model of service-oriented dynamic object groups
Science of Computer Programming 115-116: 3-22, 2016
Preprint Cite DOI
Designing Resource-Aware Cloud Applications
IEEE Computer 48 (6), 2015
Preprint Cite DOI
A proof system for adaptable class hierarchies
Journal of Logical and Algebraic Methods in Programming 84 (1): 37-53, 2015
Preprint Cite DOI
Integrating deployment architectures and resource consumption in timed object-oriented models
Journal of Logical and Algebraic Methods in Programming 84 (1): 67-91, 2015
Preprint Cite DOI
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Journal of Service-Oriented Computing and Applications 8 (4):323-339, 2014
Preprint Cite DOI