Einar Broch Johnsen

2009
31	EE	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230
30	EE	Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek: Preface. Theor. Comput. Sci. 410(2-3): 113 (2009)
2008
29	EE	Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen: Minimal Ownership for Active Objects. APLAS 2008: 139-154
28	EE	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy Behavioral Subtyping. FM 2008: 52-67
27	EE	Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen: Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333
26	EE	Johan Dovland, Einar Broch Johnsen, Olaf Owe: Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Electr. Notes Theor. Comput. Sci. 203(3): 19-34 (2008)
25	EE	Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Inform. 82(4): 341-359 (2008)
24	EE	Einar Broch Johnsen, Ingrid Chieh Yu: Backwards type analysis of asynchronous method calls. J. Log. Algebr. Program. 77(1-2): 40-59 (2008)
2007
23		Marcello M. Bonsangue, Einar Broch Johnsen: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Springer 2007
22	EE	Frank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330
21	EE	Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas: An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279
20	EE	Einar Broch Johnsen, Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects. Software and System Modeling 6(1): 39-58 (2007)
2006
19	EE	Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe: Type-Safe Runtime Class Upgrades in Creol. FMOODS 2006: 202-217
18	EE	Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 159: 187-204 (2006)
17		Maksym Bortin, Einar Broch Johnsen, Christoph Lüth: Structured Formal Development in Isabelle. Nord. J. Comput. 13(1-2): 2-21 (2006)
16	EE	Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. 365(1-2): 23-66 (2006)
2005
15	EE	Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl: A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30
14	EE	Einar Broch Johnsen, Olaf Owe: Inheritance in the Presence of Asynchronous Method Calls. HICSS 2005
13	EE	Johan Dovland, Einar Broch Johnsen, Olaf Owe: Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE 2005: 141-150
12	EE	Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen: A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. Electr. Notes Theor. Comput. Sci. 117: 375-392 (2005)
2004
11	EE	Einar Broch Johnsen, Olaf Owe: Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl 2004: 137-164
10	EE	Einar Broch Johnsen, Olaf Owe: A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO 2004: 274-295
9	EE	Einar Broch Johnsen, Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects. SEFM 2004: 188-197
8	EE	Einar Broch Johnsen, Christoph Lüth: Theorem Reuse by Proof Term Transformation. TPHOLs 2004: 152-167
2003
7		Einar Broch Johnsen, Christoph Lüth: Abstracting Refinements for Transformation. Nord. J. Comput. 10(4): 313-336 (2003)
2002
6		Einar Broch Johnsen, Olaf Owe: A Compositional Formalism for Object Viewpoints. FMOODS 2002: 45-60
5	EE	Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338
4	EE	Einar Broch Johnsen, Olaf Owe: Composition and Refinement for Partial Object Specifications. IPDPS 2002
2001
3	EE	Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain: Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS 2001: 223-230
2	EE	Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC 2001: 105-
1	EE	Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo: Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122-

Coauthor Index

1	Bernhard K. Aichernig	[27]
2	Demissie B. Aredo	[1] [2] [5]
3	Eyvind W. Axelsen	[12]
4	Joakim Bjørk	[21]
5	Frank S. de Boer	[22] [27]
6	Marcello M. Bonsangue	[23] [30]
7	Maksym Bortin	[17]
8	Dave Clarke	[22] [29]
9	Johan Dovland	[13] [26] [28] [31]
10	Andreas Griesmayer	[27]
11	Marcel Kyas	[21]
12	Christoph Lüth	[7] [8] [17]
13	Ellen Munthe-Kaas	[3]
14	Amy L. Murphy	[30]
15	Johan Östlund	[29]
16	Olaf Owe	[1] [2] [3] [4] [5] [6] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [25] [26] [28] [31]
17	Rudolf Schlatte	[27]
18	Isabelle Simplot-Ryl (Isabelle Ryl)	[15]
19	Martin Steffen	[28] [31]
20	Arild B. Torjusen	[18] [25]
21	Jüri Vain	[3]
22	Jan Vitek	[30]
23	Tobias Wrigstad	[29]
24	Ingrid Chieh Yu	[16] [19] [24]
25	Wenhui Zhang	[1] [2] [5]

Colors in the list of coauthors