Einar Broch Johnsen

	2009
37		Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu: Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM 2009: 596-611
36		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230
35		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230
34		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution for Testing Distributed Objects. TAP 2009: 105-120
33		Bjarne Holen, Einar Broch Johnsen, Arild Waaler: Proof Search for the First-Order Connection Calculus in Maude. Electr. Notes Theor. Comput. Sci. 238(3): 173-188 (2009)
32		Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek: Preface. Theor. Comput. Sci. 410(2-3): 113 (2009)
	2008
31		Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen: Minimal Ownership for Active Objects. APLAS 2008: 139-154
30		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy Behavioral Subtyping. FM 2008: 52-67
29		Marcel Kyas, Einar Broch Johnsen: A Real-Time Extension of Creol for Modelling Biomedical Sensors. FMCO 2008: 42-60
28		Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam: Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO 2008: 61-81
27		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		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		Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Inform. 82(4): 341-359 (2008)
24		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		Frank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330
21		Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas: An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279
20		Einar Broch Johnsen, Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects. Software and System Modeling 6(1): 39-58 (2007)
	2006
19		Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe: Type-Safe Runtime Class Upgrades in Creol. FMOODS 2006: 202-217
18		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		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		Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl: A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30
14		Einar Broch Johnsen, Olaf Owe: Inheritance in the Presence of Asynchronous Method Calls. HICSS 2005
13		Johan Dovland, Einar Broch Johnsen, Olaf Owe: Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE 2005: 141-150
12		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		Einar Broch Johnsen, Olaf Owe: Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl 2004: 137-164
10		Einar Broch Johnsen, Olaf Owe: A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO 2004: 274-295
9		Einar Broch Johnsen, Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects. SEFM 2004: 188-197
8		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		Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338
4		Einar Broch Johnsen, Olaf Owe: Composition and Refinement for Partial Object Specifications. IPDPS 2002
	2001
3		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		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		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] [28] [34] [36]
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] [32]
7	Maksym Bortin	[17]
8	Dave Clarke	[22] [31]
9	Johan Dovland	[13] [26] [30] [35]
10	Andreas Griesmayer	[27] [28] [34] [36]
11	Bjarne Holen	[33]
12	Marcel Kyas	[21] [29] [37]
13	Christoph Lüth	[7] [8] [17]
14	Ellen Munthe-Kaas	[3]
15	Amy L. Murphy	[32]
16	Johan Östlund	[31]
17	Olaf Owe	[1] [2] [3] [4] [5] [6] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [25] [26] [30] [35]
18	Rudolf Schlatte	[27] [28] [34] [36]
19	Isabelle Simplot-Ryl (Isabelle Ryl)	[15]
20	Andries Stam	[28]
21	Martin Steffen	[30] [35]
22	Arild B. Torjusen	[18] [25]
23	Jüri Vain	[3]
24	Jan Vitek	[32]
25	Arild Waaler	[33]
26	Tobias Wrigstad	[31]
27	Ingrid Chieh Yu	[16] [19] [24] [37]
28	Wenhui Zhang	[1] [2] [5]

Colors in the list of coauthors