Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Paper-Conference
Type-Safe Runtime Class Upgrades in Creol
Proc. FMOODS 2006
Ingrid Chieh Yu
,
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
Inheritance in the Presence of Asynchronous Method Calls
Proc. HICSS 2005
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
Validating Behavioral Component Interfaces in Rewriting Logic
Proc. FSEN 2005
Einar Broch Johnsen
,
Olaf Owe
,
Arild B. Torjusen
Preprint
Cite
DOI
Representing Strategies for the Connection Calculus in Rewriting Logic
Proc. FTP 2005
Bjarne Holen
,
Einar Broch Johnsen
,
Arild Waaler
Preprint
Cite
A Dynamic Class Construct for Asynchronous Concurrent Objects
Proc. FMOODS 2005
Einar Broch Johnsen
,
Olaf Owe
,
Isabelle Simplot-Ryl
Preprint
Cite
DOI
Verification of Concurrent Objects with Asynchronous Method Calls
Proc. SwSTE 2005
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
Reasoning about Asynchronous Method Calls and Inheritance
Proc. NIK 2004
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
Toward Reflective Application Testing in Open Environments"
Proc. NIK 2004
Eyvind W. Axelsen
,
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
An Asynchronous Communication Model for Distributed Concurrent Objects
Proc. SEFM 2004
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
Theorem Reuse by Proof Term Transformation"
Proc. TPHOLs 2004
Einar Broch Johnsen
,
Christoph Lüth
Preprint
Cite
DOI
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects"
Proc. FMCO 2004
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
A Run-time Environment for Concurrent Objects with Asynchronous Method Calls
Proc. WRLA 2004
Einar Broch Johnsen
,
Olaf Owe
,
Eyvind W. Axelsen
Preprint
Cite
DOI
Combining Active and Reactive Behavior in Concurrent Systems
Proc. NIK 2003
Einar Broch Johnsen
,
Olaf Owe
,
Marte Arnestad
Preprint
Cite
Combining Graphical and Formal Development of Open Distributed Systems
Proc. IFM 2002
Einar Broch Johnsen
,
Wenhui Zhang
,
Olaf Owe
,
Demissie B. Aredo
Preprint
Cite
DOI
Composition and Refinement for Partial Object Specifications
Proc. FMPPTA 2002
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
A Compositional Formalism for Object Viewpoints
Proc. FMOODS 2002
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
Incremental Fault-Tolerant Design in an Object-Oriented Setting
Proc. APAQS 2001
Einar Broch Johnsen
,
Olaf Owe
,
Ellen Munthe-Kaas
,
Jüri Vain
Preprint
Cite
DOI
Specification of Distributed Systems with a Combination of Graphical and Formal Languages
Proc. APSEC 2001
Einar Broch Johnsen
,
Wenhui Zhang
,
Olaf Owe
,
Demissie B. Aredo
Preprint
Cite
DOI
«
Cite
×