×

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: Broch Johnsen, Einar; Johnsen, E.; Johnsen, Einar B.; Johnsen, Einar Broch
Homepage: http://einarj.at.ifi.uio.no/
Documents Indexed: 42 Publications since 2002, including 7 Books

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 96 times in 60 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
20
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
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
8
2010
A run-time environment for concurrent objects with asynchronous method calls. Zbl 1272.68186
Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W.
8
2005
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
Object-oriented specification and open distributed systems. Zbl 1278.68067
Johnsen, Einar Broch; Owe, Olaf
5
2004
Temperatures produced by inertially collapsing bubbles near rigid surfaces. Zbl 1415.76627
Beig, S. A.; Aboulhasanzadeh, B.; Johnsen, E.
4
2018
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects. Zbl 1143.68356
Johnsen, Einar Broch; Owe, Olaf
4
2005
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
3
2011
Theorem reuse by proof term transformation. Zbl 1099.68728
Johnsen, Einar Broch; Lüth, Christoph
3
2004
Verifying traits: an incremental proof system for fine-grained reuse. Zbl 1342.68059
Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina
2
2014
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
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
A compositional formalism for object viewpoints. Zbl 1056.68103
Johnsen, Einar Broch; Owe, Olaf
2
2002
Parallel cost analysis. Zbl 1407.68062
Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo
1
2018
Virtually timed ambients: a calculus of nested virtualization. Zbl 1381.68205
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
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
Safe locking for multi-threaded Java. Zbl 1353.68029
Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin
1
2012
An object-oriented component model for heterogeneous nets. Zbl 1209.68339
Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel
1
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
Validating behavioral component interfaces in rewriting logic. Zbl 1147.68573
Johnsen, Einar Broch; Owe, Olaf; Torjusen, Arild B.
1
2008
Temperatures produced by inertially collapsing bubbles near rigid surfaces. Zbl 1415.76627
Beig, S. A.; Aboulhasanzadeh, B.; Johnsen, E.
4
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
Virtually timed ambients: a calculus of nested virtualization. Zbl 1381.68205
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
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
8
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
An object-oriented component model for heterogeneous nets. Zbl 1209.68339
Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel
1
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
Validating behavioral component interfaces in rewriting logic. Zbl 1147.68573
Johnsen, Einar Broch; Owe, Olaf; Torjusen, Arild B.
1
2008
Creol: A type-safe object-oriented model for distributed concurrent systems. Zbl 1118.68031
Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
20
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.
8
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 108 Authors

17 Owe, Olaf
15 Johnsen, Einar Broch
7 Dovland, Johan
7 Steffen, Martin
5 Meseguer Guaita, José
4 Din, Crystal Chang
4 Roşu, Grigore
3 Henrio, Ludovic
3 Yu, Ingrid Chieh
2 Albert, Elvira
2 Bryngelson, Spencer H.
2 Bubel, Richard
2 Colonius, Tim
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 Schmidmayer, Kevin
2 Wenzel, Makarius
1 Abbasi, Rosa
1 Ábrahám, Erika
1 Adams, Nikolaus A.
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 Gonzalez-Avila, Silvestre Roberto
1 Grüner, Andreas
1 Haftmann, Florian
1 Hills, Mark
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 Khoo, Boo Cheong
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 Luo, Jing
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 Ohl, Claus-Dieter
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 Schmidt, Steffen J.
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
...and 8 more Authors

Citations by Year