The following pages link to Einar Broch Johnsen (Q444464):
Displaying 36 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- Formal modeling and validation of a power-efficient grouping protocol for WSNs (Q444471) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Checking modal contracts for virtually timed ambients (Q1623139) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- Locally abstract, globally concrete semantics of concurrent programming languages (Q1694447) (← links)
- Translating active objects into colored Petri nets for communication analysis (Q2093151) (← links)
- (Q2849872) (← links)
- Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507) (← links)
- Safe Locking for Multi-threaded Java (Q2894561) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- (Q3431400) (← links)
- An Object-Oriented Component Model for Heterogeneous Nets (Q3603002) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- Parallel Cost Analysis (Q4617976) (← links)
- (Q4737568) (← links)
- (Q4790344) (← links)
- (Q4825544) (← links)
- Global Reproducibility Through Local Control for Distributed Active Objects (Q5039528) (← links)
- Proof Search for the First-Order Connection Calculus in Maude (Q5179137) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- A Calculus of Virtually Timed Ambients (Q5208501) (← links)
- Object-Oriented Specification and Open Distributed Systems (Q5390275) (← links)
- (Q5392505) (← links)
- (Q5457268) (← links)
- Theorem Proving in Higher Order Logics (Q5464644) (← links)
- Testing Concurrent Objects with Application-Specific Schedulers (Q5505611) (← links)
- A Complete Guide to the Future (Q5756504) (← links)
- Formal Methods for Components and Objects (Q5897454) (← links)
