Dummy personkort bilde
Professor

Johnsen, Einar Broch

Department of Physics and Technology
Norwegian flag icon Sami flag icon

  • Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard; Tapia Tarifa, Silvia Lizeth. Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. Lecture Notes in Computer Science (LNCS) 2021. ISSN 0302-9743.s doi: 10.1007/978-3-030-78142-2\_1.

  • 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 185 - 195.s doi: 10.1504/IJGUC.2020.105531.

  • de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Tveito, Lars. Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. OpenAccess Series in Informatics 2020; Volum 86. ISSN 2190-6807.s 10:1 - 10:18.s doi: 10.4230/OASIcs.Gabbrielli.10.

  • Kamburjan, Eduard; Din, Crystal Chang; Hähnle, Reiner; Johnsen, Einar Broch. Behavioral Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS) 2020; Volum 12345. ISSN 0302-9743.s 85 - 121.s doi: 10.1007/978-3-030-64354-6_4.

  • Ghzouli, Razan; Berger, Thorsten; Johnsen, Einar Broch; Dragule, Swaib; Wąsowski, Andrzej. Behavior Trees in Action: A Study of Robotics Applications. Association for Computing Machinery (ACM) 2020 ISBN 978-1-4503-8176-5.s 196 - 209.s doi: https://doi.org/10.1145/3426425.3426942.

  • Henrio, Ludovic; Johnsen, Einar Broch; Pun, Ka I. Active Objects with Deterministic Behavior. Lecture Notes in Computer Science (LNCS) 2020; Volum 12546. ISSN 0302-9743.s 181 - 198.s doi: 10.1007/978-3-030-63461-2_10.

  • Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2020; Volum 12476. ISSN 0302-9743.s 103 - 121.s doi: 10.1007/978-3-030-61362-4_6.

  • de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Tveito, Lars. SymPaths: Symbolic Execution Meets Partial Order Reduction. Lecture Notes in Computer Science (LNCS) 2020; Volum 12345. ISSN 0302-9743.s 313 - 338.s doi: 10.1007/978-3-030-64354-6_13.

  • Tveito, Lars; Johnsen, Einar Broch; Schlatte, Rudolf. Global Reproducibility Through Local Control for Distributed Active Objects. Springer 2020 ISBN 978-3-030-45233-9.s 140 - 160.s doi: 10.1007/978-3-030-45234-6_7.

  • Lienhardt, Michael; Damiani, Ferruccio; Johnsen, Einar Broch; Mauro, Jacopo. Lazy product discovery in huge configuration spaces. Proceedings - International Conference on Software Engineering 2020. ISSN 0270-5257.s 1509 - 1521.s doi: 10.1145/3377811.3380372.

  • Turin, Gianluca; Borgarelli, Andrea; Donetti, Simone; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth; Damiani, Ferruccio. A Formal Model of the Kubernetes Container Framework. Lecture Notes in Computer Science (LNCS) 2020; Volum 12476. ISSN 0302-9743.s 558 - 577.s doi: 10.1007/978-3-030-61362-4_32.

  • Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh. Model checking starvation for resource-aware active objects with coloured petri nets. CEUR Workshop Proceedings 2020; Volum 2651. ISSN 1613-0073.s 68 - 85.

  • 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: 10.4204/EPTCS.302.1 Electronic Proceedings in Theoretical Computer Science (EPTCS) 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: 10.1016/j.scico.2019.04.002 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: https://dl.acm.org/citation.cfm?id=3274278 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. (https://www.wiley.com/en-no/Software+Technology:+10+Years+of+Innovation+in+IEEE+Computer-p-9781119174219) (Fulltekst: http://envisage-project.eu/wp-content/uploads/2013/09/IEEE_AModelCentricApproachToDesigningResourceAwareCloudApplications_preprint.pdf 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. (https://ojs.bibsys.no/index.php/NIK/article/view/497) 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 (EPTCS) 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: http://ac.els-cdn.com/S2352220814000595/1-s2.0-S2352220814000595-main.pdf?_tid=0e08262a-b1cf-11e4-8e59-00000aacb361&acdnat=1423646538_2eefd7b51f2383c7ad27d53cc394f935 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: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7350650 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: http://download.springer.com/static/pdf/565/chp%253A10.1007%252F978-3-319-25423-4_14.pdf?originUrl=http%3A%2F%2Flink.springer.com%2Fchapter%2F10.1007%2F978-3-319-25423-4_14&token2=exp=1455630932~acl=% 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: http://download.springer.com/static/pdf/937/chp%253A10.1007%252F978-3-642-55099-7_1.pdf?auth66=1423656068_fc34e4cfe46ff9538ad049f973c01221&ext=.pdf 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: http://download.springer.com/static/pdf/939/art%253A10.1007%252Fs11761-013-0148-0.pdf?auth66=1423655495_b631d4192dd9aa01212c60ac1657d0c4&ext=.pdf 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: http://download.springer.com/static/pdf/409/chp%253A10.1007%252F978-3-662-45231-8_1.pdf?auth66=1423654792_11cfc1749628033c1c2e8e8b371f62f4&ext=.pdf 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: http://download.springer.com/static/pdf/152/chp%253A10.1007%252F978-3-662-45234-9_22.pdf?auth66=1423656782_060e945f8b1ebbaeb5dd8fb0bd6d8802&ext=.pdf 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: http://link.springer.com/content/pdf/10.1007%2F978-3-662-45231-8_2.pdf 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: http://link.springer.com/content/pdf/10.1007%2F978-3-662-45231-8_3.pdf 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: http://www.sciencedirect.com/science/article/pii/S1567832611000968#cor1) 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. (http://dl.acm.org/citation.cfm?id=2364422) 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 (EPTCS) 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: http://www.iariajournals.org/telecommunications/tele_v5_n12_2012_paged.pdf 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. (http://www.sciencedirect.com/science/article/pii/S1567832611000981) 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: http://www.springerlink.com/content/l92n8w585ht65m75/) 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: http://dl.acm.org/citation.cfm?id=1949307) 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: http://www.tapironline.no/fil/vis/862) 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: http://www.springerlink.com/content/l7771gu838236000/fulltext.pdf 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: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5773399 (Omtale: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5773399&tag=1) 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: http://dl.acm.org/citation.cfm?id=2021333) 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: http://dl.acm.org/citation.cfm?id=2022053) 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: http://www.cse.chalmers.se/research/hats/sites/default/files/coreabs.pdf (Omtale: http://www.springerlink.com/content/m0024x7275v6/#section=1003946&page=1&locus=0) 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: http://dx.doi.org/10.1007/978-3-642-17071-3_3 (Omtale: http://www.springerlink.com/content/n18g72w506134760/fulltext.pdf) 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: http://folk.uio.no/einarj/Papers/lian10stairs.pdf) 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: http://www.sciweavers.org/publications/dating-concurrent-objects-real-time-modeling-and-schedulability-analysis) 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: http://www.sciweavers.org/publications/dynamic-resource-reallocation-between-deployment-components) 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 (EPTCS) 2010; Volum 36. ISSN 2075-2180.s 67 - 81.

  • Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf. Concurrent Objects a la Carte. (Omtale: http://people.cs.kuleuven.be/~dave.clarke/papers/wpdr.pdf) 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: http://www.sciweavers.org/publications/grouping-nodes-wireless-sensor-networks-using-coalitional-game-theory) 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: http://www.springerlink.com/content/5k2805417q05w7tg/) 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: http://www.springerlink.com/content/d1203320304q6373/) 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: http://portal.acm.org/citation.cfm?id=1573974) 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: http://portal.acm.org/citation.cfm?id=1556664) 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: http://portal.acm.org/citation.cfm?id=1616461) 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: http://www.springerlink.com/content/060753w75mg54178/) 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: http://portal.acm.org/citation.cfm?id=1506953) 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: http://portal.acm.org/citation.cfm?id=1619020) 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: http://portal.acm.org/citation.cfm?id=1366982.1366985&coll=GUIDE&dl=GUIDE) 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: http://portal.acm.org/citation.cfm?id=1375006) 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: http://portal.acm.org/citation.cfm?id=1496292.1496308&coll=GUIDE&dl=GUIDE) 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: http://www.springerlink.com/content/8737127nw2311w1u/) 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: http://portal.acm.org/citation.cfm?id=1429200.1429222&coll=&dl=) 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: http://www.springerlink.com/content/y082239q33l200uv/) 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: www.springerlink.com/content/e17t8253405943mk/ Software and Systems Modeling (SoSyM) 2006. ISSN 1619-1366.s doi: 10.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. (http://dx.doi.org/10.1007/978-3-319-30734-3) 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.

  • Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch; Giese, Martin. Programming and Debugging with Semantically Lifted States (Full Paper). 2021 (499) ISBN 978-82-7368-464-6. ISSN 0806-3036.

  • 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. (http://dx.doi.org/10.1007/978-3-319-30734-3) 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. Software and Systems Modeling (SoSyM) 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. (http://msteffen.at.ifi.uio.no/publications.html#techreports) 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: http://heim.ifi.uio.no/~creol/dovland07rr368.pdf 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: http://publications.nr.no/3550/Johnsen_-_Combining_graphical_and_formal_development_of_open.pdf 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.

  • Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch; Giese, Martin. Programming and Debugging with Semantically Lifted States (Full Paper). 2021 (499) ISBN 978-82-7368-464-6. ISSN 0806-3036.

  • 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. (http://dx.doi.org/10.1007/978-3-319-30734-3) 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. Software and Systems Modeling (SoSyM) 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. (http://msteffen.at.ifi.uio.no/publications.html#techreports) 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: http://heim.ifi.uio.no/~creol/dovland07rr368.pdf 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: http://publications.nr.no/3550/Johnsen_-_Combining_graphical_and_formal_development_of_open.pdf 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...]