Joint Papers

• Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
• Behavioral Contracts for Cooperative Scheduling
• Asynchronous Cooperative Contracts for Cooperative Scheduling
• Translating active objects into colored Petri nets for communication analysis
• A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse
• A Survey of Active Object Languages
• Translating Active Objects into Colored Petri Nets for Communication Analysis
• Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
• History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
• Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects