Joint Papers

• Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
• SymPaths: Symbolic Execution Meets Partial Order Reduction
• Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
• A Survey of Active Object Languages
• Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
• Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
• Engineering Virtualized Services
• User-defined Schedulers for Real-Time Concurrent Objects
• Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study
• Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
• Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
• Testing Concurrent Objects with Application-Specific Schedulers
• A Complete Guide to the Future