Dummy personkort bilde

Johnsen, Einar Broch

Professor Fysihka ja teknologiija instituhtta
Norsk flaggikon Engelsk flaggikon

  • Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh; Johnsen, Einar Broch. A Configurable and Executable Model of Spark Streaming on Apache YARN. International Journal of Grid and Utility Computing (IJGUC) 2020; Volum 11 (2). ISSN 1741-847X.s doi: https://doi.org/10.1504/IJGUC.2020.105531.

  • de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. From SOS to asynchronously communicating actors. Lecture Notes in Computer Science (LNCS) 2020; Volum 12226. ISSN 0302-9743.s 269 - 275.s doi: 10.1007/978-3-030-57506-9_20.

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming 2019; Volum 179. ISSN 0167-6423.s 24 - 53.s doi: 10.1016/j.scico.2019.04.003.

  • Kamburjan, Eduard; Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch. Asynchronous Cooperative Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS) 2019; Volum 11724 LNCS. ISSN 0302-9743.s 48 - 66.s doi: 10.1007/978-3-030-30446-1_3.

  • de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi. Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv. (fulltekst) Electronic Proceedings in Theoretical Computer Science 2019; Volum 302. ISSN 2075-2180.s 1 - 15.s doi: 10.4204/EPTCS.302.1.

  • Fernandez-Reyes, Kiko; Clarke, Dave; Henrio, Ludovic; Johnsen, Einar Broch; Wrigstad, Tobias. Godot: All the benefits of implicit and explicit futures. Leibniz International Proceedings in Informatics 2019; Volum 134. ISSN 1868-8969.s doi: 10.4230/LIPIcs.ECOOP.2019.2.

  • Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Lecture Notes in Computer Science (LNCS) 2019; Volum 11424. ISSN 0302-9743.s 332 - 350.s doi: 10.1007/978-3-030-16722-6_20.

  • Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin; Yu, Ingrid Chieh. Translating active objects into colored Petri nets for communication analysis. (fulltekst) Science of Computer Programming 2019; Volum 181. ISSN 0167-6423.s 1 - 26.s doi: 10.1016/j.scico.2019.04.002.

  • Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. Virtually timed ambients: A calculus of nested virtualization. Journal of Logical and Algebraic Methods in Programming 2018; Volum 94. ISSN 2352-2208.s 109 - 127.s doi: 10.1016/j.jlamp.2017.10.001.

  • Røst, Thomas Brox; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch; Chesta, Cristina. HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems. Communications in Computer and Information Science 2018; Volum 824. ISSN 1865-0929.s 159 - 163.s doi: 10.1007/978-3-319-79090-9_12.

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph; Tapia Tarifa, Silvia Lizeth. Deployment by Construction for Multicore Architectures. Springer 2018; Volum 11244 (-) ISBN 978-3-030-03417-7. ISSN 0302-9743.s 448 - 465.s doi: 10.1007/978-3-030-03418-4_26.

  • Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Ka I, Pun; Roman-Diez, Guillermo. Parallel Cost Analysis. (fulltekst) ACM Transactions on Computational Logic 2018; Volum 19 (4). ISSN 1529-3785.s 1 - 37.s doi: 10.1145/3274278.

  • Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh; Johnsen, Einar Broch. Modeling and simulation of spark streaming. Advanced Information Networking and Applications 2018; Volum 2018-May. ISSN 1550-445X.s 407 - 413.s doi: 10.1109/AINA.2018.00068.

  • Schlatte, Rudolf; Johnsen, Einar Broch; Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh. Release the Beasts: When Formal Methods Meet Real World Data. Lecture Notes in Computer Science (LNCS) 2018; Volum 10865. ISSN 0302-9743.s 107 - 121.s doi: 10.1007/978-3-319-90089-6_8.

  • Hähnle, Reiner; Johnsen, Einar Broch. A Model-Centric Approach to the Design of Resource-Aware Cloud Applications. (data) (fulltekst) Wiley-Blackwell 2018 ISBN 978-1-119-17421-9.s 315 - 326.s doi: 10.1002/9781119174240.ch18.

  • Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh. Using coloured Petri nets for resource analysis of active objects. Lecture Notes in Computer Science (LNCS) 2018; Volum 11222 LNCS. ISSN 0302-9743.s 156 - 174.s doi: 10.1007/978-3-030-02146-7_8.

  • Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. An Analysis Tool for Models of Virtualized Systems. (data) NIKT: Norsk IKT-konferanse for forskning og utdanning 2018. ISSN 1892-0713.

  • Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018; Volum 11187 LNCS. ISSN 0302-9743.s 252 - 272.s doi: 10.1007/978-3-030-02508-3_14.

  • Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018; Volum 11023. ISSN 0302-9743.s 194 - 213.s doi: 10.1007/978-3-319-98938-9_12.

  • Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh. A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming 2018; Volum 95. ISSN 2352-2208.s 82 - 102.s doi: 10.1016/j.jlamp.2017.11.004.

  • Domenech, Jesus; Genaim, Samir; Johnsen, Einar Broch; Schlatte, Rudolf. EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools. Lecture Notes in Computer Science (LNCS) 2017; Volum 10202 LNCS. ISSN 0302-9743.s 379 - 383.s doi: 10.1007/978-3-662-54494-5_22.

  • Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of cloud-deployed software and its application to workflow processing. IEEE Communications Society 2017 ISBN 978-953-290-078-1.s doi: 10.23919/SOFTCOM.2017.8115501.

  • Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. A Calculus of Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2017; Volum 10644 LNCS. ISSN 0302-9743.s 88 - 103.s doi: 10.1007/978-3-319-72044-9_7.

  • de Boer, Frank; Serbanescu, Vlad; Hähnle, Reiner; Henrio, Ludovic; Rochas, Justine; Din, Crystal Chang; Johnsen, Einar Broch; Sirjani, Marjan; Khamespanah, Ehsan; Fernandez-Reyes, Kiko; Yang, Albert Mingkun. A Survey of Active Object Languages. ACM Computing Surveys 2017; Volum 50 (5). ISSN 0360-0300.s doi: 10.1145/3122848.

  • Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin; Yu, Ingrid Chieh. Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science (LNCS) 2017 (10522). ISSN 0302-9743.s 84 - 99.s doi: 10.1007/978-3-319-68972-2_6.

  • Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh. Resource Management of Cloud-Aware Programs using Coloured Petri Nets. 2017 ISBN 978-952-12-3608-2.s 31 - 33.

  • Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS) 2017; Volum 10501 LNAI. ISSN 0302-9743.s 22 - 43.s doi: 10.1007/978-3-319-66902-1_2.

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of parallel execution on multicore architectures with multilevel caches. Lecture Notes in Computer Science (LNCS) 2017; Volum 10487 LNCS. ISSN 0302-9743.s 58 - 77.s doi: 10.1007/978-3-319-68034-7_4.

  • Johnsen, Einar Broch; Owe, Olaf; Clarke, Dave; Bjørk, Joakim. A formal model of service-oriented dynamic object groups. Science of Computer Programming 2016; Volum 115-116. ISSN 0167-6423.s 3 - 22.s doi: 10.1016/j.scico.2014.11.014.

  • Abraham, Erika; Corzilius, Florian; Johnsen, Einar Broch; Kremer, Gereon; Mauro, Jacopo. Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Lecture Notes in Computer Science (LNCS) 2016; Volum 9984 LNCS. ISSN 0302-9743.s 229 - 245.s doi: 10.1007/978-3-319-47677-3_15.

  • Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Modeling deployment decisions for elastic services with ABS. Electronic Proceedings in Theoretical Computer Science 2016; Volum 228. ISSN 2075-2180.s 16 - 26.s doi: 10.4204/EPTCS.228.3.

  • Johnsen, Einar Broch; Lin, Jia-Chun; Yu, Ingrid Chieh. Comparing AWS Deployments Using Model-Based Predictions. Lecture Notes in Computer Science (LNCS) 2016; Volum 9953. ISSN 0302-9743.s 482 - 496.s doi: 10.1007/978-3-319-47169-3_39.

  • Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh. Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. Lecture Notes in Computer Science (LNCS) 2016; Volum 9960. ISSN 0302-9743.s 130 - 156.s doi: 10.1007/978-3-319-46508-1_8.

  • Ancona, David; Bono, Viviana; Bravetti, Mario; Campos, Joana; Castagna, Guiseppe; Denielou, Pierre-Malo; Gay, Simon; Gesbert, Nils; Giachino, Elena; Hu, Raymond; Johnsen, Einar Broch; Martins, Francisco; Mascardi, Viviana; Montesi, Fabrizio; Neykova, Rumyana; Ng, Nicholas; Padovani, Luca; Vasconcelos, Vasco; Yoshida, Nobuko. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages 2016; Volum 3 (1). ISSN 2325-1107.s 95 - 230.s doi: 10.1561/2500000031.

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A Maude Framework for Cache Coherent Multicore Architectures. Lecture Notes in Computer Science (LNCS) 2016; Volum 9942. ISSN 0302-9743.s 47 - 63.s doi: 10.1007/978-3-319-44802-2_3.

  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh. Meeting Deadlines, Elastically. CRC Press 2016 ISBN 978-1-4987-0158-7.s 99 - 111.s doi: 10.1201/b20053-11.

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. An operational semantics of cache coherent multicore architectures. Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-3739-7.s 1219 - 1224.s doi: 10.1145/2851613.2851718.

  • Giachino, Elena; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I. Time complexity of concurrent programs – A technique based on behavioural types. Lecture Notes in Computer Science (LNCS) 2016; Volum 9539. ISSN 0302-9743.s 199 - 216.s doi: 10.1007/978-3-319-28934-2_11.

  • Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch; Lee, Ming-Chang. ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. Springer 2016; Volum LCNS 9633 (pp) ISBN 3662496658. ISSN 0302-9743.s 49 - 65.s doi: 10.1007/978-3-662-49665-7_4.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh. A proof system for adaptable class hierarchies. (fulltekst) Journal of Logical and Algebraic Methods in Programming 2015; Volum 84 (1). ISSN 2352-2208.s 37 - 53.s doi: 10.1016/j.jlamp.2014.09.001.

  • Abraham, Erika; Bekas, Costas; Brandic, Ivona; Genaim, Samir; Johnsen, Einar Broch; Kondov, Ivan; Pllana, Sabri; Streit, Achim. Preparing HPC Applications for Exascale: Challenges and Recommendations. (fulltekst) IEEE 2015 ISBN 978-1-4799-9942-2.s 401 - 406.s doi: 10.1109/NBiS.2015.61.

  • Din, Crystal Chang; Tapia Tarifa, Silvia Lizeth; Hähnle, Reiner; Johnsen, Einar Broch. History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. (fulltekst) Lecture Notes in Computer Science (LNCS) 2015; Volum 9407. ISSN 0302-9743.s 217 - 233.s doi: 10.1007/978-3-319-25423-4_14.

  • Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Wrigstad, Tobias; Yang, Albert Mingkun. Parallel objects for multicores: A glimpse at the parallel language encore. Lecture Notes in Computer Science (LNCS) 2015; Volum 9104. ISSN 0302-9743.s 1 - 56.s doi: 10.1007/978-3-319-18941-3_1.

  • Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Roman-Diez, Guillermo. Parallel cost analysis of distributed systems. Lecture Notes in Computer Science (LNCS) 2015; Volum 9291. ISSN 0302-9743.s 275 - 292.s doi: 10.1007/978-3-662-48288-9_16.

  • Hähnle, Reiner; Johnsen, Einar Broch. Designing Resource-Aware Cloud Applications. Computer 2015; Volum 48 (6). ISSN 0018-9162.s 72 - 75.s doi: 10.1109/MC.2015.172.

  • Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Integrating deployment architectures and resource consumption in timed object-oriented models. Journal of Logical and Algebraic Methods in Programming 2015; Volum 84 (1). ISSN 2352-2208.s 67 - 91.s doi: 10.1016/j.jlamp.2014.07.001.

  • Damiani, Ferruccio; Dovland, Johan; Johnsen, Einar Broch; Schaefer, Ina. Verifying traits: An incremental proof system for fine-grained reuse. Formal Aspects of Computing 2014; Volum 26 (4). ISSN 0934-5043.s 761 - 793.s doi: 10.1007/s00165-013-0278-3.

  • Kazemeyni, Fatemeh Sadat; Owe, Olaf; Johnsen, Einar Broch; Balasingham, Ilangko. Formal modeling and analysis of learning-based routing in mobile wireless sensor networks. Advances in Intelligent Systems and Computing 2014; Volum 263. ISSN 2194-5357.s 127 - 150.s doi: 10.1007/978-3-319-04717-1_6.

  • de Boer, Frank; de Gouw, Stijn; Johnsen, Einar Broch; Kohn, Andreas; Wong, Peter Y. H.. Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. (fulltekst) LNCS Transactions on Aspect-Oriented Software Development 2014; Volum 11. ISSN 1864-3027.s 1 - 26.s doi: 10.1007/978-3-642-55099-7_1.

  • Albert, Elvira; de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Wong, Peter Y. H.. Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. (fulltekst) Service Oriented Computing and Applications 2014; Volum 8 (4). ISSN 1863-2386.s 323 - 339.s doi: 10.1007/s11761-013-0148-0.

  • Hähnle, Reiner; Johnsen, Einar Broch. Introduction to Track on Engineering Virtualized Services. (fulltekst) Lecture Notes in Computer Science (LNCS) 2014; Volum 8803. ISSN 0302-9743.s 1 - 4.s doi: 10.1007/978-3-662-45231-8_1.

  • de Boer, Frank; Johnsen, Einar Broch; Clarke, Dave; Drossopoulou, Sophia; Yoshida, Nobuko; Wrigstad, Tobias. Scaling Future Software: The Manycore Challenge. ERCIM News 2014; Volum 99. ISSN 0926-4981.

  • Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Deployment variability in delta-oriented models. (fulltekst) Lecture Notes in Computer Science (LNCS) 2014; Volum 8802. ISSN 0302-9743.s 304 - 319.s doi: 10.1007/978-3-662-45234-9_22.

  • Göri, Georg; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker. Erlang-style error recovery for concurrent objects with cooperative scheduling. (fulltekst) Lecture Notes in Computer Science (LNCS) 2014; Volum 8803 (2). ISSN 0302-9743.s 5 - 21.s doi: 10.1007/978-3-662-45231-8_2.

  • Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker; Zavattaro, Gianluigi. Fault Model Design Space for Cooperative Concurrency. (fulltekst) Lecture Notes in Computer Science (LNCS) 2014; Volum 8803 (2). ISSN 0302-9743.s 22 - 36.s doi: 10.1007/978-3-662-45231-8_3.

  • Hähnle, Reiner; Helvensteijn, Michiel; Johnsen, Einar Broch; Lienhardt, Michael; Sangiorgi, Davide; Schaefer, Ina; Wong, Peter Y. H.. HATS Abstract Behavioral Specification: The Architectural View. Lecture Notes in Computer Science (LNCS) 2013; Volum 7542. ISSN 0302-9743.s 109 - 132.s doi: 10.1007/978-3-642-35887-6_6.

  • Taherkordi, Amirhosein; Eliassen, Frank; Johnsen, Einar Broch. Behavioural Design of Sensor Network Applications using Activity-Driven States. IEEE 2013 ISBN 978-1-4673-6269-6.s 13 - 18.s doi: 10.1109/sesena.2013.6612259.

  • Kazemeyni, Fatemeh Sadat; Owe, Olaf; Johnsen, Einar Broch; Balasingham, Ilangko. Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. IEEE conference proceedings 2013 ISBN 978-1-4799-1050-2.s 504 - 511.s doi: 10.1109/IRI.2013.6642512.

  • Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Modeling Application-Level Management of Virtualized Resources in ABS. Lecture Notes in Computer Science (LNCS) 2013; Volum 7542. ISSN 0302-9743.s 89 - 108.s doi: 10.1007/978-3-642-35887-6_5.

  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. Safe locking for multi-threaded Java with exceptions. (omtale) Journal of Logic and Algebraic Programming 2012; Volum 81 (3). ISSN 1567-8326.s 257 - 283.s doi: 10.1016/j.jlap.2011.11.002.

  • Damiani, Ferruccio; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh. A Transformational Proof System for Delta-Oriented Programming. (data) ACM Publications 2012 ISBN 978-1-4503-1095-6.s 53 - 60.s doi: 10.1145/2364412.2364422.

  • Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science (LNCS) 2012; Volum 7253. ISSN 0302-9743.s 187 - 204.s doi: 10.1007/978-3-642-35743-5_12.

  • Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science (LNCS) 2012; Volum 7421. ISSN 0302-9743.s 196 - 213.s doi: 10.1007/978-3-642-31762-0_13.

  • Bjørk, Joakim; Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf. A Type-Safe Model of Adaptive Object Groups. Electronic Proceedings in Theoretical Computer Science 2012; Volum 91. ISSN 2075-2180.s 1 - 15.s doi: 10.4204/EPTCS.91.1.

  • de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Wong, Peter Y. H.. Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. Lecture Notes in Computer Science (LNCS) 2012; Volum 7592. ISSN 0302-9743.s 91 - 106.s doi: 10.1007/978-3-642-33427-6_7.

  • Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Lecture Notes in Computer Science (LNCS) 2012; Volum 7635. ISSN 0302-9743.s 71 - 86.s doi: 10.1007/978-3-642-34281-3_8.

  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf; Balasingham, Ilangko. MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. Lecture Notes in Computer Science (LNCS) 2012; Volum 7321. ISSN 0302-9743.s 143 - 157.s doi: 10.1007/978-3-642-30729-4_11.

  • Dovland, Johan; Johnsen, Einar Broch; Yu, Ingrid Chieh. Tracking Behavioral Constraints during Object-Oriented Software Evolution. Lecture Notes in Computer Science (LNCS) 2012; Volum 7609. ISSN 0302-9743.s 253 - 268.s doi: 10.1007/978-3-642-34026-0_19.

  • Bjørk, Joakim; de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. User-defined Schedulers for Real-Time Concurrent Objects. Innovations in Systems and Software Engineering 2012. ISSN 1614-5046.s doi: 10.1007/s11334-012-0184-5.

  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Johnsen, Einar Broch; Griesmayer, Andreas. Exploiting Model Variability in ABS to Verify Distributed Algorithms. (fulltekst) International Journal On Advances in Telecommunications 2012; Volum 5 (1&2). ISSN 1942-2601.s 55 - 68.

  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf; Balasingham, Ilangko. Formal modeling and validation of a power-efficient grouping protocol for WSNs. (data) Journal of Logic and Algebraic Programming 2012; Volum 81 (3). ISSN 1567-8326.s 284 - 297.s doi: 10.1016/j.jlap.2011.12.001.

  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable behavior of distributed systems: Component reasoning for concurrent objects. Journal of Logic and Algebraic Programming 2012; Volum 81 (3). ISSN 1567-8326.s 227 - 256.s doi: 10.1016/j.jlap.2012.01.003.

  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. Safe Locking for Multi-Threaded Java. (omtale) Springer 2012 (7141) ISBN 978-3-642-29319-1. ISSN 0302-9743.s doi: 10.1007/978-3-642-29320-7_11.

  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Validating Timed Models of Deployment Components with Parametric Concurrency. (omtale) Lecture Notes in Computer Science (LNCS) 2011; Volum 6528. ISSN 0302-9743.s 46 - 60.s doi: 10.1007/978-3-642-18070-5_4.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh. A Proof System for Adaptable Class Hierarchies. 2011 ISBN 9789521224782.s 33 - 34.s doi: 10.1016/j.jlamp.2014.09.001.

  • Schlatte, Rudolf; Johnsen, Einar Broch; Kazemeyni, Fatemeh Sadat; Tapia Tarifa, Silvia Lizeth. Models of Rate Restricted Communication for Concurrent Objects. Electronical Notes in Theoretical Computer Science 2011; Volum 274. ISSN 1571-0661.s 67 - 81.s doi: 10.1016/j.entcs.2011.07.007.

  • Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Integrating Aspects of Software Deployment in High-Level Executable Models. (omtale) Tapir Akademisk Forlag 2011 (NIK 2011) ISBN 978-82-519-2843-4. ISSN 1892-0713.

  • Clarke, Dave; Diakov, Nikolay; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina; Schäfer, Jan; Schlatte, Rudolf; Wong, Peter Y. H.. Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. (fulltekst) Lecture Notes in Computer Science (LNCS) 2011; Volum 6659. ISSN 0302-9743.s 417 - 457.s doi: 10.1007/978-3-642-21455-4_13.

  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf; Balasingham, Ilangko. Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. (fulltekst) (omtale) IEEE 2011 ISBN 978-1-61284-853-2.s 253 - 262.s doi: 10.1109/iceccs.2011.32.

  • Albert, Elvira; Genaim, Samir; Gómez-Zamalloa, Miguel; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Simulating Concurrent Behaviors with Worst-Case Cost Bounds. (omtale) Lecture Notes in Computer Science (LNCS) 2011; Volum 6664. ISSN 0302-9743.s 353 - 368.s doi: 10.1007/978-3-642-21437-0_27.

  • Johnsen, Einar Broch; Lanese, Ivan; Zavattaro, Gianluigi. Fault in the Future. (omtale) Lecture Notes in Computer Science (LNCS) 2011; Volum 6721. ISSN 0302-9743.s 1 - 15.

  • Johnsen, Einar Broch; Hähnle, Reiner; Schäfer, Jan; Schlatte, Rudolf; Steffen, Martin. ABS: A Core Language for Abstract Behavioral Specification. (fulltekst) (omtale) Lecture Notes in Computer Science (LNCS) 2011; Volum 6957. ISSN 0302-9743.s doi: 10.1007/978-3-642-25271-6_8.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Science of Computer Programming 2011; Volum 76 (10). ISSN 0167-6423.s 915 - 941.s doi: 10.1016/j.scico.2010.09.006.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Lazy behavioral subtyping. Journal of Logic and Algebraic Programming 2010; Volum 79 (7). ISSN 1567-8326.s 578 - 607.s doi: 10.1016/j.jlap.2010.07.008.

  • Din, Crystal Chang; Dovland, Johan; Owe, Olaf; Johnsen, Einar Broch. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 2010 (57) ISBN 978-952-12-2478-2. ISSN 1239-1905.s 26 - 27.

  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Klein, Joachim; Klüppelholz, Sascha; Stam, Andries; Baier, Christel; Blechmann, Tobias; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Yi, Wang. The Credo Methodology (Extended Version). (fulltekst) (omtale) Lecture Notes in Computer Science (LNCS) 2010; Volum 6286. ISSN 0302-9743.s 41 - 69.

  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf; Balasingham, Ilangko. Power-Efficient Sensor Networkds: Modeling, Simulation and Verification. 2010 (57) ISBN 978-952-12-2478-2. ISSN 1239-1905.s 76 - 78.

  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 2010 (57) ISBN 978-952-12-2478-2. ISSN 1239-1905.s 26 - 27.

  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. Safe Locking for multi-threaded Java (extended abstract). 2010 (57) ISBN 978-952-12-2478-2. ISSN 1239-1905.s 5 - 7.

  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Deployment Components with Parametric Concurrency. 2010 (57) ISBN 978-952-12-2478-2. ISSN 1239-1905.s 23 - 25.

  • Lian, Espen Hallenstvedt; Johnsen, Einar Broch; Waaler, Arild. Confluent Term Rewriting for Only-knowing Logics. (omtale) Frontiers in Artificial Intelligence and Applications 2010; Volum 222. ISSN 0922-6389.s 162 - 174.

  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Cristel; Blechmann, Tobias; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Klein, Joachim; Klüppelholz, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Yi, Wang. Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electronical Notes in Theoretical Computer Science 2010; Volum 266. ISSN 1571-0661.s 33 - 48.

  • de Boer, Frank; Jaghoori, Mohammad Mahdi; Johnsen, Einar Broch. Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. (omtale) Lecture Notes in Computer Science (LNCS) 2010; Volum 6269. ISSN 0302-9743.s 1 - 18.

  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Dynamic Resource Reallocation between Deployment Components. (omtale) Lecture Notes in Computer Science (LNCS) 2010; Volum 6447. ISSN 0302-9743.s 646 - 661.

  • Bjørk, Joakim; Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf. Lightweight Time Modeling in Timed Creol. Electronic Proceedings in Theoretical Computer Science 2010; Volum 36. ISSN 2075-2180.s 67 - 81.

  • Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf. Concurrent Objects a la Carte. (omtale) Lecture Notes in Computer Science (LNCS) 2010; Volum 5930. ISSN 0302-9743.s 185 - 206.

  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf; Balasingham, Ilangko. Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. (omtale) Lecture Notes in Computer Science (LNCS) 2010; Volum 6119. ISSN 0302-9743.s 95 - 109.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Encapsulating Lazy Behavioral Subtyping. 2009 ISBN 9999999999.s 72 - 87.

  • Johnsen, Einar Broch; Kyas, Marcel; Vibe, Ingrid Chieh Yu De. Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. (omtale) Lecture Notes in Computer Science (LNCS) 2009; Volum 5850. ISSN 0302-9743.s 596 - 611.

  • Griesmayer, Andreas; Aichernig, Bernhard; Johnsen, Einar Broch; Schlatte, Rudolf. Dynamic Symbolic Execution for Testing Distributed Objects. (omtale) Lecture Notes in Computer Science (LNCS) 2009; Volum 5668. ISSN 0302-9743.s 105 - 120.

  • Griesmayer, Andreas; Aichernig, Bernhard; Johnsen, Einar Broch; Schlatte, Rudolf. Dynamic Symbolic Execution of Distributed Concurrent Objects. (omtale) Lecture Notes in Computer Science (LNCS) 2009; Volum 5522. ISSN 0302-9743.s 225 - 230.

  • Holen, Bjarne; Johnsen, Einar Broch; Waaler, Arild. Proof Search for the First-Order Connection Calculus in Maude. (omtale) Electronical Notes in Theoretical Computer Science 2009; Volum 238. ISSN 1571-0661.s 173 - 188.

  • Kyas, Marcel; Johnsen, Einar Broch. A Real-Time Extension of Creol for Modelling Biomedical Sensors. (omtale) Lecture Notes in Computer Science (LNCS) 2009; Volum 5751. ISSN 0302-9743.s 42 - 60.

  • Aichernig, Bernhard; Griesmayer, Andreas; Johnsen, Einar Broch; Schlatte, Rudolf; Stam, Andries. Conformance Testing of Distributed Concurrent Systems with Executable Designs. (omtale) Lecture Notes in Computer Science (LNCS) 2009; Volum 5751. ISSN 0302-9743.s 61 - 81.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Incremental Reasoning for Multiple Inheritance. (omtale) Lecture Notes in Computer Science (LNCS) 2009; Volum 5423. ISSN 0302-9743.s 215 - 230.

  • Johnsen, Einar Broch; Blanchette, Jasmin; Kyas, Marcel; Owe, Olaf. Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. (omtale) Electronical Notes in Theoretical Computer Science 2009; Volum 243. ISSN 1571-0661.s 89 - 103.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Lazy Behavioral Subtyping (extended abstract). 2008 ISBN 978-9949-430-24-6.

  • Johnsen, Einar Broch; Owe, Olaf; Torjusen, Arild Braathen. Validating Behavioral Component Interfaces in Rewriting Logic. (omtale) Fundamenta Informaticae 2008; Volum 82. ISSN 0169-2968.s 1 - 19.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. (omtale) Electronical Notes in Theoretical Computer Science 2008; Volum 203. ISSN 1571-0661.s 19 - 34.

  • Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel. An Object-Oriented Component Model for Heterogeneous Nets. (omtale) Lecture Notes in Computer Science (LNCS) 2008; Volum 5382. ISSN 0302-9743.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Lazy Behavioral Subtyping. (omtale) Lecture Notes in Computer Science (LNCS) 2008; Volum 5014. ISSN 0302-9743.s 52 - 67.

  • Johnsen, Einar Broch; Vibe, Ingrid Chieh Yu De. Backwards type analysis of asynchronous method calls. Journal of Logic and Algebraic Programming 2008; Volum 77 (1-2). ISSN 1567-8326.s 40 - 59.s doi: 10.1016/j.jlap.2008.05.004.

  • Schlatte, Rudolf; Aichernig, B.K.; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch. Testing Concurrent Objects with Application-Specific Schedulers. (omtale) Lecture Notes in Computer Science (LNCS) 2008; Volum 5060. ISSN 0302-9743.s 319 - 333.

  • Clarke, Dave; Wrigstad, Tobias; Östlund, Johan; Johnsen, Einar Broch. Minimal Ownership for Active Objects. Lecture Notes in Computer Science (LNCS) 2008; Volum 5356. ISSN 0302-9743.s 139 - 154.

  • de Boer, Frank; Clarke, Dave; Johnsen, Einar Broch. A Complete Guide to the Future. (omtale) Lecture Notes in Computer Science (LNCS) 2007; Volum 4421. ISSN 0302-9743.s 316 - 330.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. 2007.s 15 - 39.

  • Johnsen, Einar Broch; Schneider, Gerardo; Torget, Øystein. Runtime Validation of Communication Histories. 2006 ISBN 9789736622335.s 161 - 168.

  • Johnsen, Einar Broch; Yu, Ingrid Chieh. Backwards Type Analysis of Asynchronous Method Calls. 2006.

  • Bortyn, Maksym; Johnsen, Einar Broch; Luth, Christoph. Structured formal development in Isabelle. Nordic Journal of Computing 2006; Volum 13 (1/2). ISSN 1236-6064.s 2 - 21.

  • Yu, Ingrid Chieh; Johnsen, Einar Broch; Owe, Olaf. Type-safe runtime class upgrades in Creol. Lecture Notes in Computer Science (LNCS) 2006; Volum 4037. ISSN 0302-9743.s 202 - 217.

  • Johnsen, Einar Broch; Owe, Olaf; Torjusen, Arild Braathen. Validating Behavioral Component Interfaces in Rewriting Logic. Electronical Notes in Theoretical Computer Science 2006; Volum 159. ISSN 1571-0661.s 187 - 204.

  • Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh. Creol: A type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science 2006; Volum 365. ISSN 0304-3975.s 23 - 66.s doi: 10.1016/j.tcs.2006.07.031.

  • Johnsen, Einar Broch; Owe, Olaf. An Asynchronous Communication Model for Distributed Concurrent Objects. (fulltekst) Journal of Software and Systems Modeling 2006. ISSN 1619-1366.s doi: 0.1007/s10270-006-0011-2.

  • Johnsen, Einar Broch; Owe, Olaf. Inheritance in the Presence of Asynchronous Method Calls. IEEE 2005 ISBN 0-7695-2268-8.

  • Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W.. A Run-time Environment for Concurrent Objects with Asynchronous Method Calls. Electronical Notes in Theoretical Computer Science 2005 (117). ISSN 1571-0661.s 375 - 392.

  • Johnsen, Einar Broch; Owe, Olaf. A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. Lecture Notes in Computer Science (LNCS) 2005; Volum 3657. ISSN 0302-9743.s 274 - 295.

  • Johnsen, Einar Broch; Owe, Olaf; Simplot-Ryl, Isabelle. A dynamic class construct for asynchronous concurrent objects. Lecture Notes in Computer Science (LNCS) 2005; Volum 3535. ISSN 0302-9743.s 15 - 30.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Verification of Concurrent Objects with Asynchronous Method Calls. IEEE 2005 ISBN 0-7695-2335-8.s 141 - 151.

  • Johnsen, Einar Broch; Owe, Olaf. Object-Oriented Specification and Open Distributed Systems. Springer 2004 ISBN 3-540-21366-X.s 137 - 164.

  • Johnsen, Einar Broch; Owe, Olaf. Object-oriented specification and open distributed systems. Lecture Notes in Computer Science (LNCS) 2004; Volum 2635. ISSN 0302-9743.s 137 - 164.

  • Johnsen, Einar Broch; Luth, C. Theorem reuse by proof term transformation. Lecture Notes in Computer Science (LNCS) 2004; Volum 3223. ISSN 0302-9743.s 152 - 167.

  • Johnsen, Einar Broch; Luth, Christoph. Abstracting Refinements for Transformation. Nordic Journal of Computing 2003; Volum 10. ISSN 1236-6064.s 313 - 336.

  • Fava, Daniel Schnetzer; Johnsen, Einar Broch; Owe, Olaf. Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo 2018 ISBN 978-82-7368-450-9.s 70 - 72.

  • de Paoli, Flavio; Schulte, Stephan; Johnsen, Einar Broch. Service-Oriented and Cloud Computing - 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. Springer 2017 (10465) ISBN 978-3-319-67261-8. ISSN 0302-9743.

  • Johnsen, Einar Broch; Gabmeyer, Sebastian. Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings.. Springer 2017 (10375) ISBN 978-3-319-61466-3. ISSN 0302-9743.

  • Ábrahám, Erika; Bonsangue, Marcello; Johnsen, Einar Broch. Theory and practice of formal methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. (data) Springer Publishing Company 2016; Volum LNCS 9660 (.) ISBN 978-3-319-30733-6. ISSN 0302-9743.s 7 - 8.

  • Bernardo, Marco; Johnsen, Einar Broch. Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures. Springer 2015 (9104) ISBN 978-3-319-18940-6. ISSN 0302-9743.

  • Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina. Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Springer Publishing Company 2014 (8483) ISBN 978-3-319-07316-3. ISSN 0302-9743.

  • Johnsen, Einar Broch; Petre, Luigia. Proc. 10th Intl. Conf. on Integrated Formal Methods (iFM 2013). Springer 2013; Volum 7940 (7940) ISBN 978-3-642-38612-1. ISSN 0302-9743.

  • Petre, Luigia; Sere, Kaisa; Troubitsyna, Elena; Johnsen, Einar Broch. NODES'07 - Nordic Workshop and Doctoral Symposium on Dependability and Security. Åbo Akademis Förlag 2007 ISBN 9789521219511.

  • Johnsen, Einar Broch; Owe, Olaf; Schneider, Gerardo. NWPT07/Flacos'07 Workshop Proceedings. Unipub forlag 2007 ISBN 82-7368-324-9.

  • Johnsen, Einar Broch; Bonsangue, Marcello. 9th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07). Springer 2007 (4468) ISBN 978-3540729198. ISSN 0302-9743.

  • Johnsen, Einar Broch. Planning and Scheduling at SIRIUS. SAP/SIRIUS introduction 2017-08-01 - 2017-12-31 2017.

  • Johnsen, Einar Broch. Cloud computing: Predicting behaviour using models. BigInsight Seminar 2017-01-01 - 2017-12-31 2017.

  • Johnsen, Einar Broch. Model-Based Analysis of Software Systems, with Applications to Planning Processes. Planning workshop 2017-01-01 - 2018-12-31 2017.

  • Gabmeyer, Sebastian; Johnsen, Einar Broch. Preface. Lecture Notes in Computer Science (LNCS) 2017; Volum 10375 LNCS. ISSN 0302-9743.s VII - .

  • Ábrahám, Erika; Bonsangue, Marcello; Johnsen, Einar Broch. Preface. (data) Springer Publishing Company 2016; Volum LNCS 9660 (.) ISBN 978-3-319-30733-6. ISSN 0302-9743.s 7 - 8.

  • Aiello, Marco; Johnsen, Einar Broch; Dustdar, Schahram; Georgievski, Ilche. Preface. Lecture Notes in Computer Science (LNCS) 2016; Volum 9846. ISSN 0302-9743.s V - VI.

  • Johnsen, Einar Broch; Lin, Jia-Chun; Yu, Ingrid Chieh. AWS deployments using model-based predictions. the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) 2016-10-05 - 2016-10-14 2016.

  • Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch; Lee, Ming-Chang. ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. 19th International Conference on Fundamental Approaches to Software Engineering 2016-04-02 - 2016-04-08 2016.

  • Johnsen, Einar Broch; Petre, Luigia. Theme issue on Integrated Formal Methods. Journal of Software and Systems Modeling 2015. ISSN 1619-1366.s 1 - 3.s doi: 10.1007/s10270-015-0510-0.

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. An Operational Semantics of Cache Coherent Multicore Architectures. 2015.

  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh. Meeting Deadlines, Elastically.. 2015 ISBN 978-82-7368-408-0.

  • Johnsen, Einar Broch. Mind the Gap: At the Crossroads of Design, Implementation, and Foundations. Springer 2015; Volum 9154 (.) ISBN 978-3-319-21214-2. ISSN 0302-9743.s 15 - 15.

  • Butler, Michael; Johnsen, Einar Broch; Petre, Luigia. Editorial. Formal Aspects of Computing 2015; Volum 27 (4). ISSN 0934-5043.s 611 - 612.s doi: 10.1007/s00165-015-0338-y.

  • Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture Notes in Computer Science (LNCS) 2014; Volum 8483 LNCS. ISSN 0302-9743.s V - VI.s doi: 10.1007/978-3-319-07317-0.

  • Johnsen, Einar Broch. Lavtrykk i dataskyen. Aftenposten (morgenutg. : trykt utg.) 2013. ISSN 0804-3116.

  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. Safe Locking for Multi-Threaded Java. (data) Universitetet i Oslo 2010 ISBN 82-7368-364-8.

  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 22nd Nordic Workshop on Programming Theory (NWPT'2010) 2010-11-10 - 2010-11-12 2010.

  • Clarke, Dave; Diakov, Nikolay; Hähnle, Reiner; Johnsen, Einar Broch; Puebla, Germán; Weitzel, Balthazar; Wong, Peter Y. H.. HATS - A Formal Software Product Line Engineering Methodology. International Workshop on Formal Methods in Software Product Line Engineering 2010-09-14 - 2010-09-14 2010.

  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. Safe Locking for multi-threaded Java (extended abstract). 22nd Nordic Workshop on Programming Theory (NWPT'2010) 2010-11-10 - 2010-11-12 2010.

  • Stolz, Volker; Johnsen, Einar Broch. Preface TTSS 2009. Electronical Notes in Theoretical Computer Science 2010; Volum 266. ISSN 1571-0661.s 1 - 2.

  • Bonsangue, Marcello; Johnsen, Einar Broch; Murphy, A; Vitek, J. Distributed Computing Techniques Preface. Theoretical Computer Science 2009; Volum 410 (2-3). ISSN 0304-3975.s 113 - 113.s doi: 10.1016/j.tcs.2008.09.039.

  • Johnsen, Einar Broch; Owe, Olaf; Schneider, Gerardo. Special Issue The 19th Nordic Workshop on Programming Theory (NWPT 2007) Foreword. Journal of Logic and Algebraic Programming 2009; Volum 78 (7). ISSN 1567-8326.s VII - VII.s doi: 10.1016/j.jlap.2009.06.001.

  • Liang, Xuedong; Balasingham, Ilangko; Owe, Olaf; Johnsen, Einar Broch. QoS Provisioning for Wireless Sensor Networks: Algorithms, Protocols and Modeling. Unipub forlag 2009 (918). ISSN 1501-7710.

  • Owe, Olaf; Dovland, Johan; Johnsen, Einar Broch. Incremental Reasoning about Distributed Object-Oriented Systems. Unipub forlag 2009 (846). ISSN 1501-7710.

  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Christel; Blechmann, Tobias; Boer, de Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Klein, Joachim; Klüppelholz, Sascha, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Wang, Yi; Grabe, Immo; Boer, Frank de; Broch Johnsen, Einar; Klüppelholz, Sascha; Kyas, Marcel; Yi, Wang. Credo methodology - Modeling and analyzing a peer-to-peer system in Credo. The 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'09) 2009-08-17 - 2009-08-17 2009.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Lazy Behavioral Subtyping. (fulltekst) 2008 ISBN 82-7368-326-5.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Incremental Reasoning for Multiple Inheritance. 2008 ISBN 82-7368-333-8.

  • Johnsen, Einar Broch. Modeling Reconfigurable Distributed Concurrent Objects. Intl. Symp. on Formal Methods for Components and Objects (FMCO 2007) 2007-10-24 - 2007-10-26 2007.

  • Johnsen, Einar Broch. Open distributed systems: An executable OO model. IFIP WG2.2 "Formal Description of Programming Concepts" Scientific Meeting 2007-09-17 - 2007-09-19 2007.

  • Johnsen, Einar Broch. Creol: A Formal Model of Distributed Concurrent Systems. 6th International KeY Symposium 2007-06-14 - 2007-06-16 2007.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Workshop on the Foundations of Interactive Computation (FInCo'07). 2007-03-31 - 2007.

  • Johnsen, Einar Broch; Owe, Olaf. Creol (Concurrent REflective Language). Birkeland Dagen 2007-09-14 - 2007.

  • Johnsen, Einar Broch; Schneider, Gerardo; Torget, Øystein. Runtime verification of communication histories. ICCP'06 2006-09-01 - 2006-09-02 2006.

  • Holen, Bjarne; Johnsen, Einar Broch; Waaler, Arild. Representing Strategies for the Connection Calculus in Rewriting Logic. FTP'2005 International Workshop on First-Order Theorem Proving 2005-09-14 - 2005-09-17 2005.

  • Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh. Creol: A Type-Safe Object-Oriented Model for Distributed Concurrent Systems. 2005 (327). ISSN 0806-3036.

  • Luth, Christoph; Johnsen, Einar Broch; Bortin, Maksym. Structured Formal Development in Isabelle. Nordic Workshop in Programming Theory 2005-10-01 - 2005.

  • Holen, Bjarne; Johnsen, Einar Broch; Waaler, Arild. Representing Strategies for the Connection Calculus in Rewriting Logic. First-Order Theorem Proving (FTP 2005) 2005-09-01 - 2005.

  • Johnsen, Einar Broch. Creol: A formal executable model of evolving distributed concurrent objects. Gjesteforelesning Univ. i Uppsala 2005-06-07 - 2005.

  • Johnsen, Einar Broch. Creol: A formal executable model of evolving distributed concurrent objects. Gjesteforelesning Chalmers 2005-05-23 - 2005.

  • Johnsen, Einar Broch. Creol: A formal executable model of evolving distributed concurrent objects. Gjesteforelesning CWI 2005-05-20 - 2005.

  • Johnsen, Einar Broch; Owe, Olaf; Torjusen, Arild Braathen. Validating Behavioral Component Interfaces in Rewriting Logic. IPM International Workshop on Foundations of Software Engineering 2005-10-01 - 2005-10-03 2005.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Verification of Concurrent Objects with Asynchronous Method Calls. IEEE International Software Conference - Software, Technology & Engineering 2005-02-22 - 2005-02-23 2005.

  • Johnsen, Einar Broch; Owe, Olaf. Inheritance in the Presence of Asynchronous Method Calls. 38th Hawaii Intl. Conf. on System Sciences (HICSS 2005) 2005-01-03 - 2005-01-06 2005.

  • Johnsen, Einar Broch. Creol: A formal executable model of upgradeable distributed objects. Gjesteforelesning Univ. i Lille 2005-03-21 - 2005.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. A Hoare Logic for Concurrent Objects with Asynchronous Method Calls. 2004 (315) ISBN 82-7368-268-4. ISSN 0806-3036.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. A Hoare Logic for Objects with Asynchronous Method Calls. Nordic Workshop in Programming Theory 2004-10-06 - 2004-10-08 2004.

  • Johnsen, Einar Broch. A Run-time Environment for Concurrent Objects with Asynchronous Method Calls. Gjesteforelesning, Univ. i Bremen, Tyskland 2004-02-13 - 2004.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Reasoning about Asynchronous Method Calls and Inheritance. Norsk Informatikkonferanse (NIK 2004) 2004-11-29 - 2004-12-01 2004.

  • Axelsen, Eyvind W.; Johnsen, Einar Broch; Owe, Olaf. Toward Reflective Application Testing in Open Environments. Norsk Informatikkonferanse (NIK 2004) 2004-11-29 - 2004-12-01 2004.

  • Johnsen, Einar Broch; Owe, Olaf. An Asynchronous Communication Model for Distributed Concurrent Objects. 2nd Intl. Conf. on Software Engineering and Formal Methods (SEFM 2004) 2004-09-28 - 2004-09-30 2004.

  • Johnsen, Einar Broch; Luth, Christoph. Theorem Reuse by Proof Term Transformation. 17th Intl. Conf. on Theorem Proving in Higher-Order Logics (TPHOLs 2004) 2004-09-14 - 2004-09-17 2004.

  • Johnsen, Einar Broch; Luth, Christoph; Bortin, Maksym. An Approach to Transformational Development in Logical Frameworks (ext. abstract). 14th Intl. Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2004) 2004-08-26 - 2004-08-28 2004.

  • Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W.. A Run-time Environment for Concurrent Objects with Asynchronous Method Calls. 5th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2004) 2004-03-27 - 2004-03-28 2004.

  • Johnsen, Einar Broch; Owe, Olaf; Arnestad, Marte. Combining Active and Reactive behaviour in Concurrent Objects. Norsk Informatikkonferanse 2003-11-01 - 2003.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Reasoning about Object Oriented and Distributed Systems in Presence of Asyncronous Method Calls. Nordic Workshop on Programming Theory 2003-10-29 - 2003-10-31 2003.

  • Johnsen, Einar Broch. Incremental Reasoning about Exceptions. Gjesteforelesning, Universitetet i Freiburg, Tyskland 2002-05-01 - 2002.

  • Johnsen, Einar Broch. Formal Viewpoint Specification of Open Distributed Systems. 2002.

  • Johnsen, Einar Broch; Luth, Christoph. Abstracting Refinements for Transformation. Nordic Workshop in Programming Theory 2002-11-01 - 2002.

  • Johnsen, Einar Broch; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie B.; Johnsen, Einar; Aredo, Demissie. Combining Graphical and Formal Development of Open Distributed Systems. 3rd International Conference on Integrated Formal Methods (IFM 2002) (fulltekst) 2002-05-15 - 2003-05-18 2002.

  • Johnsen, Einar Broch; Owe, Olaf. A Compositional Formalism for Object Viewpoints. 5th Int. Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2002) 2002-03-20 - 2002-03-22 2002.

  • Johnsen, Einar Broch; Owe, Olaf. Composition and Refinement for Partial Object Specifications. 16th International Parallel & Distributed Processing Symposium (IPDPS'2002) 2002-04-15 - 2002-04-19 2002.

  • Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen; Vain, Juri. Incremental Fault-Tolerant Design in an Object Oriented Setting. Asian Pacific Conference on Quality Software (APAQS'01) 2001-12-10 - 2001-12-12 2001.

  • Johnsen, Einar Broch; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie B.. Combining Graphical and Formal Specification: the Software Bus Case Study. 2001 (297) ISBN 82-7368-247-1. ISSN 0806-3036.

  • Johnsen, Einar Broch; Owe, Olaf. A PVS Proof Environment for OUN. 2001 (295) ISBN 82-7368-245-5. ISSN 0806-3036.

  • Johnsen, Einar Broch. Viewpoint Specification of Distributed Systems. Gjesteforelesning, Universitetet i Kiel, Tyskland 2002-01-01 - 2001.

  • Johnsen, Einar Broch. Viewpoint Specification of Distributed Systems. Universitetet i Bremen 2001-09-01 - 2001.

  • Johnsen, Einar Broch. Compositional Refinement of Aspectwise Specifications. Norsk Regnesentral 2001-11-01 - 2001.

  • Johnsen, Einar Broch. Formelle metoder for aspekt-orienterte dynamiske systemer. Norsk Forskningsråds IKT-seminar 2001-11-01 - 2001.

  • Johnsen, Einar Broch; Owe, Olaf; Runde, Ragnhild Kobro. The Oslo School on Formalization of Distributed Systems. Nordic Workshop on Progamming Theory 2001-10-01 - 2001.

  • Johnsen, Einar Broch; Owe, Olaf. A Proof Environment for Partial Specifications in OUN. Norwegian Informatics Conference 2001-11-01 - 2001.

  • Johnsen, Einar Broch; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie B.. Specification of distributed systems with a combination of graphical and formal languages. Asian Pacific Software Engineering Conference (APSEC'01), IEEE press 2001-12-04 - 2001-12-07 2001.

  • Zhang, Wenhui; Johnsen, Einar Broch; Owe, Olaf; Aredo, Demissie B.. Integrating UML and OUN for Specification of Open Distributed Systems. IEEE Symposia on Human-Centric Computing Languages and Environments 2001-09-01 - 2001-09-02 2001.

  • Johnsen, Einar Broch. An Exercise in Fault Tolerance. Norsk Informatikkonferanse 2000-11-01 - 2000.

  • Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen; Vain, Juri. Incremental Design of Dependable Systems in OUN. 2000 (293) ISBN 82-7368-242-0. ISSN 0806-3036.

  • Johnsen, Einar Broch. Composition and Refinement for Partially Described Objects. Nordic Workshop in Programming Theory 2000-10-01 - 2000.

  • Halvorsen, Trine Grønhaug; Christensen, Hege Staaland; Nordbø, Kirsten; Johnsen, Einar Broch; Krogh, Mette. Automated Determination of Citalopram and N-desmethylcitalopram with On-line Dialysis and High-Performance Liquid Chromatography. 10th International Symposium on Pharmaceutical and Biomedical Analysis 1999-05-09 - 1999.

  • Morstad, Marius; Johnsen, Einar Broch. Sportsklatring. 1997 (21) ISBN 82-502-0323-2.

  • Johnsen, Einar Broch. Planning and Scheduling at SIRIUS. SAP/SIRIUS introduction 2017-08-01 - 2017-12-31 2017.

  • Johnsen, Einar Broch. Cloud computing: Predicting behaviour using models. BigInsight Seminar 2017-01-01 - 2017-12-31 2017.

  • Johnsen, Einar Broch. Model-Based Analysis of Software Systems, with Applications to Planning Processes. Planning workshop 2017-01-01 - 2018-12-31 2017.

  • Gabmeyer, Sebastian; Johnsen, Einar Broch. Preface. Lecture Notes in Computer Science (LNCS) 2017; Volum 10375 LNCS. ISSN 0302-9743.s VII - .

  • Ábrahám, Erika; Bonsangue, Marcello; Johnsen, Einar Broch. Preface. (data) Springer Publishing Company 2016; Volum LNCS 9660 (.) ISBN 978-3-319-30733-6. ISSN 0302-9743.s 7 - 8.

  • Aiello, Marco; Johnsen, Einar Broch; Dustdar, Schahram; Georgievski, Ilche. Preface. Lecture Notes in Computer Science (LNCS) 2016; Volum 9846. ISSN 0302-9743.s V - VI.

  • Johnsen, Einar Broch; Lin, Jia-Chun; Yu, Ingrid Chieh. AWS deployments using model-based predictions. the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) 2016-10-05 - 2016-10-14 2016.

  • Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch; Lee, Ming-Chang. ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. 19th International Conference on Fundamental Approaches to Software Engineering 2016-04-02 - 2016-04-08 2016.

  • Johnsen, Einar Broch; Petre, Luigia. Theme issue on Integrated Formal Methods. Journal of Software and Systems Modeling 2015. ISSN 1619-1366.s 1 - 3.s doi: 10.1007/s10270-015-0510-0.

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. An Operational Semantics of Cache Coherent Multicore Architectures. 2015.

  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh. Meeting Deadlines, Elastically.. 2015 ISBN 978-82-7368-408-0.

  • Johnsen, Einar Broch. Mind the Gap: At the Crossroads of Design, Implementation, and Foundations. Springer 2015; Volum 9154 (.) ISBN 978-3-319-21214-2. ISSN 0302-9743.s 15 - 15.

  • Butler, Michael; Johnsen, Einar Broch; Petre, Luigia. Editorial. Formal Aspects of Computing 2015; Volum 27 (4). ISSN 0934-5043.s 611 - 612.s doi: 10.1007/s00165-015-0338-y.

  • Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture Notes in Computer Science (LNCS) 2014; Volum 8483 LNCS. ISSN 0302-9743.s V - VI.s doi: 10.1007/978-3-319-07317-0.

  • Johnsen, Einar Broch. Lavtrykk i dataskyen. Aftenposten (morgenutg. : trykt utg.) 2013. ISSN 0804-3116.

  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. Safe Locking for Multi-Threaded Java. (data) Universitetet i Oslo 2010 ISBN 82-7368-364-8.

  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 22nd Nordic Workshop on Programming Theory (NWPT'2010) 2010-11-10 - 2010-11-12 2010.

  • Clarke, Dave; Diakov, Nikolay; Hähnle, Reiner; Johnsen, Einar Broch; Puebla, Germán; Weitzel, Balthazar; Wong, Peter Y. H.. HATS - A Formal Software Product Line Engineering Methodology. International Workshop on Formal Methods in Software Product Line Engineering 2010-09-14 - 2010-09-14 2010.

  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. Safe Locking for multi-threaded Java (extended abstract). 22nd Nordic Workshop on Programming Theory (NWPT'2010) 2010-11-10 - 2010-11-12 2010.

  • Stolz, Volker; Johnsen, Einar Broch. Preface TTSS 2009. Electronical Notes in Theoretical Computer Science 2010; Volum 266. ISSN 1571-0661.s 1 - 2.

  • Bonsangue, Marcello; Johnsen, Einar Broch; Murphy, A; Vitek, J. Distributed Computing Techniques Preface. Theoretical Computer Science 2009; Volum 410 (2-3). ISSN 0304-3975.s 113 - 113.s doi: 10.1016/j.tcs.2008.09.039.

  • Johnsen, Einar Broch; Owe, Olaf; Schneider, Gerardo. Special Issue The 19th Nordic Workshop on Programming Theory (NWPT 2007) Foreword. Journal of Logic and Algebraic Programming 2009; Volum 78 (7). ISSN 1567-8326.s VII - VII.s doi: 10.1016/j.jlap.2009.06.001.

  • Liang, Xuedong; Balasingham, Ilangko; Owe, Olaf; Johnsen, Einar Broch. QoS Provisioning for Wireless Sensor Networks: Algorithms, Protocols and Modeling. Unipub forlag 2009 (918). ISSN 1501-7710.

  • Owe, Olaf; Dovland, Johan; Johnsen, Einar Broch. Incremental Reasoning about Distributed Object-Oriented Systems. Unipub forlag 2009 (846). ISSN 1501-7710.

  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Christel; Blechmann, Tobias; Boer, de Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Klein, Joachim; Klüppelholz, Sascha, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Wang, Yi; Grabe, Immo; Boer, Frank de; Broch Johnsen, Einar; Klüppelholz, Sascha; Kyas, Marcel; Yi, Wang. Credo methodology - Modeling and analyzing a peer-to-peer system in Credo. The 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'09) 2009-08-17 - 2009-08-17 2009.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Lazy Behavioral Subtyping. (fulltekst) 2008 ISBN 82-7368-326-5.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin. Incremental Reasoning for Multiple Inheritance. 2008 ISBN 82-7368-333-8.

  • Johnsen, Einar Broch. Modeling Reconfigurable Distributed Concurrent Objects. Intl. Symp. on Formal Methods for Components and Objects (FMCO 2007) 2007-10-24 - 2007-10-26 2007.

  • Johnsen, Einar Broch. Open distributed systems: An executable OO model. IFIP WG2.2 "Formal Description of Programming Concepts" Scientific Meeting 2007-09-17 - 2007-09-19 2007.

  • Johnsen, Einar Broch. Creol: A Formal Model of Distributed Concurrent Systems. 6th International KeY Symposium 2007-06-14 - 2007-06-16 2007.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Workshop on the Foundations of Interactive Computation (FInCo'07). 2007-03-31 - 2007.

  • Johnsen, Einar Broch; Owe, Olaf. Creol (Concurrent REflective Language). Birkeland Dagen 2007-09-14 - 2007.

  • Johnsen, Einar Broch; Schneider, Gerardo; Torget, Øystein. Runtime verification of communication histories. ICCP'06 2006-09-01 - 2006-09-02 2006.

  • Holen, Bjarne; Johnsen, Einar Broch; Waaler, Arild. Representing Strategies for the Connection Calculus in Rewriting Logic. FTP'2005 International Workshop on First-Order Theorem Proving 2005-09-14 - 2005-09-17 2005.

  • Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh. Creol: A Type-Safe Object-Oriented Model for Distributed Concurrent Systems. 2005 (327). ISSN 0806-3036.

  • Luth, Christoph; Johnsen, Einar Broch; Bortin, Maksym. Structured Formal Development in Isabelle. Nordic Workshop in Programming Theory 2005-10-01 - 2005.

  • Holen, Bjarne; Johnsen, Einar Broch; Waaler, Arild. Representing Strategies for the Connection Calculus in Rewriting Logic. First-Order Theorem Proving (FTP 2005) 2005-09-01 - 2005.

  • Johnsen, Einar Broch. Creol: A formal executable model of evolving distributed concurrent objects. Gjesteforelesning Univ. i Uppsala 2005-06-07 - 2005.

  • Johnsen, Einar Broch. Creol: A formal executable model of evolving distributed concurrent objects. Gjesteforelesning Chalmers 2005-05-23 - 2005.

  • Johnsen, Einar Broch. Creol: A formal executable model of evolving distributed concurrent objects. Gjesteforelesning CWI 2005-05-20 - 2005.

  • Johnsen, Einar Broch; Owe, Olaf; Torjusen, Arild Braathen. Validating Behavioral Component Interfaces in Rewriting Logic. IPM International Workshop on Foundations of Software Engineering 2005-10-01 - 2005-10-03 2005.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Verification of Concurrent Objects with Asynchronous Method Calls. IEEE International Software Conference - Software, Technology & Engineering 2005-02-22 - 2005-02-23 2005.

  • Johnsen, Einar Broch; Owe, Olaf. Inheritance in the Presence of Asynchronous Method Calls. 38th Hawaii Intl. Conf. on System Sciences (HICSS 2005) 2005-01-03 - 2005-01-06 2005.

  • Johnsen, Einar Broch. Creol: A formal executable model of upgradeable distributed objects. Gjesteforelesning Univ. i Lille 2005-03-21 - 2005.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. A Hoare Logic for Concurrent Objects with Asynchronous Method Calls. 2004 (315) ISBN 82-7368-268-4. ISSN 0806-3036.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. A Hoare Logic for Objects with Asynchronous Method Calls. Nordic Workshop in Programming Theory 2004-10-06 - 2004-10-08 2004.

  • Johnsen, Einar Broch. A Run-time Environment for Concurrent Objects with Asynchronous Method Calls. Gjesteforelesning, Univ. i Bremen, Tyskland 2004-02-13 - 2004.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Reasoning about Asynchronous Method Calls and Inheritance. Norsk Informatikkonferanse (NIK 2004) 2004-11-29 - 2004-12-01 2004.

  • Axelsen, Eyvind W.; Johnsen, Einar Broch; Owe, Olaf. Toward Reflective Application Testing in Open Environments. Norsk Informatikkonferanse (NIK 2004) 2004-11-29 - 2004-12-01 2004.

  • Johnsen, Einar Broch; Owe, Olaf. An Asynchronous Communication Model for Distributed Concurrent Objects. 2nd Intl. Conf. on Software Engineering and Formal Methods (SEFM 2004) 2004-09-28 - 2004-09-30 2004.

  • Johnsen, Einar Broch; Luth, Christoph. Theorem Reuse by Proof Term Transformation. 17th Intl. Conf. on Theorem Proving in Higher-Order Logics (TPHOLs 2004) 2004-09-14 - 2004-09-17 2004.

  • Johnsen, Einar Broch; Luth, Christoph; Bortin, Maksym. An Approach to Transformational Development in Logical Frameworks (ext. abstract). 14th Intl. Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2004) 2004-08-26 - 2004-08-28 2004.

  • Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W.. A Run-time Environment for Concurrent Objects with Asynchronous Method Calls. 5th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2004) 2004-03-27 - 2004-03-28 2004.

  • Johnsen, Einar Broch; Owe, Olaf; Arnestad, Marte. Combining Active and Reactive behaviour in Concurrent Objects. Norsk Informatikkonferanse 2003-11-01 - 2003.

  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Reasoning about Object Oriented and Distributed Systems in Presence of Asyncronous Method Calls. Nordic Workshop on Programming Theory 2003-10-29 - 2003-10-31 2003.

  • Johnsen, Einar Broch. Incremental Reasoning about Exceptions. Gjesteforelesning, Universitetet i Freiburg, Tyskland 2002-05-01 - 2002.

  • Johnsen, Einar Broch. Formal Viewpoint Specification of Open Distributed Systems. 2002.

  • Johnsen, Einar Broch; Luth, Christoph. Abstracting Refinements for Transformation. Nordic Workshop in Programming Theory 2002-11-01 - 2002.

  • Johnsen, Einar Broch; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie B.; Johnsen, Einar; Aredo, Demissie. Combining Graphical and Formal Development of Open Distributed Systems. 3rd International Conference on Integrated Formal Methods (IFM 2002) (fulltekst) 2002-05-15 - 2003-05-18 2002.

  • Johnsen, Einar Broch; Owe, Olaf. A Compositional Formalism for Object Viewpoints. 5th Int. Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2002) 2002-03-20 - 2002-03-22 2002.

  • Johnsen, Einar Broch; Owe, Olaf. Composition and Refinement for Partial Object Specifications. 16th International Parallel & Distributed Processing Symposium (IPDPS'2002) 2002-04-15 - 2002-04-19 2002.

  • Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen; Vain, Juri. Incremental Fault-Tolerant Design in an Object Oriented Setting. Asian Pacific Conference on Quality Software (APAQS'01) 2001-12-10 - 2001-12-12 2001.

  • Johnsen, Einar Broch; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie B.. Combining Graphical and Formal Specification: the Software Bus Case Study. 2001 (297) ISBN 82-7368-247-1. ISSN 0806-3036.

  • Johnsen, Einar Broch; Owe, Olaf. A PVS Proof Environment for OUN. 2001 (295) ISBN 82-7368-245-5. ISSN 0806-3036.

  • Johnsen, Einar Broch. Viewpoint Specification of Distributed Systems. Gjesteforelesning, Universitetet i Kiel, Tyskland 2002-01-01 - 2001.

  • Johnsen, Einar Broch. Viewpoint Specification of Distributed Systems. Universitetet i Bremen 2001-09-01 - 2001.

  • Johnsen, Einar Broch. Compositional Refinement of Aspectwise Specifications. Norsk Regnesentral 2001-11-01 - 2001.

  • Johnsen, Einar Broch. Formelle metoder for aspekt-orienterte dynamiske systemer. Norsk Forskningsråds IKT-seminar 2001-11-01 - 2001.

  • Johnsen, Einar Broch; Owe, Olaf; Runde, Ragnhild Kobro. The Oslo School on Formalization of Distributed Systems. Nordic Workshop on Progamming Theory 2001-10-01 - 2001.

  • Johnsen, Einar Broch; Owe, Olaf. A Proof Environment for Partial Specifications in OUN. Norwegian Informatics Conference 2001-11-01 - 2001.

  • Johnsen, Einar Broch; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie B.. Specification of distributed systems with a combination of graphical and formal languages. Asian Pacific Software Engineering Conference (APSEC'01), IEEE press 2001-12-04 - 2001-12-07 2001.

  • Zhang, Wenhui; Johnsen, Einar Broch; Owe, Olaf; Aredo, Demissie B.. Integrating UML and OUN for Specification of Open Distributed Systems. IEEE Symposia on Human-Centric Computing Languages and Environments 2001-09-01 - 2001-09-02 2001.

  • Johnsen, Einar Broch. An Exercise in Fault Tolerance. Norsk Informatikkonferanse 2000-11-01 - 2000.

  • Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen; Vain, Juri. Incremental Design of Dependable Systems in OUN. 2000 (293) ISBN 82-7368-242-0. ISSN 0806-3036.

  • Johnsen, Einar Broch. Composition and Refinement for Partially Described Objects. Nordic Workshop in Programming Theory 2000-10-01 - 2000.

  • Halvorsen, Trine Grønhaug; Christensen, Hege Staaland; Nordbø, Kirsten; Johnsen, Einar Broch; Krogh, Mette. Automated Determination of Citalopram and N-desmethylcitalopram with On-line Dialysis and High-Performance Liquid Chromatography. 10th International Symposium on Pharmaceutical and Biomedical Analysis 1999-05-09 - 1999.

  • Morstad, Marius; Johnsen, Einar Broch. Sportsklatring. 1997 (21) ISBN 82-502-0323-2.

  • [Loading...]