Joint Papers
- Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets
- A configurable and executable model of Spark Streaming on Apache YARN
- Translating active objects into colored Petri nets for communication analysis
- Dynamic Software Updates and Context Adaptation for Distributed Active Objects
- Using Coloured Petri Nets for Resource Analysis of Active Objects
- Release the Beasts: When Formal Methods Meet Real World Data
- Modeling and Simulation of Spark Streaming
- A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse
- Translating Active Objects into Colored Petri Nets for Communication Analysis
- Comparing AWS Deployments Using Model-Based Predictions
- Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
- ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
- HyVar : Scalable Hybrid Variability for Distributed Evolving Software Systems
- Meeting Deadlines, Elastically.
- A proof system for adaptable class hierarchies
- Tracking Behavioral Constraints during Object-Oriented Software Evolution
- A Transformational Proof System for Delta-Oriented Programming
- Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
- Backwards Type Analysis of Asynchronous Method Calls
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Type-Safe Runtime Class Upgrades in Creol