Latest

• An LAGC Semantics for Timed Rebeca
• Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
• Active Object Languages: Current Research Trends
• Behavioral Contracts for Cooperative Scheduling
• Asynchronous Cooperative Contracts for Cooperative Scheduling
• A Survey of Active Object Languages
• Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
• Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
• History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
• Designing Resource-Aware Cloud Applications
• Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
• Advanced Lectures on Formal Methods for Executable Software Models
• Engineering Virtualized Services
• Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
• ABS: A Core Language for Abstract Behavioral Specification
• Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language