Paper-Conference

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 Project 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 Project 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
Comparing AWS Deployments Using Model-Based Predictions
Proc. ISoLa 2016
Preprint Cite DOI
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
Proc. FASE 2016
Preprint Cite DOI
An Operational Semantics of Cache Coherent Multicore Architectures
Proc. SAC 2016
Preprint Cite Project DOI
A Maude Framework for Cache Coherent Multicore Architectures
Proc. WRLA 2016
Preprint Cite Project DOI
Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types
Proc. FACS 2015
Preprint Cite DOI
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
Proc. ICFEM 2015
Preprint Cite DOI
Parallel Cost Analysis of Distributed Systems
Proc. SAS 2015
Preprint Cite DOI
Preparing HPC Applications for Exascale: Challenges and Recommendations
Proc. NBIS 2015
Preprint Cite DOI
Deployment Variability in Delta-Oriented Models
Proc. ISoLa 2014
Preprint Cite DOI
Fault Model Design Space for Cooperative Concurrency
Proc. ISoLa 2014
Preprint Cite DOI
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling
Proc. ISoLa 2014
Preprint Cite DOI
Engineering Virtualized Services
Proc NordiCloud 2013
Preprint Cite DOI