- Combining Active and Reactive Behavior in Concurrent Objects
- Validating Timed Models of Deployment Components with Parametric Concurrency
- Validating Behavioral Component Interfaces in Rewriting Logic
- Theorem Reuse by Proof Term Transformation Einar Broch Johnsen 1 and Christoph Lth 2
- Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe
- Type-Safe Runtime Class Upgrades in Creol Ingrid Chieh Yu, Einar Broch Johnsen, and Olaf Owe
- Object-Oriented Specification and Open Distributed Systems
- Lazy Behavioral Subtyping Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen
- A COMPOSITIONAL FORMALISM FOR OBJECT VIEWPOINTS
- Lazy Behavioral Subtyping # Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen
- Incremental FaultTolerant Design in an ObjectOriented Setting Einar Broch Johnsen, Olaf Owe, Ellen MuntheKaas
- Fundamenta Informaticae, to appear, 2007. 1 Validating Behavioral Component Interfaces in Rewriting Logic #
- A Dynamic Class Construct for Asynchronous Concurrent Objects
- Validating Behavioral Component Interfaces in Rewriting Logic
- Runtime Validation of Communication Histories Einar Broch Johnsen, Gerardo Schneider, and ystein Torget
- Incremental Fault-Tolerant Design in an Object-Oriented Setting Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas
- Minimal Ownership for Active Objects Dave Clarke1
- Dynamic Symbolic Execution for Testing Distributed Objects
- Representing Strategies for the Connection Calculus in Rewriting Logic
- Proof Search for the FirstOrder Connection Calculus in Maude
- Representing Strategies for the Connection Calculus in Rewriting Logic
- An Asynchronous Communication Model for Distributed Concurrent Objects Einar Broch Johnsen and Olaf Owe
- A Complete Guide to the Future # Frank S. de Boer 1 , Dave Clarke 1 , and Einar Broch Johnsen 2
- Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
- Verification of Concurrent Objects with Asynchronous Method Calls Johan Dovland, Einar Broch Johnsen, and Olaf Owe
- Testing Concurrent Objects with Application-Specific Schedulers
- Verification of Concurrent Objects with Asynchronous Method Calls Johan Dovland, Einar Broch Johnsen, and Olaf Owe
- Testing Concurrent Objects with ApplicationSpecific Schedulers #
- Observable behavior of dynamic systems: component reasoning for concurrent objects #
- Specification of Distributed Systems with a Combination of Graphical and Formal Languages #
- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
- TypeSafe Runtime Class Upgrades in Creol Ingrid Chieh Yu, Einar Broch Johnsen, and Olaf Owe
- To appear in TTSS'08 Intra-Object versus Inter-Object
- University of Oslo Department of Informatics
- WRLA 2004 Preliminary Version A runtime environment for concurrent objects
- ObjectOriented Specification and Open Distributed Systems
- appear TTSS'08 IntraObject versus InterObject
- Observable behavior of dynamic systems: component reasoning for concurrent objects
- Confluent Term Rewriting for Only-knowing Logics
- Concurrent Objects `a la Carte Dave Clarke 1
- Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
- An Object-Oriented Component Model for Heterogeneous Nets
- Fundamenta Informaticae 82 (4): 341359 341 Validating Behavioral Component Interfaces in Rewriting Logic
- A Complete Guide to the Future Frank S. de Boer 1
- Runtime Validation of Communication Histories Einar Broch Johnsen, Gerardo Schneider, and ystein Torget
- Nordic Journal of Computing 13(2006), 221 Structured Formal Development in Isabelle
- Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe
- WRLA 2004 Preliminary Version A run-time environment for concurrent objects
- Combining Graphical and Formal Development of Open Distributed Systems
- Specification of Distributed Systems with a Combination of Graphical and Formal Languages
- A COMPOSITIONAL FORMALISM FOR OBJECT VIEWPOINTS
- Composition and Refinement for Partial Object Specifications Einar Broch Johnsen and Olaf Owe
- Inheritance in the Presence of Asynchronous Method Calls
- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
- Backwards Type Analysis of Asynchronous Method Calls #
- Minimal Ownership for Active Objects Dave Clarke
- Inheritance in the Presence of Asynchronous Method Calls
- Reasoning about Asynchronous Method Calls and Inheritance Johan Dovland, Einar Broch Johnsen, and Olaf Owe
- A Proof Environment for Partial Specifications in OUN Einar Broch Johnsen and Olaf Owe
- An Asynchronous Communication Model for Distributed Concurrent Objects Einar Broch Johnsen and Olaf Owe
- Composition and Refinement for Partial Object Specifications Einar Broch Johnsen and Olaf Owe
- A Dynamic Class Construct for Asynchronous Concurrent Objects
- Concurrent Objects Carte Dave Clarke
- Reasoning about Asynchronous Method Calls and Inheritance Johan Dovland, Einar Broch Johnsen, and Olaf Owe
- Nordic Journal of Computing 13(2006),
- Combining Graphical and Formal Development of Open Distributed Systems #
- Nordic Journal of Computing 10(2003), 313336. ABSTRACTING REFINEMENTS FOR
- Combining Active and Reactive Behavior in Concurrent Objects
- University of Oslo Department of Informatics
- An ObjectOriented Component Model for Heterogeneous Nets #
- Incremental Reasoning for Multiple Inheritance # Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen
- Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
- Dynamic Resource Reallocation Between Deployment Components
- Incremental Reasoning for Multiple Inheritance Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen
- Lazy Behavioral Subtyping6 Johan Dovlanda,
- Theorem Reuse by Proof Term Transformation Einar Broch Johnsen1
- Nordic Journal of Computing 10(2003), 313--336. ABSTRACTING REFINEMENTS FOR
- Backwards Type Analysis of Asynchronous Method Calls
- Proof Search for the First-Order Connection Calculus in Maude
- A Proof Environment for Partial Specifications in OUN Einar Broch Johnsen and Olaf Owe
- Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance$
- ABS: A Core Language for Abstract Behavioral Specification
- Fault in the Future Einar Broch Johnsen1
- Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory
- Simulating Concurrent Behaviors with Worst-Case Cost Bounds
- Verifying Traits: A Proof System for Fine-Grained Reuse Ferruccio Damiani
- Formal Modeling and Validation of a Power-Efficient Grouping Protocol for WSNs $
- Models of Rate Restricted Communication for Concurrent Objects
- Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects $
- Safe Locking for Multi-Threaded Java with Exceptions$ Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen,$$
