×

zbMATH — the first resource for mathematics

Johnsen, Einar Broch

Compute Distance To:
Author ID: johnsen.einar-broch Recent zbMATH articles by "Johnsen, Einar Broch"
Published as: Johnsen, Einar Broch; Broch Johnsen, Einar; Johnsen, Einar B.; Johnsen, E.
Homepage: http://einarj.at.ifi.uio.no/
Documents Indexed: 42 Publications since 2002, including 7 Books

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 89 times in 54 Documents Cited by Year
Creol: A type-safe object-oriented model for distributed concurrent systems. Zbl 1118.68031
Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
19
2006
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Observable behavior of dynamic systems: component reasoning for concurrent objects. Zbl 1277.68056
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
7
2008
Structured formal development in Isabelle. Zbl 1114.68063
Bortin, Maksym; Broch Johnsen, Einar; Lüth, Christoph
6
2006
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
6
2010
Object-oriented specification and open distributed systems. Zbl 1278.68067
Johnsen, Einar Broch; Owe, Olaf
5
2004
A run-time environment for concurrent objects with asynchronous method calls. Zbl 1272.68186
Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W.
5
2005
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects. Zbl 1143.68356
Johnsen, Einar Broch; Owe, Olaf
4
2005
Temperatures produced by inertially collapsing bubbles near rigid surfaces. Zbl 1415.76627
Beig, S. A.; Aboulhasanzadeh, B.; Johnsen, E.
4
2018
Theorem reuse by proof term transformation. Zbl 1099.68728
Johnsen, Einar Broch; Lüth, Christoph
3
2004
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
3
2011
A compositional formalism for object viewpoints. Zbl 1056.68103
Johnsen, Einar Broch; Owe, Olaf
2
2002
Concurrent objects à la carte. Zbl 1274.68058
Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf
2
2010
Validating timed models of deployment components with parametric concurrency. Zbl 1308.68037
Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth
2
2011
Verifying traits: an incremental proof system for fine-grained reuse. Zbl 1342.68059
Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina
2
2014
Incremental reasoning for multiple inheritance. Zbl 1211.68084
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
2
2009
Virtually timed ambients: a calculus of nested virtualization. Zbl 1381.68205
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
1
2018
Integrating deployment architectures and resource consumption in timed object-oriented models. Zbl 1304.68029
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth
1
2015
Parallel cost analysis. Zbl 1407.68062
Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo
1
2018
A calculus of virtually timed ambients. Zbl 07152404
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
1
2017
Testing concurrent objects with application-specific schedulers. Zbl 1161.68630
Schlatte, Rudolf; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch
1
2008
An object-oriented component model for heterogeneous nets. Zbl 1209.68339
Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel
1
2008
Safe locking for multi-threaded Java. Zbl 1353.68029
Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin
1
2012
Temperatures produced by inertially collapsing bubbles near rigid surfaces. Zbl 1415.76627
Beig, S. A.; Aboulhasanzadeh, B.; Johnsen, E.
4
2018
Virtually timed ambients: a calculus of nested virtualization. Zbl 1381.68205
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
1
2018
Parallel cost analysis. Zbl 1407.68062
Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo
1
2018
A calculus of virtually timed ambients. Zbl 07152404
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
1
2017
Integrating deployment architectures and resource consumption in timed object-oriented models. Zbl 1304.68029
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth
1
2015
Verifying traits: an incremental proof system for fine-grained reuse. Zbl 1342.68059
Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina
2
2014
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Safe locking for multi-threaded Java. Zbl 1353.68029
Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin
1
2012
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
3
2011
Validating timed models of deployment components with parametric concurrency. Zbl 1308.68037
Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth
2
2011
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
6
2010
Concurrent objects à la carte. Zbl 1274.68058
Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf
2
2010
Incremental reasoning for multiple inheritance. Zbl 1211.68084
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
2
2009
Observable behavior of dynamic systems: component reasoning for concurrent objects. Zbl 1277.68056
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
7
2008
Testing concurrent objects with application-specific schedulers. Zbl 1161.68630
Schlatte, Rudolf; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch
1
2008
An object-oriented component model for heterogeneous nets. Zbl 1209.68339
Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel
1
2008
Creol: A type-safe object-oriented model for distributed concurrent systems. Zbl 1118.68031
Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
19
2006
Structured formal development in Isabelle. Zbl 1114.68063
Bortin, Maksym; Broch Johnsen, Einar; Lüth, Christoph
6
2006
A run-time environment for concurrent objects with asynchronous method calls. Zbl 1272.68186
Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W.
5
2005
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects. Zbl 1143.68356
Johnsen, Einar Broch; Owe, Olaf
4
2005
Object-oriented specification and open distributed systems. Zbl 1278.68067
Johnsen, Einar Broch; Owe, Olaf
5
2004
Theorem reuse by proof term transformation. Zbl 1099.68728
Johnsen, Einar Broch; Lüth, Christoph
3
2004
A compositional formalism for object viewpoints. Zbl 1056.68103
Johnsen, Einar Broch; Owe, Olaf
2
2002
all top 5

