1

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
Global Reproducibility through Local Control for Distributed Active Objects
Proc FASE 2020
Preprint Cite DOI
Asynchronous Cooperative Contracts for Cooperative Scheduling
Proc. SEFM 2019
Preprint Cite DOI
Godot: All the Benefits of Implicit and Explicit Futures
Proc. ECOOP 2019
Preprint Cite DOI Artefact
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Proc. FASE 2019
Preprint Cite DOI
Deployment by Construction for Multicore Architectures
Proc. ISoLa 2018
Preprint Cite DOI
Checking Modal Contracts for Virtually Timed Ambients
Proc. ICTAC 2018
Preprint Cite Project DOI
Using Coloured Petri Nets for Resource Analysis of Active Objects
Proc. FACS 2018
Preprint Cite Project DOI
Resource-Aware Virtually Timed Ambients
Proc. IFM 2018
Preprint Cite Project DOI
Modeling and Simulation of Spark Streaming
Proc. AINA 2018
Preprint Cite DOI
A Calculus of Virtually Timed Ambients
Proc WADT 2016
Preprint Cite Project DOI
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Proc. FACS 2017
Preprint Cite DOI
Translating Active Objects into Colored Petri Nets for Communication Analysis
Proc. FSEN 2017
Preprint Cite Project DOI
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Proc. TABLEAUX 2017
Preprint Cite DOI
A formal model of cloud-deployed software and its application to workflow processing
Proc. SoftCOM 2017
Preprint Cite DOI
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools
Proc. FASE 2017
Preprint Cite DOI
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies
Proc. SETTA 2016
Preprint Cite DOI
Modeling Deployment Decisions for Elastic Services with ABS
Proc. IFMCloud 2016
Preprint Cite DOI