Latest

• 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