2

How to avoid a local epidemic becoming a global pandemic
Proc. Natl. Acad. Sci. 120, 2023
Cite DOI
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
Verifying traits: an incremental proof system for fine-grained reuse
Formal Aspects of Computing 26 (4): 761-793, 2014
Preprint Cite DOI
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
Transactions on Aspect-Oriented Software Development 11: 1-26, 2014
Preprint Cite DOI
User-defined Schedulers for Real-Time Concurrent Objects
Innovations in Systems and Software Engineering 9 (1):29-43, 2013
Preprint Cite DOI
Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects
Journal of Logic and Algebraic Programming 81 (3): 227-256, 2012
Preprint Cite DOI