Cited by 94 Authors

17 Owe, Olaf
15 Johnsen, Einar Broch
7 Dovland, Johan
7 Steffen, Martin
4 Din, Crystal Chang
4 Meseguer Guaita, José
3 Henrio, Ludovic
3 Roşu, Grigore
3 Yu, Ingrid Chieh
2 Albert, Elvira
2 Bubel, Richard
2 Flores-Montoya, Antonio
2 Gauthier, Thibault
2 Grabe, Immo
2 Hähnle, Reiner
2 Kaliszyk, Cezary
2 Martin-Martin, Enrique
2 Ramezanifarkhani, Toktam
2 Wenzel, Makarius
1 Abbasi, Rosa
1 Ábrahám, Erika
1 Ahrendt, Wolfgang
1 Ameur-Boulifa, R.
1 Balasingham, Ilangko
1 Bjørk, Joakim
1 Bofill, Miquel
1 Borralleras, Cristina
1 Boy de la Tour, Thierry
1 Bravetti, Mario
1 Caromel, Denis
1 Clarke, Dave
1 Codescu, Mihai
1 Colvin, Robert J.
1 Damiani, Ferruccio
1 de Boer, Frank S.
1 Dixon, Lucas
1 Dylla, Maximilian
1 Fischer, Charles N.
1 Fleuriot, Jacques D.
1 Genaim, Samir
1 Ghassemi, Fatemeh
1 Giachino, Elena
1 Grüner, Andreas
1 Haftmann, Florian
1 Hooman, Jozef Johannes Maria
1 Horozal, Fulya
1 Jacobs, Bart
1 Johansen, Christian
1 Kammüller, Florian
1 Karami, Farzane
1 Kazemeyni, Fatemeh
1 Khosravi, Ramtin
1 Kohlhase, Michael
1 Kulankhina, O.
1 Kurnia, Ilham W.
1 Kyas, Marcel
1 Larsen, Kim Guldstrand
1 Laud, Peeter
1 Liblit, Ben
1 Lienhardt, Michael
1 Liu, Xiaojian
1 Liu, Zhiming
1 Lutz, Bianca
1 Madelaine, Eric
1 Mai Thuong Tran, Thi
1 McDowell, Charlie
1 Mossakowski, Till
1 Mulhern, Anne
1 Nestmann, Uwe
1 Nipkow, Tobias
1 Paulson, Lawrence Charles
1 Peltier, Nicolas
1 Peters, Kirstin
1 Piessens, Frank
1 Poetzsch-Heffter, Arnd
1 Qiu, Zongyan
1 Rabe, Florian
1 Reeves, Steve
1 Rubio, Albert
1 Savu, Anamaria
1 Schaefer, Ina
1 Schlatte, Rudolf
1 Schulte, Wolfram
1 Şerbănuţă, Traian Florin
1 Serpette, Bernard Paul
1 Smans, Jan
1 Sojakova, Kristina
1 Srba, Jiří
1 Streader, David
1 Stumpf, Johanna Beate
1 Tapia Tarifa, Silvia Lizeth
1 Tokas, Shukun
1 Verhoef, Marcel
1 Wong, Peter Y. H.

Citations by Year