Joint Papers
- A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse
- Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
- A formal model of service-oriented dynamic object groups
- A proof system for adaptable class hierarchies
- A Transformational Proof System for Delta-Oriented Programming
- A Type-Safe Model of Adaptive Object Groups
- MULE-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis
- Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects
- Formal Modeling and Validation of a Power-Efficient Grouping Protocol for WSNs
- Safe Locking for Multi-Threaded Java with Exceptions
- Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance
- Safe Locking for Multi-Threaded Java
- Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory
- Dynamic Resource Reallocation Between Deployment Components
- Lazy Behavioral Subtyping
- Lightweight Time Modeling in Timed Creol
- Concurrent Objects a la Carte
- Validating Timed Models of Deployment Components with Parametric Concurrency
- Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
- The 19th Nordic Workshop on Programming Theory (NWPT 2007)
- Incremental Reasoning for Multiple Inheritance
- Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
- An Object-Oriented Component Model for Heterogeneous Nets
- Validating Behavioral Component Interfaces in Rewriting Logic
- Lazy Behavioral Subtyping
- Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
- An Asynchronous Communication Model for Distributed Concurrent Objects
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Type-Safe Runtime Class Upgrades in Creol
- Inheritance in the Presence of Asynchronous Method Calls
- Validating Behavioral Component Interfaces in Rewriting Logic
- A Dynamic Class Construct for Asynchronous Concurrent Objects
- Verification of Concurrent Objects with Asynchronous Method Calls
- Reasoning about Asynchronous Method Calls and Inheritance
- Toward Reflective Application Testing in Open Environments"
- An Asynchronous Communication Model for Distributed Concurrent Objects
- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects"
- A Run-time Environment for Concurrent Objects with Asynchronous Method Calls
- Object-Oriented Specification and Open Distributed Systems
- Combining Active and Reactive Behavior in Concurrent Systems
- Combining Graphical and Formal Development of Open Distributed Systems
- Composition and Refinement for Partial Object Specifications
- A Compositional Formalism for Object Viewpoints
- Incremental Fault-Tolerant Design in an Object-Oriented Setting
- Specification of Distributed Systems with a Combination of Graphical and Formal Languages