Einar Broch Johnsen

	2012
61		Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe: Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebr. Program. 81(3): 227-256 (2012)
60		Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe locking for multi-threaded Java with exceptions. J. Log. Algebr. Program. 81(3): 257-283 (2012)
59		Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: Formal modeling and validation of a power-efficient grouping protocol for WSNs. J. Log. Algebr. Program. 81(3): 284-297 (2012)
	2011
58		Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro: Fault in the Future. COORDINATION 2011: 1-15
57		Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM 2011: 353-368
56		Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe Locking for Multi-threaded Java. FSEN 2011: 158-173
55		Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. ICECCS 2011: 253-262
54		Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011: 417-457
53		Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa: Models of Rate Restricted Communication for Concurrent Objects. Electr. Notes Theor. Comput. Sci. 274: 67-81 (2011)
52		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76(10): 915-941 (2011)
	2010
51		Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen: Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR 2010: 1-18
50		Dave Clarke, Einar Broch Johnsen, Olaf Owe: Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206
49		Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen: ABS: A Core Language for Abstract Behavioral Specification. FMCO 2010: 142-164
48		Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE 2010: 95-109
47		Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60
46		Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661
45		Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte: Lightweight Time Modeling in Timed Creol RTRTS 2010: 67-81
44		Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong: HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops 2010: 121-128
43		Espen H. Lian, Einar Broch Johnsen, Arild Waaler: Confluent Term Rewriting for Only-knowing Logics. STAIRS 2010: 162-174
42		Einar Broch Johnsen, Volker Stolz: Preface. Electr. Notes Theor. Comput. Sci. 266: 1-2 (2010)
41		Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)
40		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy behavioral subtyping. J. Log. Algebr. Program. 79(7): 578-607 (2010)
	2009
39		Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu: Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM 2009: 596-611
38		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230
37		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230
36		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution for Testing Distributed Objects. TAP 2009: 105-120
35		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)
34		Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe: Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Electr. Notes Theor. Comput. Sci. 243: 89-103 (2009)
33		Einar Broch Johnsen, Olaf Owe, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 78(7): (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] [36] [38] [41]
2	Elvira Albert	[57]
3	Demissie B. Aredo	[1] [2] [5]
4	Eyvind W. Axelsen	[12]
5	Christel Baier	[41]
6	Ilangko Balasingham	[48] [55] [59]
7	Joakim Bjørk	[21] [45]
8	Jasmin Christian Blanchette	[34]
9	Tobias Blechmann	[41]
10	Frank S. de Boer	[22] [27] [41] [51]
11	Marcello M. Bonsangue	[23] [32]
12	Maksym Bortin	[17]
13	Dave Clarke (David G. Clarke)	[22] [31] [44] [50] [54]
14	Nikolay Diakov	[44] [54]
15	Crystal Chang Din	[61]
16	Johan Dovland	[13] [26] [30] [37] [40] [52] [61]
17	Samir Genaim	[57]
18	Miguel Gómez-Zamalloa	[57]
19	Immo Grabe	[41]
20	Andreas Griesmayer	[27] [28] [36] [38] [41]
21	Reiner Hähnle	[44] [49] [54]
22	Bjarne Holen	[35]
23	Mohammad Mahdi Jaghoori	[41] [51]
24	Fatemeh Kazemeyni	[48] [53] [55] [59]
25	Joachim Klein	[41]
26	Sascha Klüppelholz	[41]
27	Marcel Kyas	[21] [29] [34] [39] [41]
28	Ivan Lanese	[58]
29	Wolfgang Leister	[41]
30	Espen H. Lian	[43]
31	Christoph Lüth	[7] [8] [17]
32	Ellen Munthe-Kaas	[3]
33	Amy L. Murphy	[32]
34	Johan Östlund	[31]
35	Olaf Owe	[1] [2] [3] [4] [5] [6] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [25] [26] [30] [33] [34] [37] [40] [45] [46] [47] [48] [50] [52] [55] [56] [59] [60] [61]
36	Germán Puebla (German Puebla)	[44]
37	Ina Schaefer	[54]
38	Jan Schäfer (Jan Schaefer)	[49] [54]
39	Rudolf Schlatte	[27] [28] [36] [38] [41] [45] [46] [47] [49] [53] [54] [57]
40	Gerardo Schneider	[33]
41	Isabelle Simplot-Ryl (Isabelle Ryl)	[15]
42	Andries Stam	[28] [41]
43	Martin Steffen	[30] [37] [40] [41] [49] [52] [56] [60]
44	Volker Stolz	[42]
45	Silvia Lizeth Tapia Tarifa	[46] [47] [53] [57]
46	Arild B. Torjusen	[18] [25]
47	Thi Mai Thuong Tran (Thi-Mai-Thuong Tran)	[56] [60]
48	Simon Tschirner	[41]
49	Jüri Vain	[3]
50	Jan Vitek	[32]
51	Arild Waaler	[35] [43]
52	Balthasar Weitzel	[44]
53	Peter Y. H. Wong	[44] [54]
54	Tobias Wrigstad	[31]
55	Liang Xuedong	[41]
56	Wang Yi	[41]
57	Ingrid Chieh Yu	[16] [19] [24] [39]
58	Gianluigi Zavattaro	[58]
59	Wenhui Zhang	[1] [2] [5]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page