index.json

    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    [{"authors":null,"categories":null,"content":"Einar Broch Johnsen is a professor at the Department of Informatics, University of Oslo. His research interests include programming models and methodology; program specification and modeling; formal methods and associated theory; lightweight analysis, type systems, testing; as well as deductive verification and formal logic. He is active in formal methods for distributed and concurrent systems, including object-oriented and actor languages, manycore computing, cloud computing and digital twins. He is one of the main developers of the ABS modeling language for asynchronous distributed systems and the SMOL programming language for digital twins.\nEinar Broch Johnsen has been prominently involved in many national and European research projects. In particular, he was the strategy director of Sirius (2015-2023), a center for research-driven innovation on scalable data access with 8-year funding from the Research Council of Norway. He was the coordinator of the EU FP7 project Envisage (2013-2016) on formal methods for cloud computing and the scientific coordinator of the EU H2020 project HyVar (2015-2018) on hybrid variability systems.\nEinar Broch Johnsen is member of IFIP WG2.2 “Formal Description of Programming Concepts”. He was board member of Sintef ICT (2009-2015). He is currently member of the Scientific Council of the dScience centre at UiO, advisory board member of the DIGIT center (Aarhus, DK), board member of Formal Methods Europe, editorial board member of the journals Formal Aspects of Computing, the Journal of Logical and Algebraic Methods in Programming, the International Journal of Networked and Distributed Computing, and steering committee member of the conference series on Fundamental Approaches to Software Engineering (FASE) and Integrated Formal Methods (iFM). He was general chair of FM 2015 and DisCoTec 2008, and PC chair of FASE 2022, SEFM 2018, TAP 2017, ESOCC 2016, iFM 2013 and FMOODS 2007.\n","date":1740035264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1740035264,"objectID":"527231a0902c40960a135568c3e7a9bb","permalink":"https://ebjohnsen.org/authors/einarj/","publishdate":"2024-10-22T09:07:44+02:00","relpermalink":"/authors/einarj/","section":"authors","summary":"Einar Broch Johnsen is a professor at the Department of Informatics, University of Oslo. His research interests include programming models and methodology; program specification and modeling; formal methods and associated theory; lightweight analysis, type systems, testing; as well as deductive verification and formal logic.","tags":null,"title":"Einar Broch Johnsen","type":"authors"},{"authors":["ferruccio"],"categories":null,"content":"","date":1740035264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1740035264,"objectID":"46ae2bb2f19a5dcf18eb498275edb0d3","permalink":"https://ebjohnsen.org/authors/ferruccio/","publishdate":"2024-10-20T09:07:44+02:00","relpermalink":"/authors/ferruccio/","section":"authors","summary":"","tags":null,"title":"Ferruccio Damiani","type":"authors"},{"authors":["juliane"],"categories":null,"content":"","date":1740035264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1740035264,"objectID":"f8c3b502d261f8d0ea7a2d46f1904b2a","permalink":"https://ebjohnsen.org/authors/juliane/","publishdate":"2024-10-20T09:07:44+02:00","relpermalink":"/authors/juliane/","section":"authors","summary":"","tags":null,"title":"Juliane Päßler","type":"authors"},{"authors":["maurice"],"categories":null,"content":"","date":1740035264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1740035264,"objectID":"e166c3a6ebcc0308270b11ad694469e8","permalink":"https://ebjohnsen.org/authors/maurice/","publishdate":"2024-10-20T09:07:44+02:00","relpermalink":"/authors/maurice/","section":"authors","summary":"","tags":null,"title":"Maurice H. ter Beek","type":"authors"},{"authors":["lizeth"],"categories":null,"content":"","date":1740035264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1740035264,"objectID":"e6131e36ba9e2797080e05a9a364b281","permalink":"https://ebjohnsen.org/authors/lizeth/","publishdate":"2024-10-20T09:07:44+02:00","relpermalink":"/authors/lizeth/","section":"authors","summary":"","tags":null,"title":"Silvia Lizeth Tapia Tarifa","type":"authors"},{"authors":["eduard"],"categories":null,"content":"","date":1732000064,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1732000064,"objectID":"39454545bdc3af87e90ccf0552945a49","permalink":"https://ebjohnsen.org/authors/eduard/","publishdate":"2024-10-22T09:07:44+02:00","relpermalink":"/authors/eduard/","section":"authors","summary":"","tags":null,"title":"Eduard Kamburjan","type":"authors"},{"authors":["aasmund"],"categories":null,"content":"","date":1731827264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1731827264,"objectID":"4f673f285dfddf4acf8e8e5d8e8ab780","permalink":"https://ebjohnsen.org/authors/aasmund/","publishdate":"2024-10-22T09:07:44+02:00","relpermalink":"/authors/aasmund/","section":"authors","summary":"","tags":null,"title":"Åsmund Aqissiaq Arild Kløvstad","type":"authors"},{"authors":["erik"],"categories":null,"content":"","date":1731827264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1731827264,"objectID":"a4e464a1a97bf0184b407fe8db196761","permalink":"https://ebjohnsen.org/authors/erik/","publishdate":"2024-10-22T09:07:44+02:00","relpermalink":"/authors/erik/","section":"authors","summary":"","tags":null,"title":"Erik Voogd","type":"authors"},{"authors":["andrzej"],"categories":null,"content":"","date":1730876864,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1730876864,"objectID":"1dbd57147de644326fb47c77baba29b1","permalink":"https://ebjohnsen.org/authors/andrzej/","publishdate":"2024-08-18T09:07:44+02:00","relpermalink":"/authors/andrzej/","section":"authors","summary":"","tags":null,"title":"Andrzej Wasowski","type":"authors"},{"authors":["tobias"],"categories":null,"content":"","date":1730099264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1730099264,"objectID":"c328d39f143c9cd62769dd37d9422123","permalink":"https://ebjohnsen.org/authors/tobias/","publishdate":"2024-08-18T09:07:44+02:00","relpermalink":"/authors/tobias/","section":"authors","summary":"","tags":null,"title":"Tobias John","type":"authors"},{"authors":["andrea"],"categories":null,"content":"","date":1729667264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1729667264,"objectID":"a266f177a52645fa4ab437a5fe47381a","permalink":"https://ebjohnsen.org/authors/andrea/","publishdate":"2024-08-08T09:07:44+02:00","relpermalink":"/authors/andrea/","section":"authors","summary":"","tags":null,"title":"Andrea Pferscher","type":"authors"},{"authors":["paul"],"categories":null,"content":"","date":1729667264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1729667264,"objectID":"1bdbe4c3bbc7a01f493d49ade9f9379b","permalink":"https://ebjohnsen.org/authors/paul/","publishdate":"2024-08-08T09:07:44+02:00","relpermalink":"/authors/paul/","section":"authors","summary":"","tags":null,"title":"Paul Kobialka","type":"authors"},{"authors":["riccardo"],"categories":null,"content":"","date":1729667264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1729667264,"objectID":"745f10bd79f79d31d6e2d4263feaa73b","permalink":"https://ebjohnsen.org/authors/riccardo/","publishdate":"2024-07-17T09:07:44+02:00","relpermalink":"/authors/riccardo/","section":"authors","summary":"","tags":null,"title":"Riccardo Sieve","type":"authors"},{"authors":["rudi"],"categories":null,"content":"","date":1729667264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1729667264,"objectID":"15450ae6cc271f698a70c57723db3af6","permalink":"https://ebjohnsen.org/authors/rudi/","publishdate":"2024-07-17T09:07:44+02:00","relpermalink":"/authors/rudi/","section":"authors","summary":"","tags":null,"title":"Rudolf Schlatte","type":"authors"},{"authors":["frank"],"categories":null,"content":"","date":1726556864,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1726556864,"objectID":"d407bf5253cfdead0e439acda46d3eb7","permalink":"https://ebjohnsen.org/authors/frank/","publishdate":"2024-09-17T09:07:44+02:00","relpermalink":"/authors/frank/","section":"authors","summary":"","tags":null,"title":"Frank S. de Boer","type":"authors"},{"authors":["violet"],"categories":null,"content":"","date":1726556864,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1726556864,"objectID":"42a90db009413a705fa4032e879d5319","permalink":"https://ebjohnsen.org/authors/violet/","publishdate":"2024-09-17T09:07:44+02:00","relpermalink":"/authors/violet/","section":"authors","summary":"","tags":null,"title":"Violet Ka I Pun","type":"authors"},{"authors":["gunnar"],"categories":null,"content":"","date":1721200064,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1721200064,"objectID":"663287126247cebdc70edda6bb555fe2","permalink":"https://ebjohnsen.org/authors/gunnar/","publishdate":"2024-07-17T09:07:44+02:00","relpermalink":"/authors/gunnar/","section":"authors","summary":"","tags":null,"title":"Gunnar Rye Bergersen","type":"authors"},{"authors":["crystal"],"categories":null,"content":"","date":1710486464,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1710486464,"objectID":"86af7065cbf41e7a1d8d3069212096f7","permalink":"https://ebjohnsen.org/authors/crystal/","publishdate":"2024-01-27T09:07:44+02:00","relpermalink":"/authors/crystal/","section":"authors","summary":"","tags":null,"title":"Crystal Chang Din","type":"authors"},{"authors":["ludo"],"categories":null,"content":"","date":1710486464,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1710486464,"objectID":"04dfa58640220969c45e881d4e356673","permalink":"https://ebjohnsen.org/authors/ludovic/","publishdate":"2024-01-27T09:07:44+02:00","relpermalink":"/authors/ludovic/","section":"authors","summary":"","tags":null,"title":"Ludovic Henrio","type":"authors"},{"authors":["reiner"],"categories":null,"content":"","date":1710486464,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1710486464,"objectID":"74bf9595e98acda9f635931a49d395ab","permalink":"https://ebjohnsen.org/authors/reiner/","publishdate":"2024-01-27T23:38:59+02:00","relpermalink":"/authors/reiner/","section":"authors","summary":"","tags":null,"title":"Reiner Hähnle","type":"authors"},{"authors":["ina-schaefer"],"categories":null,"content":"","date":1660799264,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1660799264,"objectID":"06a1643da5e1fa99dd028df477eea2b7","permalink":"https://ebjohnsen.org/authors/ina/","publishdate":"2022-08-18T09:07:44+02:00","relpermalink":"/authors/ina/","section":"authors","summary":"","tags":null,"title":"Ina Schaefer","type":"authors"},{"authors":["martin"],"categories":null,"content":"","date":1602486471,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1602486471,"objectID":"4b3194c151b28c4fd7ca7058db1250ab","permalink":"https://ebjohnsen.org/authors/martin/","publishdate":"2020-10-12T09:07:51+02:00","relpermalink":"/authors/martin/","section":"authors","summary":"","tags":null,"title":"Martin Steffen","type":"authors"},{"authors":["ingrid-chieh-yu"],"categories":null,"content":"","date":1592604108,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1592604108,"objectID":"aed302a8c2c336598bf657e741754b38","permalink":"https://ebjohnsen.org/authors/ingrid/","publishdate":"2020-07-21T23:39:19+02:00","relpermalink":"/authors/ingrid/","section":"authors","summary":"","tags":null,"title":"Ingrid Chieh Yu","type":"authors"},{"authors":["elvira"],"categories":null,"content":"","date":1542666219,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1542666219,"objectID":"b17974cb02ef16c0725742bf742828d7","permalink":"https://ebjohnsen.org/authors/elvira/","publishdate":"2022-07-21T23:31:39+02:00","relpermalink":"/authors/elvira/","section":"authors","summary":"","tags":null,"title":"Elvira Albert","type":"authors"},{"authors":["olaf-owe"],"categories":null,"content":"","date":1514927052,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":1514927052,"objectID":"43744f45a9f51f79702be8af61360083","permalink":"https://ebjohnsen.org/authors/olaf/","publishdate":"2020-07-26T12:00:35+02:00","relpermalink":"/authors/olaf/","section":"authors","summary":"","tags":null,"title":"Olaf Owe","type":"authors"},{"authors":[],"categories":["Programme committees"],"content":"","date":1751241600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1751241600,"objectID":"3f6608a0b6b4b937bf8f3c100944f1db","permalink":"https://ebjohnsen.org/talk/ecoop-2025/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/ecoop-2025/","section":"event","summary":"39th European Conference on Object-Oriented Programming (ECOOP 2025)","tags":["Service"],"title":"ECOOP 2025","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"","date":1746316800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1746316800,"objectID":"922c7a6b53a73f935631b31e513b5196","permalink":"https://ebjohnsen.org/talk/asqap-2025/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/asqap-2025/","section":"event","summary":"1st International Workshop on Autonomous System Quality Assurance and Prediction with Digital Twins (ASQAP 2025)","tags":["Service"],"title":"ASQAP 2025","type":"event"},{"authors":["Juliane Päßler","Maurice H. ter Beek","Ferruccio Damiani","Einar Broch Johnsen","Silvia Lizeth Tapia Tarifa"],"categories":["Robotics","Self-adaptive systems","Software product lines","REMARO"],"content":"","date":1740035264,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1740035264,"objectID":"b30fa4100209a5c0bdb47208c55e6ef4","permalink":"https://ebjohnsen.org/publication/25-scp/","publishdate":"2024-10-20T09:07:44+02:00","relpermalink":"/publication/25-scp/","section":"publication","summary":"Science of Computer Programming **240**: 103221, 2025.","tags":["REMARO"],"title":"A Configurable Software Model of a Self-Adaptive Robotic System","type":"publication"},{"authors":["Einar Broch Johnsen"],"categories":["Invited talks"],"content":"","date":1732796100,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1732796100,"objectID":"3765b57ffb378b0b8625aaefd53ec3e3","permalink":"https://ebjohnsen.org/talk/environmental-digital-twins/","publishdate":"2024-07-18T00:00:00Z","relpermalink":"/talk/environmental-digital-twins/","section":"event","summary":"Guest lecture, UiT","tags":["Talks","digital twins"],"title":"Environmental Digital Twins","type":"event"},{"authors":["John S. Fitzgerald","Cláudio Gomes","Einar Broch Johnsen","Eduard Kamburjan","Martin Leucker","Jim Woodcock"],"categories":["digital twins"],"content":"","date":1732000064,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1732000064,"objectID":"fbe5b82ff7cfc61ac7bce9de86fd61ee","permalink":"https://ebjohnsen.org/publication/24-isola/","publishdate":"2024-10-22T09:07:44+02:00","relpermalink":"/publication/24-isola/","section":"publication","summary":"Proc. ISOLA 2024. LNCS 15223. Springer 2025.","tags":["Digital twins"],"title":"Digital Twin Engineering","type":"publication"},{"authors":["Erik Voogd","Einar Broch Johnsen","Åsmund Aqissiaq Arild Kløvstad","Jurriaan Rot","Alexandra Silva"],"categories":["Symbolic execution","Operational semantics"],"content":"","date":1731827264,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1731827264,"objectID":"9f3268b3a887960dccbf12affa488019","permalink":"https://ebjohnsen.org/publication/24-ifm/","publishdate":"2024-10-22T09:07:44+02:00","relpermalink":"/publication/24-ifm/","section":"publication","summary":"Proc. IFM 2024. LNCS 15234. Springer 2025.","tags":["Symbolic execution","Operational semantics","Semantics"],"title":"Correct and Complete Symbolic Execution for Free","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"","date":1731456000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1731456000,"objectID":"c4fc202f2333511888c95557cf1c885a","permalink":"https://ebjohnsen.org/talk/ifm-2024/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/ifm-2024/","section":"event","summary":"19th International Conference on Integrated Formal Methods (iFM 2024)","tags":["Service"],"title":"iFM 2024","type":"event"},{"authors":["Einar Broch Johnsen","Eduard Kamburjan","Raúl Pardo","Erik Voogd","Andrzej Wasowski"],"categories":[],"content":"","date":1730876864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1730876864,"objectID":"0aa9592590536e66c775c8f1eec18639","permalink":"https://ebjohnsen.org/publication/24-jpk/","publishdate":"2024-08-10T09:07:44+02:00","relpermalink":"/publication/24-jpk/","section":"publication","summary":"Principles of Verification: Cycling the Probabilistic Landscape. LNCS 15260, Springer 2025.","tags":[],"title":"Towards a Proof System for Probabilistic Dynamic Logic","type":"publication"},{"authors":["Tobias John","Eduard Kamburjan","Einar Broch Johnsen"],"categories":["Robotics","REMARO"],"content":"","date":1730099264,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1730099264,"objectID":"61f89fa171fed9c95a05e5b0ddb98cd2","permalink":"https://ebjohnsen.org/publication/24-issre/","publishdate":"2024-08-18T09:07:44+02:00","relpermalink":"/publication/24-issre/","section":"publication","summary":"Proc. ISSRE 2024. IEEE 2024.","tags":["Robotics","REMARO"],"title":"Mutation-Based Integration Testing of Knowledge Graph Applications","type":"publication"},{"authors":["Einar Broch Johnsen","Paul Kobialka","Andrea Pferscher","Silvia Lizeth Tapia Tarifa"],"categories":["User journeys","games"],"content":"","date":1729667264,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1729667264,"objectID":"66f88506304b93e3919202a3261c1aaa","permalink":"https://ebjohnsen.org/publication/24-wang/","publishdate":"2024-08-08T09:07:44+02:00","relpermalink":"/publication/24-wang/","section":"publication","summary":"Real-Time and Such. LNCS 15230, Springer 2024.","tags":["User journeys","games"],"title":"Nudging Strategies for User Journeys: Take a Path on the Wild Side","type":"publication"},{"authors":["Mahya Mohammadi Kashani","Tobias John","Jeremy P. Coffelt","Einar Broch Johnsen","Andrzej Wasowski"],"categories":["Robotics","REMARO"],"content":"","date":1729667264,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1729667264,"objectID":"7c0294e11d305efd0132cab8fcffafd1","permalink":"https://ebjohnsen.org/publication/24-iros/","publishdate":"2024-08-18T09:07:44+02:00","relpermalink":"/publication/24-iros/","section":"publication","summary":"Proc. IROS 2024. IEEE 2024.","tags":["Robotics","REMARO"],"title":"Risk-Averse Planning and Plan Assessment for Marine Robots","type":"publication"},{"authors":["Eduard Kamburjan","Andrea Pferscher","Rudolf Schlatte","Riccardo Sieve","Silvia Lizeth Tapia Tarifa","Einar Broch Johnsen"],"categories":["Digital twins","SMOL","semantic reflection"],"content":"","date":1729667264,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1729667264,"objectID":"151773f958390aa29dea51590e71c600","permalink":"https://ebjohnsen.org/publication/24-tiziana/","publishdate":"2024-07-17T09:07:44+02:00","relpermalink":"/publication/24-tiziana/","section":"publication","summary":"The Combined Power of Research, Education and Dissemination. LNCS 15240, Springer 2024.","tags":["Digital twins","SMOL","semantic reflection"],"title":"Semantic Reflection and Digital Twins: A Comprehensive Overview","type":"publication"},{"authors":["Eduard Kamburjan","Nelly Bencomo","Silvia Lizeth Tapia Tarifa","Einar Broch Johnsen"],"categories":["Digital twins","Self-adaptive systems","Semantic reflection"],"content":"","date":1729580864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1729580864,"objectID":"72af5a5bc95a1b99eeccefedc14c21bb","permalink":"https://ebjohnsen.org/publication/24-edt/","publishdate":"2024-08-10T09:07:44+02:00","relpermalink":"/publication/24-edt/","section":"publication","summary":"Proc. 1st International Conference on Engineering Digital Twins (EDTconf 2024). ACM 2024.","tags":["Digital twins","semantic reflection"],"title":"Declarative Lifecycle Management in Digital Twins","type":"publication"},{"authors":["Einar Broch Johnsen"],"categories":["Invited talks"],"content":" ","date":1729016100,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1729016100,"objectID":"0ae045980e6d091fbbce9d4eafe0e389","permalink":"https://ebjohnsen.org/talk/the-self-aware-digital-twin/","publishdate":"2024-07-18T00:00:00Z","relpermalink":"/talk/the-self-aware-digital-twin/","section":"event","summary":"BCS-FACS seminar","tags":["Talks","digital twins"],"title":"The Self-Aware Digital Twin","type":"event"},{"authors":[],"categories":[],"content":"DART (Digital ARctic Twins) is a network funded by UArctic 2024-2026.\nPartners: University of Oslo (NO), The Arctic University of Norway (NO), University of Aberdeen (UK), Durham University (UK), Glasgow Caledonian University (UK), IT University of Copenhagen (DK), Luleå Technological University (SE), University of Washington (USA) and Aarhus University (DK).\nCoordinator: Einar Broch Johnsen, University of Oslo (contact)\nSynopsis: DART is a network spanning five circumpolar countries (NOR, SWE, DNK, GBR, USA). We will develop digital twins to study just transitions to net zero under the aegis of the UArctic ‘Climate Justice’ thematic network.\nThe principles for global co-operation towards net zero are described in Article 6 of the Paris Agreement, which offers a primary directive to encourage markets to move towards net zero through bilateral and/or multilateral treaties between participating States. The creation of these bilateral treaties is, however, fraught with problems. A major bottleneck lies in understanding the interconnected feedback loops through which their context-sensitive market-based instruments will affect, and be affected by, changing environmental and economic systems.\nA promising approach to describe and understand those feedback loops – and to quantify the uncertainty involved in bilateral treaty implementation - lies in the creation of digital twins: digital representations of places and processes that can be used to simulate the likelihood of given outcomes from bilateral agreements. Importantly, digital twins can be co-ordinated with a range of AI-enabled technologies (including Bayesian inference) to quantify uncertainties in less tangible parameters, such as cultural and legal values, allowing consideration of the policy and legal frameworks that must accompany market-based instruments to set the right incentives and provide oversight. Given the speed with which the Arctic climate is changing, the insights provided by simulation of the various places and peoples of the Arctic must be seen as a priority in any move towards just transitions in northern countries. The creation of digital twin methodologies to support such simulations is a key enabler.\nThe DART network project will do just that: our interdisciplinary team (biodiversity, health, environment, culture, economy) will inform the creation of digital twin infrastructures for modelling responses to complex climate legislation and – critically - quantify the uncertainties associated with Paris Agreement tools (see, e.g., the paper Understanding the origin of Paris Agreement emission uncertainties) to support cost-efficient Arctic transitions to net zero. The project builds on world-leading interdisciplinary research into digital twin creation at UiO and Aarhus (e.g. to model vaccination strategies, to model the Oslo Fjord). It will be informed by circumpolar and transnational expertise in legal (Durham, Glasgow Caledonian, UiT), economic (Durham, Luleå), environmental (Luleå, Glasgow Caledonian), and health (Aberdeen, Washington) infrastructures across countries and places.\nPrincipal Investigators\nUniversity of Oslo (NO)\nEinar Broch Johnsen Nils Christian Stenseth Atle Jensen Silvia Lizeth Tapia Tarifa Andrea Pferscher Eduard Kamburjan Rudi Schlatte The Arctic University of Norway (NO)\nAnders Andersen University of Aberdeen (UK)\nJulian Griffin Durham University (UK)\nNelly Bencomo John Bothwell Laura Marsiliani Petra Minnerop Glasgow Caledonian University (UK)\nSennan Mattar IT University of Copenhagen (DK)\nAndrzej Wasowski Luleå Technological University (SE)\nJesper Stage University of Washington (USA)\nKristie Ebi Aarhus University (DK)\nPeter Gorm Larsen Cláudio Gomes DART is also connected to the strategic initiative JusTNOW: Just Transitions to a Net Zero World at Durham University (More info here).\n","date":1727857976,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1727857976,"objectID":"b3fb9459290fa1d5fb1b0a84ba8e6d7d","permalink":"https://ebjohnsen.org/project/dart/","publishdate":"2024-10-02T10:32:56+02:00","relpermalink":"/project/dart/","section":"project","summary":"A UArctic network project 2024-2026.","tags":[],"title":"DART: Digital Arctic Twins","type":"project"},{"authors":[],"categories":["Programme committees"],"content":"","date":1727049600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1727049600,"objectID":"16d6b151a39e9a05cd183a56ff54279d","permalink":"https://ebjohnsen.org/talk/edtconf-2024/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/edtconf-2024/","section":"event","summary":"1st International Conference on Engineering Digital Twins (EDTconf 2024)","tags":["Service"],"title":"EDTconf 2024","type":"event"},{"authors":["Einar Broch Johnsen","Eduard Kamburjan","Silvia Lizeth Tapia Tarifa"],"categories":["Invited talks"],"content":"","date":1727013600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1727013600,"objectID":"4ed4abe0c9e1cc3f2f3a7a61abcc65c2","permalink":"https://ebjohnsen.org/talk/the-semantically-reflected-digital-twin/","publishdate":"2024-07-17T00:00:00Z","relpermalink":"/talk/the-semantically-reflected-digital-twin/","section":"event","summary":"Tutorial @ MODELS 2024, Linz, Austria","tags":["Talks","digital twins"],"title":"The Semantically Reflected Digital Twin","type":"event"},{"authors":["Frank S. de Boer","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1726556864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1726556864,"objectID":"9473886547bafc68b4537d35a822896e","permalink":"https://ebjohnsen.org/publication/24-toplas2/","publishdate":"2024-09-17T09:07:44+02:00","relpermalink":"/publication/24-toplas2/","section":"publication","summary":"ACM Transactions on Programming Languages and Systems (TOPLAS): **46** (3), 2024.","tags":["SOS","Correctness","ABS"],"title":"Proving Correctness of Parallel Implementations of Transition System Models","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"","date":1725840000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1725840000,"objectID":"9b944b647e8f70b66e106468a67a0265","permalink":"https://ebjohnsen.org/talk/fm-2024/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/fm-2024/","section":"event","summary":"26th Intl. Symposium on Formal Methods (FM 2024)","tags":["Service"],"title":"FM 2024","type":"event"},{"authors":[],"categories":[],"content":"","date":1722501185,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1722501185,"objectID":"31e283e706fc1938650ddc266f06c962","permalink":"https://ebjohnsen.org/teaching/in2031/","publishdate":"2024-08-01T10:33:05+02:00","relpermalink":"/teaching/in2031/","section":"teaching","summary":"Bachelor course, Dept. of Informatics, UiO, Fall 2024.","tags":[],"title":"IN2031 – Project in Programming","type":"teaching"},{"authors":["Paul Kobialka","Andrea Pferscher","Gunnar Rye Bergersen","Einar Broch Johnsen","Silvia Lizeth Tapia Tarifa"],"categories":["User journeys","games"],"content":"","date":1721200064,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1721200064,"objectID":"1ddf37bedf8eea326903d244969b37f3","permalink":"https://ebjohnsen.org/publication/24-fm/","publishdate":"2024-07-17T09:07:44+02:00","relpermalink":"/publication/24-fm/","section":"publication","summary":"Proc. FM 2024. LNCS 14934, Springer 2024.","tags":["User journeys","games"],"title":"Stochastic Games for User Journeys","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"","date":1720396800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1720396800,"objectID":"0e9f4d30b5f285b1ecff28e8dc54c180","permalink":"https://ebjohnsen.org/talk/ecmfa-2024/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/ecmfa-2024/","section":"event","summary":"20th European Conference on Modelling Foundations and Applications (ECMFA 2024)","tags":["Service"],"title":"ECMFA 2024","type":"event"},{"authors":["Einar Broch Johnsen"],"categories":["Invited talks"],"content":"","date":1716822000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1716822000,"objectID":"184bdaff21a727e59fb023e3bf9cec53","permalink":"https://ebjohnsen.org/talk/en-digital-tvilling-for-oslofjorden/","publishdate":"2022-08-29T00:00:00Z","relpermalink":"/talk/en-digital-tvilling-for-oslofjorden/","section":"event","summary":"Innlegg ved Oslo Science City Rundebordsmøte om klimarisiko og naturrisiko, og ESG-rapportering","tags":["Talks","digital twins","Oslofjorden"],"title":"En digital tvilling for Oslofjorden","type":"event"},{"authors":["Einar Broch Johnsen"],"categories":["Invited talks"],"content":"","date":1715631300,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1715631300,"objectID":"d87527f860fa549da7177a7548cbbdca","permalink":"https://ebjohnsen.org/talk/a-digital-twin-of-the-oslo-fjord/","publishdate":"2022-08-29T00:00:00Z","relpermalink":"/talk/a-digital-twin-of-the-oslo-fjord/","section":"event","summary":"Talk at UiO's Sustainability Seminar 2024","tags":["Talks","digital twins"],"title":"A Digital Twin of the Oslo Fjord","type":"event"},{"authors":["Martin Giese","Einar Broch Johnsen","Lars Tveito","Arild Waaler"],"categories":["Minneord"],"content":"","date":1714979264,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1714979264,"objectID":"c0749e346747488b6ec58b4144ed0f24","permalink":"https://ebjohnsen.org/publication/24-roger-antonsen/","publishdate":"2024-05-06T09:07:44+02:00","relpermalink":"/publication/24-roger-antonsen/","section":"publication","summary":"Minneord, Aftenposten 06.05.2024, Khrono 08.05.2024.","tags":["Minneord"],"title":"Roger Antonsen fanget publikum med sitt smittende engasjement","type":"publication"},{"authors":["Einar Broch Johnsen"],"categories":[],"content":"Paper available here.\n","date":1713276000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1713276000,"objectID":"b5294987520ee3ae0d504ac7d43c4969","permalink":"https://ebjohnsen.org/talk/greenhousedt-an-exemplar-for-digital-twins/","publishdate":"2024-04-15T00:00:00Z","relpermalink":"/talk/greenhousedt-an-exemplar-for-digital-twins/","section":"event","summary":"Talk at SEAMS 2024","tags":["Talks","SMOL","Digital twins"],"title":"GreenhouseDT: An Exemplar for Digital Twins","type":"event"},{"authors":[],"categories":[],"content":"Two positions available PhD in computer science (formal methods, software engineering)\nmore info here, application deadline: June 30, 2024 Postdoc in biology (epidemiological modelling)\nmore info here, application deadline: May 20, 2024 Project Summary The Digital Twin for Vaccination Strategies at Geographic Scales project is the first internal research project of UiO’s Centre for Pandemics and One-Health Research (P1H).\nMain objective: To develop a digital twin model that enables predictions of transmission given varying levels of efficacies against current and future viruses.\nWe want to demonstrate the potential of digital twins to understand the effects of different vaccine strategies for “Pandemic X”, the next pandemic with an unknown pathogen. We will explore the effects of different strategies through “what-if” experiments using digital twin technology. A digital twin is a modelling framework that integrates real-time sensor data with model-based predictions.\nIn this project, we will devise digital twin models to study likely future pandemic scenarios, combining in silico models with real-world data to make experiments as realistic as possible. The digital twin technology will enable us to explore many different scenarios, by means of “what if” experiments with a highly configurable model. Our starting point is a digital twin framework which models a pandemic emergence at the global scale (see our previous work [PNAS 2023]).\nFor this project, we have composed an interdisciplinary team including leading experts on vaccine development, epidemiology, digital twins and philosophy of science, from the Departments of Immunology, Biosciences, Informatics and Philosophy at UiO. The team further includes renowned international experts in epidemiology and economy for consideration of various strategies of vaccine distribution locally and globally. A focus is on training early-stage researchers towards preparedness for the next pandemics and endemics.\nPrincipal Investigators\nEinar Broch Johnsen (Department of Informatics, project leader) Gunnveig Grødeland (Department of Immunology, Faculty of Medicine) Anders Strand (CPS/IFIKK, Faculty of Humanities) Nils Chr. Stenseth (P1H \u0026amp; IBV/MN) The project further involves Jason D. Whittington (P1H) and a very strong international network, including collaborators from Penn State University (US), King’s College London (UK), University of Oxford (UK), Tsinghua University (CN).\n","date":1713169985,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1713169985,"objectID":"ffd5e40a595d78a9c60e44845501705d","permalink":"https://ebjohnsen.org/project/pandemics/","publishdate":"2024-04-15T10:33:05+02:00","relpermalink":"/project/pandemics/","section":"project","summary":"Project funded by UiO's Centre for Pandemics and One-Health Research","tags":[],"title":"A Digital Twin for Vaccination Strategies at Geographic Scales","type":"project"},{"authors":["Einar Broch Johnsen"],"categories":[],"content":"","date":1712412000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1712412000,"objectID":"b452123fc7c23e9b1401cfcc5ce3ec86","permalink":"https://ebjohnsen.org/talk/programming-and-reasoning-about-autonomous-software-with-semantic-reflection/","publishdate":"2024-04-05T00:00:00Z","relpermalink":"/talk/programming-and-reasoning-about-autonomous-software-with-semantic-reflection/","section":"event","summary":"Talk at REMARO 2024","tags":["Talks","SMOL"],"title":"Programming and reasoning about autonomous software with semantic reflection","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"","date":1712361600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1712361600,"objectID":"00526cb83b16f05da8180e1754a53006","permalink":"https://ebjohnsen.org/talk/fase-2024/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/fase-2024/","section":"event","summary":"27th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2024)","tags":["Service"],"title":"FASE 2024","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"","date":1712361600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1712361600,"objectID":"db73b2143045209714eff5007e8a0464","permalink":"https://ebjohnsen.org/talk/remaro-2024/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/remaro-2024/","section":"event","summary":"Workshop on Reliability Engineering Methods for Autonomous Robots (REMARO 2024)","tags":["Service"],"title":"REMARO 2024","type":"event"},{"authors":["Eduard Kamburjan","Riccardo Sieve","Chinmayi Prabhu Baramashetru","Marco Amato","Gianluca Barmina","Eduard Occhipinti","Einar Broch Johnsen"],"categories":["Digital twins","Self-adaptive systems","SMOL"],"content":"","date":1712041664,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1712041664,"objectID":"e767a75af413b5e327a4651894e0570b","permalink":"https://ebjohnsen.org/publication/24-seams/","publishdate":"2024-01-27T09:07:44+02:00","relpermalink":"/publication/24-seams/","section":"publication","summary":"Proc. SEAMS 2024. IEEE/ACM 2024.","tags":["Digital twins","SMOL"],"title":"GreenhouseDT: An Exemplar for Digital Twins","type":"publication"},{"authors":["Paul Kobialka","Silvia Lizeth Tapia Tarifa","Gunnar Rye Bergersen","Einar Broch Johnsen"],"categories":["User journeys","Games"],"content":"","date":1711350464,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1711350464,"objectID":"34bdbd418c322c19bfd9d680e20d1319","permalink":"https://ebjohnsen.org/publication/24-sosym/","publishdate":"2024-03-27T09:07:44+02:00","relpermalink":"/publication/24-sosym/","section":"publication","summary":"Software and Systems Modeling **23**: 605-624, 2024.","tags":[],"title":"User Journey Games: Automating User-Centric Analysis","type":"publication"},{"authors":["Crystal Chang Din","Reiner Hähnle","Ludovic Henrio","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":["Semantics","Denotational semantics","ABS"],"content":"","date":1710486464,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1710486464,"objectID":"a6ef1bbc4e7eba170a49c069d0c41b12","permalink":"https://ebjohnsen.org/publication/24-toplas1/","publishdate":"2024-01-27T09:07:44+02:00","relpermalink":"/publication/24-toplas1/","section":"publication","summary":"ACM Transactions on Programming Languages and Systems (TOPLAS) **46 (1)**, 2024.","tags":["Semantics","Denotational semantics","ABS"],"title":"Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages","type":"publication"},{"authors":["Einar Broch Johnsen","Manuel Wimmer"],"categories":[],"content":"","date":1709276864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1709276864,"objectID":"5eaa72fac6e6076433a4dbd84ca25836","permalink":"https://ebjohnsen.org/publication/24-fmsd/","publishdate":"2024-01-27T09:07:44+02:00","relpermalink":"/publication/24-fmsd/","section":"publication","summary":"Formal Methods in System Design, 2024 ","tags":[],"title":"Preface for the Formal Methods in System Design special issue on ‘FASE 2022’","type":"publication"},{"authors":["Einar Broch Johnsen"],"categories":["Invited talks"],"content":"","date":1707822900,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1707822900,"objectID":"a029c276580d6008d6dbe0dcbf084491","permalink":"https://ebjohnsen.org/talk/a-digital-twin-for-pandemic-monitoring-and-prevention/","publishdate":"2022-08-29T00:00:00Z","relpermalink":"/talk/a-digital-twin-for-pandemic-monitoring-and-prevention/","section":"event","summary":"Norway Life Science 2024","tags":["Talks","digital twins"],"title":"A Digital Twin for Pandemic Monitoring and Prevention","type":"event"},{"authors":["Einar Broch Johnsen"],"categories":["Invited talks"],"content":"","date":1707423300,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1707423300,"objectID":"da1a2292b5a80f078cbb221885420346","permalink":"https://ebjohnsen.org/talk/en-digital-tvilling-for-oslofjorden/","publishdate":"2022-08-29T00:00:00Z","relpermalink":"/talk/en-digital-tvilling-for-oslofjorden/","section":"event","summary":"Oslofjord Citizen Science Evening","tags":["Talks","digital twins"],"title":"En digital tvilling for Oslofjorden","type":"event"},{"authors":[],"categories":[],"content":"","date":1706776385,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1706776385,"objectID":"d16418008b5b50f82b80e52bdd67aadd","permalink":"https://ebjohnsen.org/teaching/in2080/","publishdate":"2024-02-01T10:33:05+02:00","relpermalink":"/teaching/in2080/","section":"teaching","summary":"Bachelor course, Dept. of Informatics, UiO, Spring 2024.","tags":[],"title":"IN2080: Computability and Complexity","type":"teaching"},{"authors":["Frank S. de Boer","Ferruccio Damiani","Reiner Hähnle","Einar Broch Johnsen","Eduard Kamburjan","(Eds)"],"categories":[],"content":"","date":1706356284,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1706356284,"objectID":"076539c71790828e241a244111e467a6","permalink":"https://ebjohnsen.org/publication/24-aolbook/","publishdate":"2024-01-27T23:38:59+02:00","relpermalink":"/publication/24-aolbook/","section":"publication","summary":"LNCS 14360, Springer 2024.","tags":[],"title":"Active Object Languages: Current Research Trends","type":"publication"},{"authors":["Einar Broch Johnsen"],"categories":["Invited talks"],"content":"","date":1706277600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1706277600,"objectID":"a83a1fb74e54a77ae5f6650a6429e3b6","permalink":"https://ebjohnsen.org/talk/digital-twins-an-emerging-paradigm-for-self-adaptive-model-centric-systems/","publishdate":"2022-08-29T00:00:00Z","relpermalink":"/talk/digital-twins-an-emerging-paradigm-for-self-adaptive-model-centric-systems/","section":"event","summary":"OASIS seminar","tags":["Talks","digital twins"],"title":"Digital Twins: An Emerging Paradigm for Self-Adaptive Model-Centric Systems","type":"event"},{"authors":[],"categories":[],"content":"The Digital Twin of the Oslo Fjord is a project funded by the Sustainable development initiative of the Faculty of Mathematics and Natural Sciences at UiO 2022-2025 (more info here).\nOur main goal is to demonstrate the potential of digital twins to understand the effects of climatic stressors on marine systems, as an instrument to monitor these climatic stressors in near real time, and to explore thresholds in the ecosystem for the effect of climatic stressors through “what-if” experiments using digital twin technology. A digital twin is a modeling framework that integrates real-time sensor data with model-based predictions.\nWe collaborate with Frisk Oslofjord, a project that collects data from the fjord. Frisk Oslofjord provides real-time and historical data about salinity, temperature, oxygen, plankton, etc. in the Oslo Fjord.\nThis digital twin will be used in the context of ongoing digital twin activities at UiO and the dScience center. The digital twin will ultimately enable semantic analysis and, building on that, data visualization by oceanographers and other interested members of the public.\nSystem Architecture The digital twin architecture is currently being developed using SMOL, a language developed at UiO specifically for digital twins. SMOL integrates simulators of physical systems with semantic web technologies and time-series databases. The system architecture will be released as open source.\nWhat-If Scenarios for Ecosystem Stressors Our aim to use the Digital Twin of the Oslo Fjord as a laboratory to explore hypothetical “what-if” experiments, describing scenarios that capture human and climatic stressors on the ecosystems of the fjord. The twin combines physical and biological models of the fjord and its ecosystems. Experts in computer scientists, marine biology, oceanography and physics to capture both the physical and biological effects of such stressors. As an example of ongoing research, we study the effect of extreme weather events on the circulation model of the fjord.\nThe Digital Twin of the Oslo Fjord is also part of the project Coastal Ecosystems Dynamics Under Anthropogenic Pressures, which aims to improve marine sustainability and our understanding of the dynamics in the coastal zone where land and open sea meet.\nMaster students involved in the Oslo Fjord Digital Twin project:\nAndré Finstad Vebjørn Olsen Leihne Janaaththan Muthiah Manokaran Mariann Løtvedt Sander Sigmundstad Ingvild Emilie Øvsthus Researchers involved in the Oslo Fjord Digital Twin project\nEinar Broch Johnsen (computer science, Dept. of Informatics, UiO) Nils Chr Stenseth (marine ecology, Dept. of Biosciences, UiO) Alexander Eiler (marine ecology, Dept. of Biosciences, UiO) Atle Jensen (fluid mechanics, Dept. of Mathematics, UiO) Kai Håkon Christensen (oceanography, Norwegian Meteorological Institute) Jean Rabault (oceanography, Norwegian Meteorological Institute) Sissel Jentoft (marine ecology, Dept. of Biosciences, UiO) Eduard Kamburjan (computer science, Dept. of Informatics, UiO) Andrea Pferscher (computer science, Dept. of Informatics, UiO) Rudolf Schlatte (computer science, Dept. of Informatics, UiO) Lars Willas Dreyer (fluid mechanics, Dept. of Mathematics, UiO) Riccardo Sieve (computer science, Dept. of Informatics, UiO) Laura Ann Slaughter (dScience Center, UiO) Silvia Lizeth Tapia Tarifa (computer science, Dept. of Informatics, UiO) ","date":1706257985,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1706257985,"objectID":"c76ce026e2d06a52637c03b6237000a0","permalink":"https://ebjohnsen.org/project/oslofjord/","publishdate":"2024-01-26T10:33:05+02:00","relpermalink":"/project/oslofjord/","section":"project","summary":"UiO MatNat Sustainable development project, 2022-2025.","tags":[],"title":"A Digital Twin of the Oslo Fjord","type":"project"},{"authors":["Marie-Christine Jakobs","Einar Broch Johnsen","Eduard Kamburjan","Manuel Wimmer"],"categories":[],"content":"","date":1705302464,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1705302464,"objectID":"40eb0354c1ece40a30fb6433e4aeac19","permalink":"https://ebjohnsen.org/publication/24-scp/","publishdate":"2024-01-27T09:07:44+02:00","relpermalink":"/publication/24-scp/","section":"publication","summary":"Science of Computer Programming **232**, January 2024","tags":[],"title":"Preface for the special issue on 'Fundamental Approaches to Software Engineering (FASE 2022)'","type":"publication"},{"authors":["Paul Kobialka","Rudolf Schlatte","Gunnar Rye Bergersen","Einar Broch Johnsen","Silvia Lizeth Tapia Tarifa"],"categories":["User journeys","ABS"],"content":"","date":1704092864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1704092864,"objectID":"7bd859384a9b56b93df990a0ed0110a7","permalink":"https://ebjohnsen.org/publication/24-aol/","publishdate":"2024-01-27T09:07:44+02:00","relpermalink":"/publication/24-aol/","section":"publication","summary":"Active Object Languages: Current Research Trends. Springer 2024.","tags":[],"title":"Simulating User Journeys with Active Objects","type":"publication"},{"authors":["Einar Broch Johnsen","Eduard Kamburjan","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["Tutorials"],"content":"","date":1701766800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1701766800,"objectID":"92f147e64b9e89c2a93b536f1dee97a6","permalink":"https://ebjohnsen.org/talk/the-semantically-reflected-digital-twin./","publishdate":"2022-08-29T00:00:00Z","relpermalink":"/talk/the-semantically-reflected-digital-twin./","section":"event","summary":"Tutorial, ICTAC summer school","tags":["Talks","Digital twins","SMOL"],"title":"The Semantically Reflected Digital Twin.","type":"event"},{"authors":["Erik Voogd","Åsmund Aqissiaq Arild Kløvstad","Einar Broch Johnsen"],"categories":["Symbolic execution","Denotational semantics"],"content":"","date":1701414464,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1701414464,"objectID":"e33e2e9aec7bf1ba21450e6206844933","permalink":"https://ebjohnsen.org/publication/23-ictac/","publishdate":"2022-09-02T09:07:44+02:00","relpermalink":"/publication/23-ictac/","section":"publication","summary":"Proc. ICTAC 2023. LNCS 14446 Springer 2023.","tags":["Symbolic execution","Denotational semantics","Semantics"],"title":"Denotational Semantics for Symbolic Execution","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"","date":1699833600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1699833600,"objectID":"72f4f6cb7f752017e3771fe307194967","permalink":"https://ebjohnsen.org/talk/ifm-2023/","publishdate":"2023-03-05T00:00:00Z","relpermalink":"/talk/ifm-2023/","section":"event","summary":"Intl. Conf. on integrated Formal Methods (iFM 2023)","tags":["Service"],"title":"iFM 2023","type":"event"},{"authors":["Juliane Päßler","Maurice H. ter Beek","Ferruccio Damiani","Silvia Lizeth Tapia Tarifa","Einar Broch Johnsen"],"categories":["Robotics","Self-adaptive systems","Software product lines","REMARO"],"content":"","date":1699081664,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1699081664,"objectID":"c33a8d571ece31d852237b356413c5d7","permalink":"https://ebjohnsen.org/publication/23-ifm/","publishdate":"2022-11-08T09:07:44+02:00","relpermalink":"/publication/23-ifm/","section":"publication","summary":"Proc. iFM 2023. LNCS 14300. Springer 2023.","tags":["REMARO"],"title":"Formal Modelling and Analysis of a Self-Adaptive Robotic System","type":"publication"},{"authors":null,"categories":null,"content":"from IPython.core.display import Image Image(\u0026#39;https://www.python.org/static/community_logos/python-logo-master-v3-TM-flattened.png\u0026#39;) print(\u0026#34;Welcome to Academic!\u0026#34;) Welcome to Academic! Organize your notebooks Place the notebooks that you would like to publish in a notebooks folder at the root of your website.\nImport the notebooks into your site pipx install academic academic import \u0026#39;notebooks/**.ipynb\u0026#39; content/post/ --verbose The notebooks will be published to the folder you specify above. In this case, they will be published to your content/post/ folder.\n","date":1699056000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1699056000,"objectID":"94fa5e486d3bf3e0941e2ff6e7126c06","permalink":"https://ebjohnsen.org/post/blog-with-jupyter/","publishdate":"2023-11-04T00:00:00Z","relpermalink":"/post/blog-with-jupyter/","section":"post","summary":"Easily blog from Jupyter notebooks!","tags":null,"title":"Blog with Jupyter Notebooks!","type":"post"},{"authors":[],"categories":["Invited talks"],"content":"","date":1698923700,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1698923700,"objectID":"41ded11036429b256875d56848626394","permalink":"https://ebjohnsen.org/talk/klimabarometer-for-oslofjorden-faglig-pedagogisk-dag/","publishdate":"2023-10-31T00:00:00Z","relpermalink":"/talk/klimabarometer-for-oslofjorden-faglig-pedagogisk-dag/","section":"event","summary":"Invited talk, Faglig-pedagogisk dag ved Universitetet i Oslo","tags":["Talks"],"title":"Klimabarometer for Oslofjorden (Faglig-pedagogisk dag)","type":"event"},{"authors":["Nils Chr. Stenseth","Rudolf Schlatte","Roger Pielke Jr","Bin Chen","Ottar N. Bjørnstad","Dimitri Kusnezov","George F. Gao","Christophe Fraser","Jason D. Whittington","Peng Gong","Dabo Guan","Einar Broch Johnsen"],"categories":["Digital twins"],"content":"","date":1695964064,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1695964064,"objectID":"485cecc4ac39dfabff452acfd4580d55","permalink":"https://ebjohnsen.org/publication/23-pnas2/","publishdate":"2023-09-25T09:07:44+02:00","relpermalink":"/publication/23-pnas2/","section":"publication","summary":"Proceedings of the National Academy of Sciences **120**, 2023.","tags":["digital twins"],"title":"Reply to Ekström and Ottersen: Real-time access to data during outbreaks is a key to avoid a local epidemic becoming a global pandemic","type":"publication"},{"authors":["Mahsa Varshosaz","Mohsen Ghaffari","Einar Broch Johnsen","Andrzej Wasowski"],"categories":[],"content":"","date":1695193664,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1695193664,"objectID":"e531cc1fc86f3c9ad1417c29496ebb39","permalink":"https://ebjohnsen.org/publication/23-icfp/","publishdate":"2023-08-23T09:07:44+02:00","relpermalink":"/publication/23-icfp/","section":"publication","summary":"Proc. ICFP 2023. ACM 2023.","tags":[],"title":"Formal Specification and Testing for Reinforcement Learning","type":"publication"},{"authors":["Razan Ghzouli","Thorsten Berger","Einar Broch Johnsen","Andrzej Wasowski","Swaib Dragule"],"categories":["Robotics"],"content":"","date":1694322464,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1694322464,"objectID":"6293df87e0b449a3a1314085cdb437df","permalink":"https://ebjohnsen.org/publication/23-tse/","publishdate":"2023-02-28T09:07:44+02:00","relpermalink":"/publication/23-tse/","section":"publication","summary":"IEEE Transactions on Software Engineering  **49 (9)**, Sept. 2023.","tags":[],"title":"Behavior Trees and State Machines in Robotics Applications","type":"publication"},{"authors":["Åsmund Aqissiaq Arild Kløvstad","Eduard Kamburjan","Einar Broch Johnsen"],"categories":["Symbolic execution","Semantics"],"content":"","date":1693724864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1693724864,"objectID":"32a237dfa426a8787c98b65f01daea1d","permalink":"https://ebjohnsen.org/publication/23-concur/","publishdate":"2022-09-02T09:07:44+02:00","relpermalink":"/publication/23-concur/","section":"publication","summary":"Proc. CONCUR 2023. LIPIcs 2023.","tags":["Symbolic execution","Semantics"],"title":"Compositional Correctness and Completeness for Symbolic Partial Order Reduction","type":"publication"},{"authors":["Erik Voogd","Einar Broch Johnsen","Alexandra Silva","Zachary J. Susag","Andrzej Wasowski"],"categories":["Symbolic execution","Denotational semantics"],"content":"","date":1693724864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1693724864,"objectID":"6390e45781336ef6e93bff37a064c94b","permalink":"https://ebjohnsen.org/publication/23-qest/","publishdate":"2022-09-08T09:07:44+02:00","relpermalink":"/publication/23-qest/","section":"publication","summary":"Proc. QEST 2023. LNCS 14287. Springer 2023.","tags":["Symbolic execution","Denotational semantics","Semantics"],"title":"Symbolic Semantics for Probabilistic Programs","type":"publication"},{"authors":["Gianluca Turin","Andrea Borgarelli","Simone Donetti","Ferruccio Damiani","Einar Broch Johnsen","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1693544864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1693544864,"objectID":"97438bd352c33e0f6d9d0f851cacce97","permalink":"https://ebjohnsen.org/publication/23-jss/","publishdate":"2023-02-28T09:07:44+02:00","relpermalink":"/publication/23-jss/","section":"publication","summary":"Journal of Systems \u0026 Software **203**, Sept. 2023.","tags":["cloud","ABS"],"title":"Predicting Resource Consumption of Kubernetes Container Systems using Resource Models","type":"publication"},{"authors":[],"categories":[],"content":"","date":1690878785,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1690878785,"objectID":"d7c025ab323d81f447eb272721b93f47","permalink":"https://ebjohnsen.org/teaching/in5170/","publishdate":"2023-08-01T10:33:05+02:00","relpermalink":"/teaching/in5170/","section":"teaching","summary":"Master course, Dept. of Informatics, UiO, Autumn 2023.","tags":[],"title":"IN5170: Models of Concurrency","type":"teaching"},{"authors":[],"categories":["Programme committees"],"content":"","date":1689638400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1689638400,"objectID":"6776c2f0d2799977db4b6872b190fff9","permalink":"https://ebjohnsen.org/talk/tap-2023/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/tap-2023/","section":"event","summary":"Intl. Conf. on Fundamentals of Software Engineering (FSEN 2023)","tags":["Service"],"title":"TAP 2023","type":"event"},{"authors":[],"categories":["Invited talks"],"content":"","date":1683030600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1683030600,"objectID":"528d4732c7c9f5adf0db2c2348eb88fb","permalink":"https://ebjohnsen.org/talk/digital-twins-an-emerging-paradigm-for-model-centric-systems/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/digital-twins-an-emerging-paradigm-for-model-centric-systems/","section":"event","summary":"SWS seminar, Radboud University, Nijmegen, NL","tags":["Talks"],"title":"Digital Twins: An Emerging Paradigm for Model-Centric Systems","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"","date":1682467200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1682467200,"objectID":"9ccbf4b38d421cf61ad358e6eb8e095b","permalink":"https://ebjohnsen.org/talk/fsen-2023/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/fsen-2023/","section":"event","summary":"Intl. Conf. on Fundamentals of Software Engineering (FSEN 2023)","tags":["Service"],"title":"FSEN 2023","type":"event"},{"authors":[],"categories":null,"content":"","date":1681639791,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1681639791,"objectID":"6d6d4f9db56193f4919e689c909cc579","permalink":"https://ebjohnsen.org/talk/fase-2023/","publishdate":"2022-05-16T12:09:51+02:00","relpermalink":"/talk/fase-2023/","section":"event","summary":"26th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2023)","tags":["Service"],"title":"FASE 2023","type":"event"},{"authors":["Gustavo rezende Silva","Juliane Päßler","Jeroen Zwanepol","Elvin Alberts","Silvia Lizeth Tapia Tarifa","Ilias Gerostathopoulos","Einar Broch Johnsen","Carlos Hernández Corbato"],"categories":["Robotics","Self-adaptive systems","REMARO"],"content":"","date":1678950464,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678950464,"objectID":"ce9db47a657477bddd651a0c95c794bf","permalink":"https://ebjohnsen.org/publication/23-seams/","publishdate":"2022-06-08T09:07:44+02:00","relpermalink":"/publication/23-seams/","section":"publication","summary":"Proc. SEAMS 2023. IEEE/ACM 2023.","tags":["Robotics","REMARO"],"title":"SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles","type":"publication"},{"authors":[],"categories":["Invited talks"],"content":"","date":1678365900,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678365900,"objectID":"b70102e69df77c8aa2a09838f5aca0fc","permalink":"https://ebjohnsen.org/talk/klimabarometer-for-oslofjorden/","publishdate":"2023-03-05T00:00:00Z","relpermalink":"/talk/klimabarometer-for-oslofjorden/","section":"event","summary":"Invited talk, Åpen dag ved Universitetet i Oslo","tags":["Talks"],"title":"Klimabarometer for Oslofjorden","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"","date":1678060800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678060800,"objectID":"00a426a6b94ee83f8884a9e14dd1a463","permalink":"https://ebjohnsen.org/talk/fm-2023/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/fm-2023/","section":"event","summary":"Intl. Symp. on Formal Methods  (FM 2023)","tags":["Service"],"title":"FM 2023","type":"event"},{"authors":["Nils Chr. Stenseth","Rudolf Schlatte","Roger Pielke Jr","Ruiyun Li","Bin Chen","Ottar N. Bjørnstad","Dimitri Kusnezov","George F. Gao","Christophe Fraser","Jason D. Whittington","Yuqi Bai","Ke Deng","Peng Gong","Dabo Guan","Yixiong Xiao","Bing Xu","Einar Broch Johnsen"],"categories":["Digital twins"],"content":"","date":1677560864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1677560864,"objectID":"241682c1fb06b045a4894d037f0347d9","permalink":"https://ebjohnsen.org/publication/23-pnas/","publishdate":"2023-02-28T09:07:44+02:00","relpermalink":"/publication/23-pnas/","section":"publication","summary":"Proceedings of the National Academy of Sciences 120, 2023.","tags":["digital twins"],"title":"How to Avoid a Local Epidemic Becoming a Global Pandemic","type":"publication"},{"authors":["Paul Kobialka","Felix Mannhardt","Silvia Lizeth Tapia Tarifa","Einar Broch Johnsen"],"categories":["User journeys","Games"],"content":"","date":1672384064,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1672384064,"objectID":"95a29608840d9474a515a95be955cbd2","permalink":"https://ebjohnsen.org/publication/22-edba/","publishdate":"2022-12-30T09:07:44+02:00","relpermalink":"/publication/22-edba/","section":"publication","summary":"Proc. EdbA 2022. LNBIP 468, Springer 2023.","tags":[],"title":"Building User Journey Games from Multi-Party Event Logs","type":"publication"},{"authors":[],"categories":["Invited talks"],"content":"Bio. Einar Broch Johnsen is a professor and the head of the Formal Methods group at the Department of Informatics, University of Oslo. His research interests include programming models and methodology; program specification and modeling; and the theory and application of formal methods. He is active in formal methods for distributed and concurrent systems, including object-oriented and concurrent languages, manycore computing, cloud computing, and digital twins. He is one of the main developers of the ABS modeling language.\n","date":1669029300,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1669029300,"objectID":"c7b7e5cd9c203bac778c735a2fe02989","permalink":"https://ebjohnsen.org/talk/digital-twins-an-emerging-paradigm-for-model-centric-engineering/","publishdate":"2022-11-07T00:00:00Z","relpermalink":"/talk/digital-twins-an-emerging-paradigm-for-model-centric-engineering/","section":"event","summary":"Invited talk, Department research seminar, Dept. of Informatics, University of Oslo","tags":["Talks","digital twins"],"title":"Digital Twins: An Emerging Paradigm for Model-Centric Engineering ","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"","date":1665360000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1665360000,"objectID":"87b1e86d6ef1844786e9a5eed3e7d506","permalink":"https://ebjohnsen.org/talk/ase-nier-2022/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/ase-nier-2022/","section":"event","summary":"NIER track, Intl Conf. on Automated Software Engineering (ASE-NIER 2022)","tags":["Service"],"title":"ASE-NIER 2022","type":"event"},{"authors":["Einar Broch Johnsen","Eduard Kamburjan","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["Tutorials"],"content":"","date":1664190000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1664190000,"objectID":"f7b7bb415a285e9d86e3b44fd17916c8","permalink":"https://ebjohnsen.org/talk/a-semantically-reflected-digital-twin/","publishdate":"2022-08-29T00:00:00Z","relpermalink":"/talk/a-semantically-reflected-digital-twin/","section":"event","summary":"Tutorial, ICTAC summer school","tags":["Talks","Digital twins","SMOL"],"title":"A Semantically Reflected Digital Twin","type":"event"},{"authors":[],"categories":null,"content":"","date":1663581249,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1663581249,"objectID":"50acfafd49e2ef7828469e87d3735318","permalink":"https://ebjohnsen.org/talk/faacs-2022/","publishdate":"2022-05-16T11:54:09+02:00","relpermalink":"/talk/faacs-2022/","section":"event","summary":"6th Intl. Workshop on Formal Approaches for Advanced Computing System (FAACS 2022)","tags":["Service"],"title":"FAACS 2022","type":"event"},{"authors":["Rudolf Schlatte","Einar Broch Johnsen","Eduard Kamburjan","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1662700064,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1662700064,"objectID":"a4d5a6bd488b4075274eeb0ccbf37584","permalink":"https://ebjohnsen.org/publication/22-scp/","publishdate":"2022-09-09T09:07:44+02:00","relpermalink":"/publication/22-scp/","section":"publication","summary":"Science of Computer Programming 223, 2022.","tags":["ABS"],"title":"The ABS Simulator Toolchain","type":"publication"},{"authors":["Raúl Pardo","Einar Broch Johnsen","Ina Schaefer","Andrzej Wasowski"],"categories":[],"content":"","date":1660799264,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1660799264,"objectID":"5ebf51c6ff2b2c4ffdc6023b2ce7112d","permalink":"https://ebjohnsen.org/publication/22-ictac/","publishdate":"2022-08-18T09:07:44+02:00","relpermalink":"/publication/22-ictac/","section":"publication","summary":"Proc. ICTAC 2022. LNCS 13572, Springer 2022.","tags":[],"title":"A Specification Logic for Programs in the Probabilistic Guarded Command Language","type":"publication"},{"authors":["Juliane Päßler","Esther Aguadol","Gustavo Rezende Silva","Carlos Hernández Corbato","Silvia Lizeth Tapia Tarifa","Einar Broch Johnsen"],"categories":["Self-adaptive systems","REMARO"],"content":"","date":1660795664,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1660795664,"objectID":"644cfa2c856254d7e359d56f794aaf88","permalink":"https://ebjohnsen.org/publication/22-isola3/","publishdate":"2022-08-18T09:07:44+02:00","relpermalink":"/publication/22-isola3/","section":"publication","summary":"Proc. ISoLA 2022. LNCS 13701, Springer 2022.","tags":["REMARO"],"title":"A Formal Model of Metacontrol in Maude","type":"publication"},{"authors":["Eduard Kamburjan","Vidar Norstein Klungre","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa","David Cameron","Einar Broch Johnsen"],"categories":["Digital twins","SMOL","Semantic reflection"],"content":"","date":1660795664,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1660795664,"objectID":"eb983aa731ace031a0354ce0fa04c997","permalink":"https://ebjohnsen.org/publication/22-isola2/","publishdate":"2022-08-18T09:07:44+02:00","relpermalink":"/publication/22-isola2/","section":"publication","summary":"Proc. ISoLA 2022. LNCS 13704, Springer 2022.","tags":["Digital twins","SMOL","Semantic reflection"],"title":"Digital Twin Reconfiguration Using Asset Models","type":"publication"},{"authors":["Eduard Kamburjan","Crystal Chang Din","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa","Einar Broch Johnsen"],"categories":["Digital twins"],"content":"","date":1660795664,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1660795664,"objectID":"cf5415d14d24b35fdd4e640d861a89e9","permalink":"https://ebjohnsen.org/publication/22-isola1/","publishdate":"2022-08-18T09:07:44+02:00","relpermalink":"/publication/22-isola1/","section":"publication","summary":"Proc. ISoLA 2022. LNCS 13701, Springer 2022.","tags":["Digital twins"],"title":"Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins","type":"publication"},{"authors":["Paul Kobialka","Silvia Lizeth Tapia Tarifa","Gunnar Rye Bergersen","Einar Broch Johnsen"],"categories":["User journeys","Games"],"content":"","date":1659942464,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1659942464,"objectID":"02aa854bb2b0fbd62e2dfbb1ceb540cc","permalink":"https://ebjohnsen.org/publication/22-sefm/","publishdate":"2022-06-08T09:07:44+02:00","relpermalink":"/publication/22-sefm/","section":"publication","summary":"Proc. SEFM 2022. LNCS 13550, Springer 2022.","tags":[],"title":"Weighted Games for User Journeys","type":"publication"},{"authors":["Farzane Karami","David Basin","Einar Broch Johnsen"],"categories":[],"content":"","date":1659899265,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1659899265,"objectID":"97e79fb647024a51de3b02ec6455ef38","permalink":"https://ebjohnsen.org/publication/22-csf/","publishdate":"2021-10-21T21:07:45+02:00","relpermalink":"/publication/22-csf/","section":"publication","summary":"Proc. CSF 2022. © IEEE CS Press 2022.","tags":[],"title":"DPL: A Language for GDPR Enforcement","type":"publication"},{"authors":["Wolfgang Ahrendt","Bernhard Beckert","Richard Bubel","Einar Broch Johnsen","(Eds)"],"categories":[],"content":"","date":1656935484,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1656935484,"objectID":"e0fdb9af5f04b7320ee5a4cd23739252","permalink":"https://ebjohnsen.org/publication/22-srh/","publishdate":"2022-07-04T23:38:59+02:00","relpermalink":"/publication/22-srh/","section":"publication","summary":"LNCS 13360, Springer 2022.","tags":[],"title":"The Logic of Software. A Tasting Menu of Formal Methods","type":"publication"},{"authors":[],"categories":["Invited talks"],"content":"Bio. Einar Broch Johnsen is a professor and the head of the Formal Methods group at the Department of Informatics, University of Oslo. His research interests include programming models and methodology; program specification and modeling; and the theory and application of formal methods. He is active in formal methods for distributed and concurrent systems, including object-oriented and concurrent languages, manycore computing, cloud computing, and digital twins. He is one of the main developers of the ABS modeling language.\n","date":1655715600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1655715600,"objectID":"bc42a4bf606cb34893830f0eab7b6c95","permalink":"https://ebjohnsen.org/talk/digital-twins-an-emerging-paradigm-for-model-centric-engineering-pnse-2022/","publishdate":"2022-05-31T00:00:00Z","relpermalink":"/talk/digital-twins-an-emerging-paradigm-for-model-centric-engineering-pnse-2022/","section":"event","summary":"Keynote, Intl. Workshop on Petri Nets and Software Engineering (PNSE 2022)","tags":["Talks","Keynotes"],"title":"Digital Twins: An Emerging Paradigm for Model-Centric Engineering (PNSE 2022)","type":"event"},{"authors":[],"categories":["Invited talks"],"content":"","date":1655294400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1655294400,"objectID":"de8cfa92e6ad67d48a537da60bb2e96e","permalink":"https://ebjohnsen.org/talk/digital-twins-and-hpc/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/digital-twins-and-hpc/","section":"event","summary":"Invited talk, Data@UiO","tags":["Talks"],"title":"Digital Twins and HPC","type":"event"},{"authors":["Eduard Kamburjan","Einar Broch Johnsen"],"categories":["Digital twins","SMOL"],"content":"","date":1654111726,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1654111726,"objectID":"c324056944aa4750ed330b6686452030","permalink":"https://ebjohnsen.org/publication/22-annsim/","publishdate":"2022-06-01T21:28:46+02:00","relpermalink":"/publication/22-annsim/","section":"publication","summary":"Proc. ANNSIM 2022. IEEE Press 2022.","tags":["Digital twins","Smol"],"title":"Knowledge Structures over Simulation Units","type":"publication"},{"authors":[],"categories":["Invited talks"],"content":"","date":1653400800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1653400800,"objectID":"91311327572f7e1ba6f0addcda30d88e","permalink":"https://ebjohnsen.org/talk/a-digital-twin-for-land-ocean-coupling-during-intense-precipitation/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/a-digital-twin-for-land-ocean-coupling-during-intense-precipitation/","section":"event","summary":"The Faculty of Natural Sciences' Sustainability Seminar","tags":["Talks"],"title":"A Digital Twin for Land-Ocean Coupling During Intense Precipitation","type":"event"},{"authors":[],"categories":["Invited talks"],"content":"Bio. Einar Broch Johnsen is a professor and the head of the Formal Methods group at the Department of Informatics, University of Oslo. His research interests include programming models and methodology; program specification and modeling; and the theory and application of formal methods. He is active in formal methods for distributed and concurrent systems, including object-oriented and concurrent languages, manycore computing, cloud computing, and digital twins. He is one of the main developers of the ABS modeling language.\n","date":1652972400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1652972400,"objectID":"bef10f2bc9fced1677590d6c544d29db","permalink":"https://ebjohnsen.org/talk/digital-twins-an-emerging-paradigm-for-model-centric-engineering-formalise-2022/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/digital-twins-an-emerging-paradigm-for-model-centric-engineering-formalise-2022/","section":"event","summary":"Keynote, Intl. Conf. on Formal Methods in Software Engineering (FormaliSE 2022)","tags":["Talks","Keynotes"],"title":"Digital Twins: An Emerging Paradigm for Model-Centric Engineering (FormaliSE 2022)","type":"event"},{"authors":[],"categories":["Invited talks"],"content":"Abstract. Digital twins are emerging as an engineering paradigm to build software centred around models of physical objects or processes, with very diverse application domains. The purpose of a digital twin is to understand, predict and act on the behaviour of these physical systems. In engineering, the use of digital twins profoundly changes the management of the entire product lifecycle, from design to manufacturing and operations, because the digital twins adapt in response to the evolution of their physical counterpart. In this talk, we discuss digital twins from the perspective of behavioural models. We share some ideas about model evolution in digital twins from this perspective, tell you about our current research activities on digital twins at the University of Oslo, and discuss some ensuing research challenges at the intersection of formal methods and software engineering.\nBio. Einar Broch Johnsen is a professor and the head of the Formal Methods group at the Department of Informatics, University of Oslo. His research interests include programming models and methodology; system specification and modeling; and the theory and application of formal methods. He is active in formal methods for distributed and concurrent systems, including object-oriented and concurrent languages, manycore computing, cloud computing, and digital twins. He is one of the main developers of the ABS modeling language. Homepage: https://ebjohnsen.org\n","date":1651510800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1651510800,"objectID":"fea85da48fa75092098037b207e69412","permalink":"https://ebjohnsen.org/talk/digital-twins-as-evolving-model-centric-systems/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/digital-twins-as-evolving-model-centric-systems/","section":"event","summary":"Invited talk, Engineering Digital Twins Seminar Series","tags":["Talks"],"title":"Digital Twins as Evolving Model-Centric Systems","type":"event"},{"authors":[],"categories":[],"content":"NebulOuS is a Horizon Europe project, funded by the European Commission 2022-2025 (project no 101070516).\nNebulOuS will accomplish substantial research contributions in the realms of cloud and fog computing brokerage by introducing advanced methods and tools for enabling secure and optimal application provisioning and reconfiguration over the cloud computing continuum. NebulOuS will develop a novel Meta Operating System and platform for enabling transient fog brokerage ecosystems that seamlessly exploit edge and fog nodes, in conjunction with multi-cloud resources, to cope with the requirements posed by low latency applications. The envisaged solution includes the following main directions of work:\ni. Development of appropriate modelling methods and tools for describing the cloud computing continuum, application requirements, and data streams; these methods and tools will be used for assuring the QoS of the provisioned brokered services. ii. Efficient comparison of available offerings, using appropriate multi-criteria decision-making methods that are able to consider all dimensions of consumer requirements. iii. Intelligent applications, workflows and data streams management in the cloud computing continuum. iv. Addressing in a unified manner the security aspects emerging in of transient cloud computing continuums (e.g., access control, secure network overlay etc.). v. Conducting and monitoring smart contracts-based service level agreements.\n","date":1650961985,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1650961985,"objectID":"37aa65db6c6876ee064937a9f18fc2c1","permalink":"https://ebjohnsen.org/project/nebulous/","publishdate":"2022-04-26T10:33:05+02:00","relpermalink":"/project/nebulous/","section":"project","summary":"An EU Horizon Europe RIA project, 2022-2025.","tags":[],"title":"NebulOuS: A Meta Operating System for Brokering Hyper-Distributed Applications on Cloud Computing Continuums","type":"project"},{"authors":["Geir Horn","Einar Broch Johnsen","Rudolf Schlatte"],"categories":["Digital twins"],"content":"","date":1649876865,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1649876865,"objectID":"a3a64e06b40e5a028f309d7c2d5662ac","permalink":"https://ebjohnsen.org/publication/22-ccpi/","publishdate":"2022-06-01T21:07:45+02:00","relpermalink":"/publication/22-ccpi/","section":"publication","summary":"Proc. CCPI 2022. LNNS 451. © Springer 2022.","tags":["Digital twins","Cloud"],"title":"Digital Twins for Autonomic Cloud Application Management","type":"publication"},{"authors":["Einar Broch Johnsen","Manuel Wimmer","(Eds)"],"categories":[],"content":"","date":1649073084,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1649073084,"objectID":"38a9218cdf4c37808bfb17d277c7d557","permalink":"https://ebjohnsen.org/publication/22-fase/","publishdate":"2022-03-21T23:38:59+02:00","relpermalink":"/publication/22-fase/","section":"publication","summary":"LNCS 13241, Springer 2022.","tags":[],"title":"Proc. 25th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2022)","type":"publication"},{"authors":[],"categories":["Invited talks"],"content":"Abstract\nDigital twins are emerging as an engineering discipline to build virtual representations of physical objects or processes. In engineering, the use of digital twins profoundly changes the entire product lifecycle management, from design, to manufacturing to service and operations, because the digital twins adapt in response to the evolution of their physical counterpart. Digital twins can evolve continuously based on streams of observations of the physical system, for example from sensors that connect the physical system to the digital twin in near real-time.\nIn this talk, we move from the engineering of digital twins to the science of digital twins. We consider basic concepts of digital twins, present some examples of how we are working with them in research, and discuss scientific challenges related to digital twins.\n","date":1645101900,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1645101900,"objectID":"645f82278c0b2cf0d35bed8f4ddd1374","permalink":"https://ebjohnsen.org/talk/digital-twins-from-engineering-to-science/","publishdate":"2017-01-01T00:00:00Z","relpermalink":"/talk/digital-twins-from-engineering-to-science/","section":"event","summary":"Distinguished Lecture Series, Dept. of Informatics, University of Bergen","tags":["Talks"],"title":"Digital Twins: From Engineering to Science","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"TAP 2022, Nantes, France, 5-6 July 2022\n","date":1643231355,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1643231355,"objectID":"69746f13c49599e42cd02f0e76b6a982","permalink":"https://ebjohnsen.org/talk/tap-2022/","publishdate":"2022-01-26T23:09:15+02:00","relpermalink":"/talk/tap-2022/","section":"event","summary":"TAP 2022, Nantes, France, 5-6 July 2022","tags":[],"title":"TAP 2022","type":"event"},{"authors":["Ragnhild Halvorsrud","Felix Mannhardt","Einar Broch Johnsen","Silvia Lizeth Tapia Tarifa"],"categories":["User journeys"],"content":"","date":1628363265,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1628363265,"objectID":"7e7541cde4197a3c7df4ea67420f4936","permalink":"https://ebjohnsen.org/publication/21-scc/","publishdate":"2021-10-21T21:07:45+02:00","relpermalink":"/publication/21-scc/","section":"publication","summary":"Proc. CSS 2021. © IEEE 2021.","tags":[],"title":"Smart Journey Mining for Improved Service Quality","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"iFM 2022, Lugano, Switzerland, 7-10 June 2022\n","date":1627333755,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1627333755,"objectID":"7e0272d0d52c7d0b9f224a5143430e1f","permalink":"https://ebjohnsen.org/talk/ifm-2022/","publishdate":"2021-07-26T23:09:15+02:00","relpermalink":"/talk/ifm-2022/","section":"event","summary":"iFM 2022, Lugano, Switzerland, 7-10 June 2022","tags":["Service"],"title":"iFM 2022","type":"event"},{"authors":["Rudolf Schlatte","Einar Broch Johnsen","Eduard Kamburjan","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1623740864,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1623740864,"objectID":"890a0d1d36da4e59b0ff3cd40fb29ee7","permalink":"https://ebjohnsen.org/publication/21-coordination/","publishdate":"2021-06-08T09:07:44+02:00","relpermalink":"/publication/21-coordination/","section":"publication","summary":"Proc. COORDINATION 2021. LNCS 12717, Springer 2021.","tags":["ABS"],"title":"Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction","type":"publication"},{"authors":["Eduard Kamburjan","Vidar Norstein Klungre","Rudolf Schlatte","Einar Broch Johnsen","Martin Giese"],"categories":["SMOL"],"content":"","date":1623136064,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1623136064,"objectID":"eb9f27272a94305e43dc1b6b8ffc1293","permalink":"https://ebjohnsen.org/publication/21-eswc/","publishdate":"2021-06-08T09:07:44+02:00","relpermalink":"/publication/21-eswc/","section":"publication","summary":"Proc. ESWC 2021. LNCS 12731, Springer 2021.","tags":["SMOL"],"title":"Programming and Debugging with Semantically Lifted States","type":"publication"},{"authors":[],"categories":["Programme committees","PC chair"],"content":"FASE 2022, Munich, Germany, April 2-7, 2022\n","date":1622495347,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1622495347,"objectID":"240afb0e274b08318b049ac12ed86316","permalink":"https://ebjohnsen.org/talk/fase-2022/","publishdate":"2021-05-31T23:09:07+02:00","relpermalink":"/talk/fase-2022/","section":"event","summary":"FASE 2022, Munich, Germany, April 2-7, 2022","tags":["Service"],"title":"FASE 2022","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"VORTEX 2021, Virtual Aarhus, Denmark July 12, 2021\n","date":1617224947,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1617224947,"objectID":"7bc673f2d5c59add11b484a0551ca5b0","permalink":"https://ebjohnsen.org/talk/vortex-2021/","publishdate":"2021-03-31T23:09:07+02:00","relpermalink":"/talk/vortex-2021/","section":"event","summary":"VORTEX 2021, Virtual Aarhus, Denmark July 12, 2021","tags":["Service"],"title":"VORTEX 2021","type":"event"},{"authors":["admin","吳恩達"],"categories":["Demo","教程"],"content":"import libr print(\u0026#39;hello\u0026#39;) Overview The Wowchemy website builder for Hugo, along with its starter templates, is designed for professional creators, educators, and teams/organizations - although it can be used to create any kind of site The template can be modified and customised to suit your needs. It’s a good platform for anyone looking to take control of their data and online identity whilst having the convenience to start off with a no-code solution (write in Markdown and customize with YAML parameters) and having flexibility to later add even deeper personalization with HTML and CSS You can work with all your favourite tools and apps with hundreds of plugins and integrations to speed up your workflows, interact with your readers, and much more Get Started 👉 Create a new site 📚 Personalize your site 💬 Chat with the Wowchemy community or Hugo community 🐦 Twitter: @wowchemy @GeorgeCushen #MadeWithWowchemy 💡 Request a feature or report a bug for Wowchemy ⬆️ Updating Wowchemy? View the Update Tutorial and Release Notes Crowd-funded open-source software To help us develop this template and software sustainably under the MIT license, we ask all individuals and businesses that use it to help support its ongoing maintenance and development via sponsorship.\n❤️ Click here to become a sponsor and help support Wowchemy’s future ❤️ As a token of appreciation for sponsoring, you can unlock these awesome rewards and extra features 🦄✨\nEcosystem Hugo Academic CLI: Automatically import publications from BibTeX Inspiration Check out the latest demo of what you’ll get in less than 10 minutes, or view the showcase of personal, project, and business sites.\nFeatures Page builder - Create anything with widgets and elements Edit any type of content - Blog posts, publications, talks, slides, projects, and more! Create content in Markdown, Jupyter, or RStudio Plugin System - Fully customizable color and font themes Display Code and Math - Code highlighting and LaTeX math supported Integrations - Google Analytics, Disqus commenting, Maps, Contact Forms, and more! Beautiful Site - Simple and refreshing one page design Industry-Leading SEO - Help get your website found on search engines and social media Media Galleries - Display your images and videos with captions in a customizable gallery Mobile Friendly - Look amazing on every screen with a mobile friendly version of your site Multi-language - 34+ language packs including English, 中文, and Português Multi-user - Each author gets their own profile page Privacy Pack - Assists with GDPR Stand Out - Bring your site to life with animation, parallax backgrounds, and scroll effects One-Click Deployment - No servers. No databases. Only files. Themes Wowchemy and its templates come with automatic day (light) and night (dark) mode built-in. Alternatively, visitors can choose their preferred mode - click the moon icon in the top right of the Demo to see it in action! Day/night mode can also be disabled by the site admin in params.toml.\nChoose a stunning theme and font for your site. Themes are fully customizable.\nLicense Copyright 2016-present George Cushen.\nReleased under the MIT license.\n","date":1607817600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1607817600,"objectID":"279b9966ca9cf3121ce924dca452bb1c","permalink":"https://ebjohnsen.org/post/getting-started/","publishdate":"2020-12-13T00:00:00Z","relpermalink":"/post/getting-started/","section":"post","summary":"Welcome 👋 We know that first impressions are important, so we've populated your new site with some initial content to help you get familiar with everything in no time.","tags":["Academic","开源"],"title":"Welcome to Hugo Blox Builder, the website builder for Hugo","type":"post"},{"authors":["Frank S. de Boer","Einar Broch Johnsen","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa","Lars Tveito"],"categories":["Symbolic execution"],"content":"","date":1605422863,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1605422863,"objectID":"aa15c9d63d2ae5d3076ef56ede22335c","permalink":"https://ebjohnsen.org/publication/20-gabbrielli/","publishdate":"2020-09-13T08:47:43+02:00","relpermalink":"/publication/20-gabbrielli/","section":"publication","summary":"Festschrift Maurizio Gabbrielli, 2020.","tags":["Symbolic execution"],"title":"Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages","type":"publication"},{"authors":["Ludovic Henrio","Einar Broch Johnsen","Violet Ka I Pun"],"categories":[],"content":"","date":1605338511,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1605338511,"objectID":"996384e7f27d662e3c54083218efe470","permalink":"https://ebjohnsen.org/publication/20-ifm/","publishdate":"2020-09-12T09:21:51+02:00","relpermalink":"/publication/20-ifm/","section":"publication","summary":"Proc. IFM 2020. LNCS 12546, Springer 2020","tags":[],"title":"Active Objects with Deterministic Behavior","type":"publication"},{"authors":["Razan Ghzouli","Thorsten Berger","Einar Broch Johnsen","Swaib Dragule","Andrzej Wasowski"],"categories":["Robotics"],"content":"","date":1605251264,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1605251264,"objectID":"d13bd2b15c3ff1b77226b620cc051eb1","permalink":"https://ebjohnsen.org/publication/20-sle/","publishdate":"2020-09-12T09:07:44+02:00","relpermalink":"/publication/20-sle/","section":"publication","summary":"Proc. SLE 2020. ACM Press 2020.","tags":[],"title":"Behavior Trees in Action: A Study of Robotics Applications","type":"publication"},{"authors":["Gianluca Turin","Andrea Borgarelli","Simone Donetti","Einar Broch Johnsen","Silvia Lizeth Tapia Tarifa","Ferruccio Damiani"],"categories":[],"content":"","date":1603955274,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1603955274,"objectID":"d1c72962a50a868121b0996d6a3cc3ad","permalink":"https://ebjohnsen.org/publication/20-isola2/","publishdate":"2020-10-12T09:07:54+02:00","relpermalink":"/publication/20-isola2/","section":"publication","summary":"Proc. ISoLA 2020. LNCS 12476, Springer 2020.","tags":["Cloud","ABS"],"title":"A Formal Model of the Kubernetes Container Framework","type":"publication"},{"authors":["Einar Broch Johnsen","Martin Steffen","Johanna Beate Stumpf"],"categories":[],"content":"","date":1602486471,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1602486471,"objectID":"a8921526f5ea0c07458782fabb121f95","permalink":"https://ebjohnsen.org/publication/20-isola1/","publishdate":"2020-10-12T09:07:51+02:00","relpermalink":"/publication/20-isola1/","section":"publication","summary":"Proc. ISoLA 2020. LNCS 12476, Springer 2020","tags":["Cloud"],"title":"Assumption-Commitment Types for Resource Management in Virtually Timed Ambients","type":"publication"},{"authors":["Eduard Kamburjan","Rudolf Schlatte","Einar Broch Johnsen","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1602486471,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1602486471,"objectID":"177b1ae0c25bbf66a444610931a4c0d0","permalink":"https://ebjohnsen.org/publication/20-isola3/","publishdate":"2020-10-12T09:07:51+02:00","relpermalink":"/publication/20-isola3/","section":"publication","summary":"Proc. ISoLA 2020. LNCS 12479, Springer 2020","tags":["Digital twins"],"title":"Designing Distributed Control with Hybrid Active Objects.","type":"publication"},{"authors":[],"categories":[],"content":"Remaro is a Marie Skłodowska-Curie (MSCA) European Training Network funded by the European Commission 2020-2024 (project no 956200). CORDIS website here.\nThe network will educate 15 PhD research fellows on complimentary aspects of reliable autonomy for underwater robotic applications. The REMARO research fellows will develop the first ever submarine robotics AI methods with quantified reliability, correctness specifications, models, tests, and analysis \u0026amp; verification methods.\n","date":1601713985,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1601713985,"objectID":"65c2653bd54e823ad768ce913b6de1ce","permalink":"https://ebjohnsen.org/project/remaro/","publishdate":"2020-10-03T10:33:05+02:00","relpermalink":"/project/remaro/","section":"project","summary":"An EU Marie Skłodowska-Curie (MSCA) European Training Network 2020-2024.","tags":[],"title":"Remaro: Reliable AI for Marine Robotics","type":"project"},{"authors":[],"categories":[],"content":"SJM is a project funded by the Research Council of Norway 2021-2024. The partners are SINTEF Digital (coordinator), University of Oslo, and Eindhoven University of Technology.\nThe overall goal of SJM is to increase the quality of service and support the successful digitalisation of services by uniting research on process mining and customer journeys using new developments in logic-based analysis and artificial intelligence.\nThe digitalisation of our society’s service systems has fundamentally changed the way services are delivered to, and experienced by, humans. Although digital services are supposed to simplify our lives and increase our efficiency, they often frustrate and burden customers, users, and employees.\nThe overall goal is to increase the quality of services and support the successful digitalisation of services by uniting research on process mining and customer journeys using new developments in logic-based analysis and artificial intelligence.\nBased on user journeys we will analyse, model, and observe how humans experience digital services, rather than taking the perspective of service providers and service systems.\nThe main source of data comes from two complementary service providers: GrepS, a start-up company offering software services for analysing programming skills, and Telenor, a telecom company offering a wide range of mobile-, broadband- and TV services in the Nordics and in Asia.\nWe will trace data left from users in various systems during repeated interactions with a service over time, on the level of individuals. In the first phase of the project, we will build tools for automated capture of repeated user interactions in digital channels. Based on the resulting database of user journeys and user models, we will use logic-based techniques and machine learning to expose deviations and predict possible behaviours. The accumulation of user journeys will also enable identification of patterns that optimize the user experience and service quality.\nWe will extend and use executable modelling languages and their associated analysis tools to describe, predict, and prescribe user journeys as concurrent processes. We will base these languages and analysis tools on formal methods and concurrency theory, which build on the foundation of theoretical computer science.\n","date":1601627576,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1601627576,"objectID":"e4a1227224dc7cf11856f45b619bbebb","permalink":"https://ebjohnsen.org/project/sjm/","publishdate":"2020-10-02T10:32:56+02:00","relpermalink":"/project/sjm/","section":"project","summary":"An RCN IKTPLUSS research project 2021-2024.","tags":[],"title":"Smart Journey Mining: Towards Successful Digitalisation of Services","type":"project"},{"authors":["Eduard Kamburjan","Crystal Chang Din","Reiner Hähnle","Einar Broch Johnsen"],"categories":[],"content":"","date":1597875425,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1597875425,"objectID":"7dde1e3f70bdb7b84eed0361b8abb045","permalink":"https://ebjohnsen.org/publication/20-key2/","publishdate":"2020-08-20T00:17:05+02:00","relpermalink":"/publication/20-key2/","section":"publication","summary":"Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.","tags":[],"title":"Behavioral Contracts for Cooperative Scheduling ","type":"publication"},{"authors":["Frank S. de Boer","Marcello M. Bonsangue","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa","Lars Tveito"],"categories":["Symbolic execution"],"content":"","date":1597875425,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1597875425,"objectID":"754079ffd613d2679e5df2893050cb05","permalink":"https://ebjohnsen.org/publication/20-key/","publishdate":"2020-08-20T00:17:05+02:00","relpermalink":"/publication/20-key/","section":"publication","summary":"Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.","tags":["Symbolic execution"],"title":"SymPaths: Symbolic Execution Meets Partial Order Reduction","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"FM 2021, Beijing, China Nov 20, 2021 - Nov 26, 2021\n","date":1595884147,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797747,"objectID":"04713a61908cf0672df1a6bfb78a7025","permalink":"https://ebjohnsen.org/talk/fm-2021/","publishdate":"2020-07-27T23:09:07+02:00","relpermalink":"/talk/fm-2021/","section":"event","summary":"FM 2021, Beijing, China Nov 20, 2021 - Nov 26, 2021","tags":["Service"],"title":"FM 2021","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"AGERE 2020, Chicago, US, 20 November 2020\n","date":1595798347,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797747,"objectID":"e17ed21273ec7874d84d5dbe40b443de","permalink":"https://ebjohnsen.org/talk/agere-2020/","publishdate":"2020-07-26T23:19:07+02:00","relpermalink":"/talk/agere-2020/","section":"event","summary":"AGERE 2020, Chicago, US, 20 November 2020","tags":["Service"],"title":"AGERE 2020","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"iFM 2020, Lugano, Switzerland, 16-20 November 2020\n","date":1595797755,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797755,"objectID":"80635327e58f3c4fe53c5097929cfed0","permalink":"https://ebjohnsen.org/talk/ifm-2020/","publishdate":"2020-07-26T23:09:15+02:00","relpermalink":"/talk/ifm-2020/","section":"event","summary":"iFM 2020, Lugano, Switzerland, 16-20 November 2020","tags":["Service"],"title":"iFM 2020","type":"event"},{"authors":["Michael Lienhardt","Ferruccio Damiani","Einar Broch Johnsen","Jacopo Mauro"],"categories":["Software product lines"],"content":"","date":1592771711,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1592771711,"objectID":"f063b3f478e7808c21ff1a5b934d0e10","permalink":"https://ebjohnsen.org/publication/20-icse/","publishdate":"2020-07-21T22:35:11+02:00","relpermalink":"/publication/20-icse/","section":"publication","summary":"Proc ICSE 2020, ACM Press 2020","tags":[],"title":"Lazy Product Discovery in Huge Configuration Spaces","type":"publication"},{"authors":["Anastasia Gkolfi","Einar Broch Johnsen","Lars Michael Kristensen","Ingrid Chieh Yu"],"categories":[],"content":"","date":1592604108,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1592604108,"objectID":"92fe7395ad6a9ae8a63545587c588557","permalink":"https://ebjohnsen.org/publication/20-pnse/","publishdate":"2020-06-20T00:01:48+02:00","relpermalink":"/publication/20-pnse/","section":"publication","summary":"Proc. PNSE@Petri Nets 2020","tags":[],"title":"Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"FormaliSE 2020, Seoul, Korea, 25-26 May 2020\n","date":1590440974,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797774,"objectID":"628052ed680a45395a738386acd2f9d8","permalink":"https://ebjohnsen.org/talk/formalise-2020/","publishdate":"2020-05-25T23:09:34+02:00","relpermalink":"/talk/formalise-2020/","section":"event","summary":"FormaliSE 2020, Seoul, Korea, 25-26 May 2020","tags":["Service"],"title":"FormaliSE 2020","type":"event"},{"authors":null,"categories":["Programme committees"],"content":"FASE 2020, Dublin, Ireland, 28 April - 1 May, 2020\n","date":1588109416,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595885416,"objectID":"5e3472478724c3b47205d920f2026a9b","permalink":"https://ebjohnsen.org/talk/fase-2020/","publishdate":"2020-04-28T23:30:16+02:00","relpermalink":"/talk/fase-2020/","section":"event","summary":"FASE 2020, Dublin, Ireland, 28 April - 1 May, 2020","tags":[],"title":"FASE 2020","type":"event"},{"authors":["Lars Tveito","Einar Broch Johnsen","Rudolf Schlatte"],"categories":["ABS"],"content":"","date":1586898516,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1586898516,"objectID":"d2e0c8552dc7a4aa39c6b8ebd26e3a98","permalink":"https://ebjohnsen.org/publication/20-fase/","publishdate":"2020-07-21T22:56:37+02:00","relpermalink":"/publication/20-fase/","section":"publication","summary":"Proc FASE 2020","tags":["ABS"],"title":"Global Reproducibility through Local Control for Distributed Active Objects","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"ESOCC 2020, Heraklion, Crete, 1-3 April 2020\n","date":1585775402,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797802,"objectID":"57f3c4ff3f2beffe1c0e56543e8c0a18","permalink":"https://ebjohnsen.org/talk/esocc-2020/","publishdate":"2020-04-01T23:10:02+02:00","relpermalink":"/talk/esocc-2020/","section":"event","summary":"ESOCC 2020, Heraklion, Crete, 1-3 April 2020","tags":["Service"],"title":"ESOCC 2020","type":"event"},{"authors":["Jia-Chun Lin","Ming-Chang Lee","Ingrid Chieh Yu","Einar Broch Johnsen"],"categories":[],"content":"","date":1580763988,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1580763988,"objectID":"d1362570cf521e64e2c3bba9d674bffa","permalink":"https://ebjohnsen.org/publication/20-ijguc/","publishdate":"2020-02-03T23:06:28+02:00","relpermalink":"/publication/20-ijguc/","section":"publication","summary":"IJGUC  **11** (2): 185 - 195, 2020","tags":["Cloud","ABS"],"title":"A configurable and executable model of Spark Streaming on Apache YARN","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"iFM 2019, Bergen, Norway, 2-6 December 2019\n","date":1575321019,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797819,"objectID":"f1a09653cbde7ae148b8d983a38021f6","permalink":"https://ebjohnsen.org/talk/ifm-2019/","publishdate":"2019-12-02T23:10:19+02:00","relpermalink":"/talk/ifm-2019/","section":"event","summary":"iFM 2019, Bergen, Norway, 2-6 December 2019","tags":["Service"],"title":"iFM 2019","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"AGERE 2019, Athens, Greece, 20-25 Oct 2019\n","date":1571605827,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797827,"objectID":"4d59549ee36e23ed80ac12b6f50016f1","permalink":"https://ebjohnsen.org/talk/agere-2019/","publishdate":"2019-10-20T23:10:27+02:00","relpermalink":"/talk/agere-2019/","section":"event","summary":"AGERE 2019, Athens, Greece, 20-25 Oct 2019","tags":["Service"],"title":"AGERE 2019","type":"event"},{"authors":[],"categories":["Programme committees"],"content":" FM 2019, Porto, Portugal, 7-11 October, 2019 ","date":1570482644,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797844,"objectID":"b5e07e63c6a6aff4e01adef6f10e632b","permalink":"https://ebjohnsen.org/talk/fm-2019/","publishdate":"2019-10-07T23:10:44+02:00","relpermalink":"/talk/fm-2019/","section":"event","summary":" FM 2019, Porto, Portugal, 7-11 October, 2019 ","tags":["Service"],"title":"FM 2019","type":"event"},{"authors":null,"categories":null,"content":"Hugo Blox Builder is designed to give technical content creators a seamless experience. You can focus on the content and Wowchemy handles the rest.\nHighlight your code snippets, take notes on math classes, and draw diagrams from textual representation.\nOn this page, you’ll find some examples of the types of technical content that can be rendered with Wowchemy.\nExamples Code Wowchemy supports a Markdown extension for highlighting code syntax. You can customize the styles under the syntax_highlighter option in your config/_default/params.yaml file.\n```python import pandas as pd data = pd.read_csv(\u0026#34;data.csv\u0026#34;) data.head() ``` renders as\nimport pandas as pd data = pd.read_csv(\u0026#34;data.csv\u0026#34;) data.head() Mindmaps Wowchemy supports a Markdown extension for mindmaps.\nSimply insert a Markdown markmap code block and optionally set the height of the mindmap as shown in the example below.\nA simple mindmap defined as a Markdown list:\n```markmap {height=\u0026#34;200px\u0026#34;} - Hugo Modules - wowchemy - blox-plugins-netlify - blox-plugins-netlify-cms - blox-plugins-reveal ``` renders as\n- Hugo Modules - wowchemy - blox-plugins-netlify - blox-plugins-netlify-cms - blox-plugins-reveal A more advanced mindmap with formatting, code blocks, and math:\n```markmap - Mindmaps - Links - [Wowchemy Docs](https://docs.hugoblox.com/) - [Discord Community](https://discord.gg/z8wNYzb) - [GitHub](https://github.com/HugoBlox/hugo-blox-builder) - Features - Markdown formatting - **inline** ~~text~~ *styles* - multiline text - `inline code` - ```js console.log(\u0026#39;hello\u0026#39;); console.log(\u0026#39;code block\u0026#39;); ``` - Math: $x = {-b \\pm \\sqrt{b^2-4ac} \\over 2a}$ ``` renders as\n- Mindmaps - Links - [Wowchemy Docs](https://docs.hugoblox.com/) - [Discord Community](https://discord.gg/z8wNYzb) - [GitHub](https://github.com/HugoBlox/hugo-blox-builder) - Features - Markdown formatting - **inline** ~~text~~ *styles* - multiline text - `inline code` - ```js console.log(\u0026#39;hello\u0026#39;); console.log(\u0026#39;code block\u0026#39;); ``` - Math: $x = {-b \\pm \\sqrt{b^2-4ac} \\over 2a}$ Charts Wowchemy supports the popular Plotly format for interactive charts.\nSave your Plotly JSON in your page folder, for example line-chart.json, and then add the {{\u0026lt; chart data=\u0026#34;line-chart\u0026#34; \u0026gt;}} shortcode where you would like the chart to appear.\nDemo:\nYou might also find the Plotly JSON Editor useful.\nMath Wowchemy supports a Markdown extension for $\\LaTeX$ math. You can enable this feature by toggling the math option in your config/_default/params.yaml file.\nTo render inline or block math, wrap your LaTeX math with {{\u0026lt; math \u0026gt;}}$...${{\u0026lt; /math \u0026gt;}} or {{\u0026lt; math \u0026gt;}}$$...$${{\u0026lt; /math \u0026gt;}}, respectively. (We wrap the LaTeX math in the Wowchemy math shortcode to prevent Hugo rendering our math as Markdown. The math shortcode is new in v5.5-dev.)\nExample math block:\n{{\u0026lt; math \u0026gt;}} $$ \\gamma_{n} = \\frac{ \\left | \\left (\\mathbf x_{n} - \\mathbf x_{n-1} \\right )^T \\left [\\nabla F (\\mathbf x_{n}) - \\nabla F (\\mathbf x_{n-1}) \\right ] \\right |}{\\left \\|\\nabla F(\\mathbf{x}_{n}) - \\nabla F(\\mathbf{x}_{n-1}) \\right \\|^2} $$ {{\u0026lt; /math \u0026gt;}} renders as\n$$\\gamma_{n} = \\frac{ \\left | \\left (\\mathbf x_{n} - \\mathbf x_{n-1} \\right )^T \\left [\\nabla F (\\mathbf x_{n}) - \\nabla F (\\mathbf x_{n-1}) \\right ] \\right |}{\\left \\|\\nabla F(\\mathbf{x}_{n}) - \\nabla F(\\mathbf{x}_{n-1}) \\right \\|^2}$$ Example inline math {{\u0026lt; math \u0026gt;}}$\\nabla F(\\mathbf{x}_{n})${{\u0026lt; /math \u0026gt;}} renders as $\\nabla F(\\mathbf{x}_{n})$.\nExample multi-line math using the math linebreak (\\\\):\n{{\u0026lt; math \u0026gt;}} $$f(k;p_{0}^{*}) = \\begin{cases}p_{0}^{*} \u0026amp; \\text{if }k=1, \\\\ 1-p_{0}^{*} \u0026amp; \\text{if }k=0.\\end{cases}$$ {{\u0026lt; /math \u0026gt;}} renders as\n$$ f(k;p_{0}^{*}) = \\begin{cases}p_{0}^{*} \u0026amp; \\text{if }k=1, \\\\ 1-p_{0}^{*} \u0026amp; \\text{if }k=0.\\end{cases} $$ Diagrams Wowchemy supports a Markdown extension for diagrams. You can enable this feature by toggling the diagram option in your config/_default/params.toml file or by adding diagram: true to your page front matter.\nAn example flowchart:\n```mermaid graph TD A[Hard] --\u0026gt;|Text| B(Round) B --\u0026gt; C{Decision} C --\u0026gt;|One| D[Result 1] C --\u0026gt;|Two| E[Result 2] ``` renders as\ngraph TD A[Hard] --\u0026gt;|Text| B(Round) B --\u0026gt; C{Decision} C --\u0026gt;|One| D[Result 1] C --\u0026gt;|Two| E[Result 2] An example sequence diagram:\n```mermaid sequenceDiagram Alice-\u0026gt;\u0026gt;John: Hello John, how are you? loop Healthcheck John-\u0026gt;\u0026gt;John: Fight against hypochondria end Note right of John: Rational thoughts! John--\u0026gt;\u0026gt;Alice: Great! John-\u0026gt;\u0026gt;Bob: How about you? Bob--\u0026gt;\u0026gt;John: Jolly good! ``` renders as\nsequenceDiagram Alice-\u0026gt;\u0026gt;John: Hello John, how are you? loop Healthcheck John-\u0026gt;\u0026gt;John: Fight against hypochondria end Note right of John: Rational thoughts! John--\u0026gt;\u0026gt;Alice: Great! John-\u0026gt;\u0026gt;Bob: How about you? Bob--\u0026gt;\u0026gt;John: Jolly good! An example Gantt diagram:\n```mermaid gantt section Section Completed :done, des1, 2014-01-06,2014-01-08 Active :active, des2, 2014-01-07, 3d Parallel 1 : des3, after des1, 1d Parallel 2 : des4, after des1, 1d Parallel 3 : des5, after des3, 1d Parallel 4 : des6, after des4, 1d ``` renders as\ngantt section …","date":1562889600,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1562889600,"objectID":"07e02bccc368a192a0c76c44918396c3","permalink":"https://ebjohnsen.org/post/writing-technical-content/","publishdate":"2019-07-12T00:00:00Z","relpermalink":"/post/writing-technical-content/","section":"post","summary":"Hugo Blox Builder is designed to give technical content creators a seamless experience. You can focus on the content and Wowchemy handles the rest.\nHighlight your code snippets, take notes on math classes, and draw diagrams from textual representation.","tags":null,"title":"Writing technical content in Markdown","type":"post"},{"authors":["Eduard Kamburjan","Crystal Chang Din","Reiner Hähnle","Einar Broch Johnsen"],"categories":[],"content":"","date":1562792916,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1562792916,"objectID":"3919a29dc3b360f1ae1e24d0aa1bc6f8","permalink":"https://ebjohnsen.org/publication/19-sefm/","publishdate":"2020-07-21T23:39:28+02:00","relpermalink":"/publication/19-sefm/","section":"publication","summary":"Proc. SEFM 2019","tags":["ABS","Deductive verification"],"title":"Asynchronous Cooperative Contracts for Cooperative Scheduling","type":"publication"},{"authors":["Kiko Fernandez-Reyes","Dave Clarke","Ludovic Henrio","Einar Broch Johnsen","Tobias Wrigstad"],"categories":[],"content":"","date":1562792916,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1562792916,"objectID":"16cf99ac848a66fc2d0d491a2a285c76","permalink":"https://ebjohnsen.org/publication/19-ecoop/","publishdate":"2020-07-21T23:39:07+02:00","relpermalink":"/publication/19-ecoop/","section":"publication","summary":"Proc. ECOOP 2019","tags":[],"title":"Godot: All the Benefits of Implicit and Explicit Futures","type":"publication"},{"authors":["Anastasia Gkolfi","Crystal Chang Din","Einar Broch Johnsen","Lars Michael Kristensen","Martin Steffen","Ingrid Chieh Yu"],"categories":[],"content":"","date":1562624619,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1562624619,"objectID":"9b588d57f0b31924d6c6363b61da051c","permalink":"https://ebjohnsen.org/publication/19-scp2/","publishdate":"2020-07-21T23:39:19+02:00","relpermalink":"/publication/19-scp2/","section":"publication","summary":"Science of Computer Programming **181**: 1-26, 2019","tags":[],"title":"Translating active objects into colored Petri nets for communication analysis","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"FormaliSE 2019, Montreal, Canada, 27 May 2019\n","date":1558991486,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797886,"objectID":"8d4563edbf7377a3a3f931156fc9a001","permalink":"https://ebjohnsen.org/talk/formalise-2019/","publishdate":"2019-05-27T23:11:26+02:00","relpermalink":"/talk/formalise-2019/","section":"event","summary":"FormaliSE 2019, Montreal, Canada, 27 May 2019","tags":["Service"],"title":"FormaliSE 2019","type":"event"},{"authors":["Shiji Bijo","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1557699819,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1557699819,"objectID":"90e9e1d49cb9abf46e05dae6b64c9633","permalink":"https://ebjohnsen.org/publication/19-scp1/","publishdate":"2020-07-21T23:39:18+02:00","relpermalink":"/publication/19-scp1/","section":"publication","summary":"Science of Computer Programming **179**: 24-53, 2019","tags":["Multicore","Maude","SOS"],"title":"A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"SAC-NGPS 2019, Limassol, Cyprus, 8-12 April, 2019\n","date":1554757923,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797923,"objectID":"339b6b3ac4a7158b3b5c45c6d34e3692","permalink":"https://ebjohnsen.org/talk/sac-ngps-2019/","publishdate":"2019-04-08T23:12:03+02:00","relpermalink":"/talk/sac-ngps-2019/","section":"event","summary":"SAC-NGPS 2019, Limassol, Cyprus, 8-12 April, 2019","tags":["Service"],"title":"SAC-NGPS 2019","type":"event"},{"authors":["Nikolaos Bezirgiannis","Frank S. de Boer","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1554584916,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1554584916,"objectID":"44b34f8ed0cb78f32038333ed3e89312","permalink":"https://ebjohnsen.org/publication/19-fase/","publishdate":"2020-07-21T23:39:12+02:00","relpermalink":"/publication/19-fase/","section":"publication","summary":"Proc. FASE 2019","tags":["ABS"],"title":"Implementing SOS with Active Objects: A Case Study of a Multicore Memory System","type":"publication"},{"authors":[],"categories":[],"content":"Create slides in Markdown with Hugo Blox Builder Hugo Blox Builder | Documentation\nFeatures Efficiently write slides in Markdown 3-in-1: Create, Present, and Publish your slides Supports speaker notes Mobile friendly slides Controls Next: Right Arrow or Space Previous: Left Arrow Start: Home Finish: End Overview: Esc Speaker notes: S Fullscreen: F Zoom: Alt + Click PDF Export Code Highlighting Inline code: variable\nCode block:\nporridge = \u0026#34;blueberry\u0026#34; if porridge == \u0026#34;blueberry\u0026#34;: print(\u0026#34;Eating...\u0026#34;) Math In-line math: $x + y = z$\nBlock math:\n$$ f\\left( x \\right) = ;\\frac{{2\\left( {x + 4} \\right)\\left( {x - 4} \\right)}}{{\\left( {x + 4} \\right)\\left( {x + 1} \\right)}} $$\nFragments Make content appear incrementally\n{{% fragment %}} One {{% /fragment %}} {{% fragment %}} **Two** {{% /fragment %}} {{% fragment %}} Three {{% /fragment %}} Press Space to play!\nOne Two Three A fragment can accept two optional parameters:\nclass: use a custom style (requires definition in custom CSS) weight: sets the order in which a fragment appears Speaker Notes Add speaker notes to your presentation\n{{% speaker_note %}} - Only the speaker can read these notes - Press `S` key to view {{% /speaker_note %}} Press the S key to view the speaker notes!\nOnly the speaker can read these notes Press S key to view Themes black: Black background, white text, blue links (default) white: White background, black text, blue links league: Gray background, white text, blue links beige: Beige background, dark text, brown links sky: Blue background, thin dark text, blue links night: Black background, thick white text, orange links serif: Cappuccino background, gray text, brown links simple: White background, black text, blue links solarized: Cream-colored background, dark green text, blue links Custom Slide Customize the slide style and background\n{{\u0026lt; slide background-image=\u0026#34;/media/boards.jpg\u0026#34; \u0026gt;}} {{\u0026lt; slide background-color=\u0026#34;#0000FF\u0026#34; \u0026gt;}} {{\u0026lt; slide class=\u0026#34;my-style\u0026#34; \u0026gt;}} Custom CSS Example Let’s make headers navy colored.\nCreate assets/css/reveal_custom.css with:\n.reveal section h1, .reveal section h2, .reveal section h3 { color: navy; } Questions? Ask\nDocumentation\n","date":1549324800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1549324800,"objectID":"0e6de1a61aa83269ff13324f3167c1a9","permalink":"https://ebjohnsen.org/slides/example/","publishdate":"2019-02-05T00:00:00Z","relpermalink":"/slides/example/","section":"slides","summary":"An introduction to using Hugo Blox Builder's Slides feature.","tags":[],"title":"Slides","type":"slides"},{"authors":["Elvira Albert","Jesús Correas","Einar Broch Johnsen","Violet Ka I Pun","Guillermo Román-Díez"],"categories":[],"content":"","date":1542666219,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1542666219,"objectID":"cc7cb7d51163177d521ee38dbe3b16db","permalink":"https://ebjohnsen.org/publication/18-tocl/","publishdate":"2020-07-21T23:39:18+02:00","relpermalink":"/publication/18-tocl/","section":"publication","summary":"ACM Transactions on Computational Logic **19 (4)**: 31:1--31:37, 2018","tags":[],"title":"Parallel Cost Analysis","type":"publication"},{"authors":["Einar Broch Johnsen","Ingrid Chieh Yu"],"categories":[],"content":"","date":1542234219,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1542234219,"objectID":"ded2594b9245be7b81cc658d9aac7b58","permalink":"https://ebjohnsen.org/publication/18-aph/","publishdate":"2020-07-21T23:38:04+02:00","relpermalink":"/publication/18-aph/","section":"publication","summary":"Festschrift Arnd Poetzsch-Heffter","tags":[],"title":"Dynamic Software Updates and Context Adaptation for Distributed Active Objects","type":"publication"},{"authors":["Shiji Bijo","Einar Broch Johnsen","Violet Ka I Pun","Christoph Seidl","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1541370219,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1541370219,"objectID":"50730e7d2290ec868998e1b5117b2d83","permalink":"https://ebjohnsen.org/publication/18-isola/","publishdate":"2020-07-21T23:38:39+02:00","relpermalink":"/publication/18-isola/","section":"publication","summary":"Proc. ISoLa 2018","tags":["Multicore","maude","SOS"],"title":"Deployment by Construction for Multicore Architectures","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"NWPT 2018, Oslo, Norway, 24-26 Oct 2018\n","date":1540415540,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797940,"objectID":"45c09a159bc9ca88303cc36a2db5b48f","permalink":"https://ebjohnsen.org/talk/nwpt-2018/","publishdate":"2018-10-24T23:12:20+02:00","relpermalink":"/talk/nwpt-2018/","section":"event","summary":"NWPT 2018, Oslo, Norway, 24-26 Oct 2018","tags":["Service"],"title":"NWPT 2018","type":"event"},{"authors":["Einar Broch Johnsen","Martin Steffen","Johanna Beate Stumpf","Lars Tveito"],"categories":[],"content":"","date":1539901419,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1539901419,"objectID":"991250c9950a2751af1bcc535174db98","permalink":"https://ebjohnsen.org/publication/18-ictac/","publishdate":"2020-07-21T23:38:19+02:00","relpermalink":"/publication/18-ictac/","section":"publication","summary":"Proc. ICTAC 2018","tags":["Cloud"],"title":"Checking Modal Contracts for Virtually Timed Ambients","type":"publication"},{"authors":["Anastasia Gkolfi","Einar Broch Johnsen","Lars Michael Kristensen","Ingrid Chieh Yu"],"categories":[],"content":"","date":1539115212,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1539115212,"objectID":"f3587d8f7389f7ccd3f54762ec3e3f80","permalink":"https://ebjohnsen.org/publication/18-facs/","publishdate":"2020-07-21T23:38:08+02:00","relpermalink":"/publication/18-facs/","section":"publication","summary":"Proc. FACS 2018","tags":[],"title":"Using Coloured Petri Nets for Resource Analysis of Active Objects","type":"publication"},{"authors":["Einar Broch Johnsen","Martin Steffen","Johanna Beate Stumpf","Lars Tveito"],"categories":[],"content":"","date":1537309419,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1537309419,"objectID":"9205eea71f024d6e00d47e3e0c13c83c","permalink":"https://ebjohnsen.org/publication/18-ifm/","publishdate":"2020-07-21T23:38:29+02:00","relpermalink":"/publication/18-ifm/","section":"publication","summary":"Proc. IFM 2018","tags":["Cloud"],"title":"Resource-Aware Virtually Timed Ambients","type":"publication"},{"authors":[],"categories":["PC chair"],"content":"NIK 2018, Spitsbergen,\nNorway, 18-20 Sept 2018 (PC chair) ","date":1537305154,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797954,"objectID":"69a2a8bb03b8158c812e15cfc1d7da08","permalink":"https://ebjohnsen.org/talk/nik-2016/","publishdate":"2018-09-18T23:12:34+02:00","relpermalink":"/talk/nik-2016/","section":"event","summary":"NIK 2018, Spitsbergen,\nNorway, 18-20 Sept 2018 (PC chair) ","tags":["Service"],"title":"NIK 2016","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"ESOCC 2018, Como, Italy, 12-14 September 2018\n","date":1536786773,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797973,"objectID":"dd7964f29e3d100185bfbff660a867ef","permalink":"https://ebjohnsen.org/talk/esocc-2018/","publishdate":"2018-09-12T23:12:53+02:00","relpermalink":"/talk/esocc-2018/","section":"event","summary":"ESOCC 2018, Como, Italy, 12-14 September 2018","tags":["Service"],"title":"ESOCC 2018","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"iFM 2018, Maynooth, Ireland, 5-7 September 2018\n","date":1536181947,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797947,"objectID":"df7d6e675d6e965015c1b393ebddbd70","permalink":"https://ebjohnsen.org/talk/ifm-2018/","publishdate":"2018-09-05T23:12:27+02:00","relpermalink":"/talk/ifm-2018/","section":"event","summary":"iFM 2018, Maynooth, Ireland, 5-7 September 2018","tags":["Service"],"title":"iFM 2018","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"SETTA 2018, Beijing, China, 4-6 Sept 2018\n","date":1536095580,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797980,"objectID":"4766d58fee236991bb6b4cf6c2710a11","permalink":"https://ebjohnsen.org/talk/setta-2018/","publishdate":"2018-09-04T23:13:00+02:00","relpermalink":"/talk/setta-2018/","section":"event","summary":"SETTA 2018, Beijing, China, 4-6 Sept 2018","tags":["Service"],"title":"SETTA 2018","type":"event"},{"authors":[],"categories":"Programme committees[]","content":"FM 2018, Oxford, UK, 15-17 July 2018\n","date":1531689187,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797987,"objectID":"8f7fb6a733f4624269c9226389e42a95","permalink":"https://ebjohnsen.org/talk/fm-2018/","publishdate":"2018-07-15T23:13:07+02:00","relpermalink":"/talk/fm-2018/","section":"event","summary":"FM 2018, Oxford, UK, 15-17 July 2018","tags":["Service"],"title":"FM 2018","type":"event"},{"authors":[],"categories":["Programme committees","PC chair"],"content":"SEFM 2018, Toulouse, France, 25-29 June 2018 (PC chair)\n","date":1529961198,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595797998,"objectID":"0e414290ff924ebae3a144514bb6e487","permalink":"https://ebjohnsen.org/talk/sefm-2018/","publishdate":"2018-06-25T23:13:18+02:00","relpermalink":"/talk/sefm-2018/","section":"event","summary":"SEFM 2018, Toulouse, France, 25-29 June 2018 (PC chair)","tags":["Service"],"title":"SEFM 2018","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"FORTE 2018, Madrid, Spain, 18 - 21 June, 2018\n","date":1529356417,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798017,"objectID":"7dc64d8bee399a666f341df642739b90","permalink":"https://ebjohnsen.org/talk/forte-2018/","publishdate":"2018-06-18T23:13:37+02:00","relpermalink":"/talk/forte-2018/","section":"event","summary":"FORTE 2018, Madrid, Spain, 18 - 21 June, 2018","tags":["Service"],"title":"FORTE 2018","type":"event"},{"authors":["Einar Broch Johnsen","Ina Schaefer","(Eds)"],"categories":[],"content":"","date":1529322684,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1529322684,"objectID":"8532387562b934852b708f2c1d2b411d","permalink":"https://ebjohnsen.org/publication/18-sefm/","publishdate":"2020-07-21T23:38:59+02:00","relpermalink":"/publication/18-sefm/","section":"publication","summary":"Springer LNCS 10886","tags":[],"title":"Proc. 16th Intl. Conf. on Software Engineering and Formal Methods (SEFM 2018)","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"FormaliSE 2018, Gothenburg, Sweden, 2 June 2018\n","date":1527974024,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798024,"objectID":"578bfd452aaf84a90111e86774d6e2e5","permalink":"https://ebjohnsen.org/talk/formalise-2018/","publishdate":"2018-06-02T23:13:44+02:00","relpermalink":"/talk/formalise-2018/","section":"event","summary":"FormaliSE 2018, Gothenburg, Sweden, 2 June 2018","tags":["Service"],"title":"FormaliSE 2018","type":"event"},{"authors":["Rudolf Schlatte","Einar Broch Johnsen","Jacopo Mauro","Silvia Lizeth Tapia Tarifa","Ingrid Chieh Yu"],"categories":[],"content":"","date":1527282252,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1527282252,"objectID":"f0a8a6d483a4b51c14af58ed2baf740f","permalink":"https://ebjohnsen.org/publication/18-farhad/","publishdate":"2020-07-21T23:38:14+02:00","relpermalink":"/publication/18-farhad/","section":"publication","summary":"Festschrift Farhad Arbab","tags":["ABS"],"title":"Release the Beasts: When Formal Methods Meet Real World Data","type":"publication"},{"authors":["Jia-Chun Lin","Ming-Chang Lee","Ingrid Chieh Yu","Einar Broch Johnsen"],"categories":[],"content":"","date":1526509419,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1526509419,"objectID":"2d07ee924a9226fc51e39397b2c78251","permalink":"https://ebjohnsen.org/publication/18-aina/","publishdate":"2020-07-21T23:37:59+02:00","relpermalink":"/publication/18-aina/","section":"publication","summary":"Proc. AINA 2018","tags":["Cloud","ABS"],"title":"Modeling and Simulation of Spark Streaming","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"FASE 2018, Thessaloniki, Greece, 14-21 April 2018\n","date":1523740438,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798038,"objectID":"7ebba48d35e177ff4da6ec045e4691e4","permalink":"https://ebjohnsen.org/talk/fase-2018/","publishdate":"2018-04-14T23:13:58+02:00","relpermalink":"/talk/fase-2018/","section":"event","summary":"FASE 2018, Thessaloniki, Greece, 14-21 April 2018","tags":["Service"],"title":"FASE 2018","type":"event"},{"authors":["Crystal Chang Din","Einar Broch Johnsen","Olaf Owe","Ingrid Chieh Yu"],"categories":[],"content":"","date":1514927052,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514927052,"objectID":"e69be1e2d3010c500caa5eba2fbda2db","permalink":"https://ebjohnsen.org/publication/18-jlamp2/","publishdate":"2020-07-21T23:38:48+02:00","relpermalink":"/publication/18-jlamp2/","section":"publication","summary":"Journal of Logic and  Algebraic Methods in Programming *95*:82-102, 2018.","tags":["Deductive verification"],"title":"A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse","type":"publication"},{"authors":["Einar Broch Johnsen","Martin Steffen","Johanna Beate Stumpf"],"categories":[],"content":"","date":1514927052,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1514927052,"objectID":"5d2fe93cc5b5e75d1d5d05cb51e42f99","permalink":"https://ebjohnsen.org/publication/18-jlamp1/","publishdate":"2020-07-21T23:38:45+02:00","relpermalink":"/publication/18-jlamp1/","section":"publication","summary":"Journal of Logic and  Algebraic Methods in Programming *94*:109-127, 2018","tags":["Cloud"],"title":"Virtually timed ambients: A calculus of nested virtualization","type":"publication"},{"authors":["Einar Broch Johnsen","Martin Steffen","Johanna Beate Stumpf"],"categories":[],"content":"","date":1512248652,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1512248652,"objectID":"c6d301926861754a1e49213476d25313","permalink":"https://ebjohnsen.org/publication/16-wadt/","publishdate":"2020-07-21T23:36:54+02:00","relpermalink":"/publication/16-wadt/","section":"publication","summary":"Proc WADT 2016","tags":[],"title":"A Calculus of Virtually Timed Ambients","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"NWPT 2017, Turku, Finland, 1-3 November 2017\n","date":1509570846,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798046,"objectID":"74c19af1809f58e5fce777ac96af5bdc","permalink":"https://ebjohnsen.org/talk/nwpt-2017/","publishdate":"2017-11-01T23:14:06+02:00","relpermalink":"/talk/nwpt-2017/","section":"event","summary":"NWPT 2017, Turku, Finland, 1-3 November 2017","tags":["Service"],"title":"NWPT 2017","type":"event"},{"authors":[],"categories":[],"content":"Microservices 2017, Odense, DK, 23-27 Oct 2017\n","date":1508793256,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798056,"objectID":"a333605a2c9f73fbf6b7fcb1d2b3c7e5","permalink":"https://ebjohnsen.org/talk/microservices-2017/","publishdate":"2017-10-23T23:14:16+02:00","relpermalink":"/talk/microservices-2017/","section":"event","summary":"Microservices 2017, Odense, DK, 23-27 Oct 2017","tags":["Service"],"title":"Microservices 2017","type":"event"},{"authors":["Shiji Bijo","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1508624619,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1508624619,"objectID":"ebf754cabce2d3fc80d89895242c17d2","permalink":"https://ebjohnsen.org/publication/17-facs/","publishdate":"2020-07-21T23:37:23+02:00","relpermalink":"/publication/17-facs/","section":"publication","summary":"Proc. FACS 2017","tags":["Multicore"],"title":"A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches","type":"publication"},{"authors":["Frank S. de Boer","Vlad Serbanescu","Reiner Hähnle","Ludovic Henrio","Justine Rochas","Crystal Chang Din","Einar Broch Johnsen","Marjan Sirjani","Ehsan Khamespanah","Kiko Fernandez-Reyes","Albert Mingkun Yang"],"categories":[],"content":"","date":1508624619,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1508624619,"objectID":"faffad70b2a07a19c5a3f6402cdbd973","permalink":"https://ebjohnsen.org/publication/17-csur/","publishdate":"2020-07-21T23:37:11+02:00","relpermalink":"/publication/17-csur/","section":"publication","summary":"ACM Computing Surveys **50** (5): 76:1--76:39, 2017","tags":["ABS"],"title":"A Survey of Active Object Languages","type":"publication"},{"authors":["Anastasia Gkolfi","Crystal Chang Din","Einar Broch Johnsen","Martin Steffen","Ingrid Chieh Yu"],"categories":[],"content":"","date":1508624619,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1508624619,"objectID":"75712f904b501fe4cbfc4b758e872d4f","permalink":"https://ebjohnsen.org/publication/17-fsen/","publishdate":"2020-07-21T23:37:34+02:00","relpermalink":"/publication/17-fsen/","section":"publication","summary":"Proc. FSEN 2017","tags":[],"title":"Translating Active Objects into Colored Petri Nets for Communication Analysis","type":"publication"},{"authors":[],"categories":[],"content":"FACS 2017, Braga, Portugal, 10-13 Oct 2017\n","date":1507670064,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798064,"objectID":"1e3e29fbb95d0dabb3b603e55ce55d4e","permalink":"https://ebjohnsen.org/talk/facs-2017/","publishdate":"2017-10-10T23:14:24+02:00","relpermalink":"/talk/facs-2017/","section":"event","summary":"FACS 2017, Braga, Portugal, 10-13 Oct 2017","tags":["Service"],"title":"FACS 2017","type":"event"},{"authors":[],"categories":["Programme committees","General chair"],"content":"ESOCC 2017, Oslo, Norway, 27-29 September 2017\n","date":1506546871,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798071,"objectID":"4537f70c3b5843e35f61dcaae16ad9ca","permalink":"https://ebjohnsen.org/talk/esocc-2017/","publishdate":"2017-09-27T23:14:31+02:00","relpermalink":"/talk/esocc-2017/","section":"event","summary":"ESOCC 2017, Oslo, Norway, 27-29 September 2017","tags":["Service"],"title":"ESOCC 2017","type":"event"},{"authors":["Crystal Chang Din","Reiner Hähnle","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1506032619,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1506032619,"objectID":"b77adfe64fa6651a654f060ba0fb4976","permalink":"https://ebjohnsen.org/publication/17-tableaux/","publishdate":"2020-07-21T23:37:48+02:00","relpermalink":"/publication/17-tableaux/","section":"publication","summary":"Proc. TABLEAUX 2017","tags":["LAGC"],"title":"Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages","type":"publication"},{"authors":["Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1506027852,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1506027852,"objectID":"51ae1e9e74b87a3981bda8cb0219c915","permalink":"https://ebjohnsen.org/publication/17-softcom/","publishdate":"2020-07-21T23:37:39+02:00","relpermalink":"/publication/17-softcom/","section":"publication","summary":"Proc. SoftCOM 2017","tags":["Cloud","ABS"],"title":"A formal model of cloud-deployed software and its application to workflow processing","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"iFM 2017, Torino, Italy, 18-22 September 2017\n","date":1505769299,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798099,"objectID":"d6970bddcdeda14db473a785f62e5653","permalink":"https://ebjohnsen.org/talk/ifm-2017/","publishdate":"2017-09-18T23:14:59+02:00","relpermalink":"/talk/ifm-2017/","section":"event","summary":"iFM 2017, Torino, Italy, 18-22 September 2017","tags":["Service"],"title":"iFM 2017","type":"event"},{"authors":["Flavio De Paoli","Stefan Schulte","Einar Broch Johnsen","(Eds)"],"categories":[],"content":"","date":1504785084,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1504785084,"objectID":"20eeeac12ace46abf290bc67185ecb6f","permalink":"https://ebjohnsen.org/publication/17-esocc/","publishdate":"2020-07-21T23:37:16+02:00","relpermalink":"/publication/17-esocc/","section":"publication","summary":"Springer LNCS 10465","tags":[],"title":"Proc. 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC 2017)","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"SEFM 2017, Trento, Italy, 6-10 September 2017\n","date":1504732515,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798115,"objectID":"f51a3cfca7f6675d486b19cf0c2bda03","permalink":"https://ebjohnsen.org/talk/sefm-2017/","publishdate":"2017-09-06T23:15:15+02:00","relpermalink":"/talk/sefm-2017/","section":"event","summary":"SEFM 2017, Trento, Italy, 6-10 September 2017","tags":["Service"],"title":"SEFM 2017","type":"event"},{"authors":[],"categories":["Programme committees","PC chair"],"content":"TAP 2017, Marburg, Germany, 17-21 July 2017 (PC chair)\n","date":1500326127,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798127,"objectID":"20dbbde230c4a242f429a1ea19fbf18d","permalink":"https://ebjohnsen.org/talk/tap-2017/","publishdate":"2017-07-17T23:15:27+02:00","relpermalink":"/talk/tap-2017/","section":"event","summary":"TAP 2017, Marburg, Germany, 17-21 July 2017 (PC chair)","tags":["Service"],"title":"TAP 2017","type":"event"},{"authors":["Sebastian Gabmeyer","Einar Broch Johnsen","(Eds)"],"categories":[],"content":"","date":1499428284,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1499428284,"objectID":"0bc290da045411965c6dcb954a826085","permalink":"https://ebjohnsen.org/publication/17-tap/","publishdate":"2020-07-21T23:37:52+02:00","relpermalink":"/publication/17-tap/","section":"publication","summary":"Springer LNCS 10375","tags":[],"title":"Proc. 11th International Conference on Tests and Proofs (TAP 2017)","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"FSEN 2017, Tehran, Iran, 26 - 28 April 2017\n","date":1493241343,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798143,"objectID":"b8a0ad5b517c0167eaab381c63b4a241","permalink":"https://ebjohnsen.org/talk/fsen-2017/","publishdate":"2017-04-26T23:15:43+02:00","relpermalink":"/talk/fsen-2017/","section":"event","summary":"FSEN 2017, Tehran, Iran, 26 - 28 April 2017","tags":["Service"],"title":"FSEN 2017","type":"event"},{"authors":[],"categories":["Programme committees"],"content":" FASE 2017, Uppsala, Sweden, 22-29 April 2017 ","date":1492895737,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798137,"objectID":"c55625b65ce806d80f22d6aa2021e09e","permalink":"https://ebjohnsen.org/talk/fase-2017/","publishdate":"2017-04-22T23:15:37+02:00","relpermalink":"/talk/fase-2017/","section":"event","summary":" FASE 2017, Uppsala, Sweden, 22-29 April 2017 ","tags":["Service"],"title":"FASE 2017","type":"event"},{"authors":["Jesús Doménech","Samir Genaim","Einar Broch Johnsen","Rudolf Schlatte"],"categories":[],"content":"","date":1491167052,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1491167052,"objectID":"2feda98ac6c02e951672e119b2fd3368","permalink":"https://ebjohnsen.org/publication/17-fase/","publishdate":"2020-07-21T23:37:27+02:00","relpermalink":"/publication/17-fase/","section":"publication","summary":"Proc. FASE 2017","tags":[],"title":"EasyInterface: A toolkit for rapid development of GUIs for research prototype tools","type":"publication"},{"authors":[],"categories":[],"content":"Cumulus was a FRINATEK project funded by the Research Council of Norway 2015-2019. I was the project leader of CUMULUS.\nThe main goal of Cumulus is to develop a semantic foundation for static analysis techniques for cloud-aware applications. Cloud-awareness enables the software to negotiate its own quality of service and opens for dynamic and fine-grained resource management. This introduces an element of reflection which goes beyond the state of the art in both formal semantics and static analysis. The project will develop a formal foundation for cloud-aware computing and use this foundation to enable the verification of quantitative assertions about the high-level quality of service and low-level resource requirements of cloud-aware applications. The project will develop demonstrators for the approach in terms of semantics-based tools to analyze quantitative assertions for quality of service during the design of such applications. Cumulus will enable a shift in the design of virtualized software from model simulation and monitoring deployed systems to advanced static analyses of worst-case resource requirements early in the software design\n","date":1486070252,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1486070252,"objectID":"dd9842430bba8215f60eec95321c9079","permalink":"https://ebjohnsen.org/project/cumulus/","publishdate":"2017-02-02T22:17:32+01:00","relpermalink":"/project/cumulus/","section":"project","summary":"An RCN FRINATEK research project 2015-2019. I was the project leader.","tags":[],"title":"Cumulus: Semantics-Based Analyses for Cloud-Aware Computing","type":"project"},{"authors":["Erika Ábrahám","Florian Corzilius","Einar Broch Johnsen","Gereon Kremer","Jacopo Mauro"],"categories":[],"content":"","date":1480112619,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1480112619,"objectID":"7b5e65754bb00fbb1bbcaf64fa0b618c","permalink":"https://ebjohnsen.org/publication/16-setta/","publishdate":"2020-07-21T23:36:48+02:00","relpermalink":"/publication/16-setta/","section":"publication","summary":"Proc. SETTA 2016","tags":["Cloud"],"title":"Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"FM 2016, Limassol, Cyprus, 7-11 November 2016\n","date":1478553367,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798167,"objectID":"6b701929def3a71673c6155cc942bbcd","permalink":"https://ebjohnsen.org/talk/fm-2016/","publishdate":"2016-11-07T23:16:07+02:00","relpermalink":"/talk/fm-2016/","section":"event","summary":"FM 2016, Limassol, Cyprus, 7-11 November 2016","tags":["Service"],"title":"FM 2016","type":"event"},{"authors":[],"categories":[],"content":"NWPT 2016, North Jutland, Denmark, 31 October - 2 November 2016\n","date":1477948560,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798160,"objectID":"9fa9bcee94f1237ba9b68e26ad406137","permalink":"https://ebjohnsen.org/talk/nwpt-2016/","publishdate":"2016-10-31T23:16:00+02:00","relpermalink":"/talk/nwpt-2016/","section":"event","summary":"NWPT 2016, North Jutland, Denmark, 31 October - 2 November 2016","tags":["Service"],"title":"NWPT 2016","type":"event"},{"authors":["Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1477517061,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1477517061,"objectID":"908f66c8655f67229cc9f70fc907549e","permalink":"https://ebjohnsen.org/publication/16-ifmcloud/","publishdate":"2020-07-21T23:36:17+02:00","relpermalink":"/publication/16-ifmcloud/","section":"publication","summary":"Proc. IFMCloud 2016","tags":["Cloud","ABS"],"title":"Modeling Deployment Decisions for Elastic Services with ABS","type":"publication"},{"authors":["Einar Broch Johnsen","Jia-Chun Lin","Ingrid Chieh Yu"],"categories":[],"content":"","date":1475780653,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1475780653,"objectID":"d4c27a3bc0d4433497c16605554249e3","permalink":"https://ebjohnsen.org/publication/16-isola/","publishdate":"2020-07-21T23:36:25+02:00","relpermalink":"/publication/16-isola/","section":"publication","summary":"Proc. ISoLa 2016","tags":["Cloud","ABS"],"title":"Comparing AWS Deployments Using Model-Based Predictions","type":"publication"},{"authors":["Richard Bubel","Ferruccio Damiani","Reiner Hähnle","Einar Broch Johnsen","Olaf Owe","Ina Schaefer","Ingrid Chieh Yu"],"categories":[],"content":"","date":1475698991,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1475698991,"objectID":"aceb0ba8f9f132dafb31f748c0576f8a","permalink":"https://ebjohnsen.org/publication/16-fomac/","publishdate":"2020-07-21T23:36:02+02:00","relpermalink":"/publication/16-fomac/","section":"publication","summary":"Transactions on Foundations for Mastering Change 1: 130-156 (2016)","tags":["Deductive verification"],"title":"Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct","type":"publication"},{"authors":["Marco Aiello","Einar Broch Johnsen","Schahram Dustdar","Ilche Georgievski","(Eds)"],"categories":[],"content":"","date":1473249084,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1473249084,"objectID":"948263b6d26991eee1d6af61d30dfc1a","permalink":"https://ebjohnsen.org/publication/16-esocc/","publishdate":"2020-07-21T23:35:40+02:00","relpermalink":"/publication/16-esocc/","section":"publication","summary":"","tags":[],"title":"Proc. 5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing (ESOCC 2016)","type":"publication"},{"authors":[],"categories":["Programme committees","PC chair"],"content":"ESOCC 2016, Vienna, Austria, September 5-7, 2016 (PC chair)\n","date":1473110191,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798191,"objectID":"4af87a3c9c1cadd2cd9f0c65d25f96b2","permalink":"https://ebjohnsen.org/talk/esocc-2016/","publishdate":"2016-09-05T23:16:31+02:00","relpermalink":"/talk/esocc-2016/","section":"event","summary":"ESOCC 2016, Vienna, Austria, September 5-7, 2016 (PC chair)","tags":["Service"],"title":"ESOCC 2016","type":"event"},{"authors":["Davide Ancona","Viviana Bono","Mario Bravetti","Joana Campos","Giuseppe Castagna","Pierre-Malo Deniélou","Simon J. Gay","Nils Gesbert","Elena Giachino","Raymond Hu","Einar Broch Johnsen","Francisco Martins","Viviana Mascardi","Fabrizio Montesi","Rumyana Neykova","Nicholas Ng","Luca Padovani","Vasco T. Vasconcelos","Nobuko Yoshida"],"categories":[],"content":"","date":1469182059,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1469182059,"objectID":"04985a9d91bd25b0fee2b66587f6b088","permalink":"https://ebjohnsen.org/publication/16-ftpl/","publishdate":"2020-07-21T23:36:10+02:00","relpermalink":"/publication/16-ftpl/","section":"publication","summary":"Foundations and Trends® in Programming Languages 3 (2-3): 95-230, 2016","tags":[],"title":"Behavioral Types in Programming Languages","type":"publication"},{"authors":["Jia-Chun Lin","Ingrid Chieh Yu","Einar Broch Johnsen","Ming-Chang Lee"],"categories":[],"content":"","date":1469135316,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1469135316,"objectID":"79132a39906712d082b0fea053813dd8","permalink":"https://ebjohnsen.org/publication/16-fase/","publishdate":"2020-07-21T23:35:49+02:00","relpermalink":"/publication/16-fase/","section":"publication","summary":"Proc. FASE 2016","tags":["Cloud","ABS"],"title":"ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters","type":"publication"},{"authors":["Einar Broch Johnsen","Ingrid Chieh Yu"],"categories":[],"content":"HyVar was an EU H2020 research project 2015-2018 (project no 644298). I was the scientific coordinator of HyVar. CORDIS website here.\nThe idea was to develop a framework for continuous software evolution in distributed systems which combines the description of evolution as a software product line, a scalable cloud infrastructure to monitoring and customization of software upgrades for remote devices, and over-the-air upgrade technologies.\n","date":1469132175,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1469132175,"objectID":"927c85bc0d0229b84490f087244136e2","permalink":"https://ebjohnsen.org/project/hyvar/","publishdate":"2016-07-21T22:16:15+02:00","relpermalink":"/project/hyvar/","section":"project","summary":"An EU H2020 research project 2015-2018. I was the scientific coordinator.","tags":[],"title":"HyVar : Scalable Hybrid Variability for Distributed Evolving Software Systems","type":"project"},{"authors":["Einar Broch Johnsen","Silvia Lizeth Tapia Tarifa","Violet Ka I Pun"],"categories":[],"content":"UpScale was an EU FP7 FET Open-X research project 2014-2017 (project no 612985). CORDIS website here.\nThe idea was to design programming languages for the manycore era, when a program can make use of potentially millions of processors. UpScale used incremental type-based program annotations specifying deployment-related information, and for innovative type-based deployment optimisations both at compile- and runtime. The Encore programming language was designed in this project.\n","date":1469132166,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1469132166,"objectID":"299dc42dbd9ea4cea20d3f010ccd96f2","permalink":"https://ebjohnsen.org/project/upscale/","publishdate":"2016-07-21T22:16:06+02:00","relpermalink":"/project/upscale/","section":"project","summary":"An EU FP7 FET Open-X research project 2014-2017.","tags":[],"title":"UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations","type":"project"},{"authors":[],"categories":[],"content":"Envisage was an EU FP7 research project 2013-2016 (project no 610582). I was the coordinator of Envisage. CORDIS website here.\nThe basic idea was to integrate service-level agreements (SLA) into the interfaces of an object-oriented model and validate SLA for cloud computing at design time using formal methods. The Envisage project delivered novel methods for predicting the behavior of software deployed on the cloud, using formal models and analysis techniques.\nProject website here.\n","date":1469132156,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1469132156,"objectID":"2a1780bc127a6992fa7d1b15415dc9b2","permalink":"https://ebjohnsen.org/project/envisage/","publishdate":"2016-07-21T22:15:56+02:00","relpermalink":"/project/envisage/","section":"project","summary":"An EU FP7 research project 2013-2016. I was the project coordinator.","tags":[],"title":"Envisage: Engineering Virtualized Services","type":"project"},{"authors":[],"categories":[],"content":"HATS was a four-year FET project funded under the EU’s FP7 programme 2010-2013 (project no 231620). CORDIS website here.\nIn the project, we propose to take an empirically successful, yet informal software development paradigm and put it on a formal basis. Specifically, in HATS we will turn software product family (SWPF) development into a rigorous approach. The technical core of the project is an Abstract Behavioral Specification language which will allow precise description of SWPF features and components and their instances. The main project outcome is a methodological and tool framework achieving not merely far-reaching automation in maintaining dynamically evolving software, but an unprecedented level of trust while informal processes are replaced with rigorous analyses based on formal semantics.\n","date":1469130911,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1469130911,"objectID":"47bccfffb1f0cafb49ea33345b5f112e","permalink":"https://ebjohnsen.org/project/hats/","publishdate":"2016-07-21T21:55:11+02:00","relpermalink":"/project/hats/","section":"project","summary":"A EU FP7 FET research project 2010-2013.","tags":[],"title":"HATS: Highly Adaptable and Trustworthy Software using Formal Methods","type":"project"},{"authors":[],"categories":["Programme committees"],"content":"TASE 2016, Shanghai, China, July 17-19, 2016\n","date":1468790196,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798196,"objectID":"4eebbb1e9bae12bb88adb9066f983b0d","permalink":"https://ebjohnsen.org/talk/tase-2016/","publishdate":"2016-07-17T23:16:36+02:00","relpermalink":"/talk/tase-2016/","section":"event","summary":"TASE 2016, Shanghai, China, July 17-19, 2016","tags":["Service"],"title":"TASE 2016","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"SEFM 2016, Vienna, Austria, July 4-8, 2016\n","date":1467667004,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798204,"objectID":"f7fe1ab1cea5dae7de65ecc407ea693c","permalink":"https://ebjohnsen.org/talk/sefm-2016/","publishdate":"2016-07-04T23:16:44+02:00","relpermalink":"/talk/sefm-2016/","section":"event","summary":"SEFM 2016, Vienna, Austria, July 4-8, 2016","tags":["Service"],"title":"SEFM 2016","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"E-MuCoCoS 2016, Frankfurt, Germany, 23 June 2016\n","date":1466716581,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798181,"objectID":"f53b057443e04b509776c0fb0651d74a","permalink":"https://ebjohnsen.org/talk/e-mucocos-2016/","publishdate":"2016-06-23T23:16:21+02:00","relpermalink":"/talk/e-mucocos-2016/","section":"event","summary":"E-MuCoCoS 2016, Frankfurt, Germany, 23 June 2016","tags":["Service"],"title":"E-MuCoCoS 2016","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"Coordination 2016, Heraklion, Greece, June 6-9, 2016\n","date":1465247818,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798218,"objectID":"d617e39bfad75a93d1f483b82900114c","permalink":"https://ebjohnsen.org/talk/coordination-2016/","publishdate":"2016-06-06T23:16:58+02:00","relpermalink":"/talk/coordination-2016/","section":"event","summary":"Coordination 2016, Heraklion, Greece, June 6-9, 2016","tags":["Service"],"title":"Coordination 2016","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"FORTE 2016, Heraklion, Greece, June 6-9, 2016\n","date":1465247809,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798209,"objectID":"bb5ba144e79048076d6de65e1d94ef6d","permalink":"https://ebjohnsen.org/talk/forte-2016/","publishdate":"2016-06-06T23:16:49+02:00","relpermalink":"/talk/forte-2016/","section":"event","summary":"FORTE 2016, Heraklion, Greece, June 6-9, 2016","tags":["Service"],"title":"FORTE 2016","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"IFM 2016, Reykjavik, Iceland, June 1-4, 2016\n","date":1464815825,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798225,"objectID":"92ef49da2cfd39a988edf5f193d2412e","permalink":"https://ebjohnsen.org/talk/ifm-2016/","publishdate":"2016-06-01T23:17:05+02:00","relpermalink":"/talk/ifm-2016/","section":"event","summary":"IFM 2016, Reykjavik, Iceland, June 1-4, 2016","tags":["Service"],"title":"IFM 2016","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"SCORE@ICSE 2016, Austin, Texas, May 14-22, 2016\n","date":1463260633,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798233,"objectID":"85de39443708d892a6716fe943865dd3","permalink":"https://ebjohnsen.org/talk/score@icse-2016/","publishdate":"2016-05-14T23:17:13+02:00","relpermalink":"/talk/score@icse-2016/","section":"event","summary":"SCORE@ICSE 2016, Austin, Texas, May 14-22, 2016","tags":["Service"],"title":"SCORE@ICSE 2016","type":"event"},{"authors":["Einar Broch Johnsen","Violet Ka I Pun","Martin Steffen","Silvia Lizeth Tapia Tarifa","Ingrid Chieh Yu"],"categories":[],"content":"","date":1462621786,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1462621786,"objectID":"c57ca254108fefbba7294f753bdf4d0b","permalink":"https://ebjohnsen.org/publication/16-kaisa/","publishdate":"2020-07-21T23:36:29+02:00","relpermalink":"/publication/16-kaisa/","section":"publication","summary":"Festschrift Kaisa Sere","tags":[],"title":"Meeting Deadlines, Elastically. ","type":"publication"},{"authors":["Shiji Bijo","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1461272902,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1461272902,"objectID":"8b69bc7b93c2ee003de5fde4171bf96f","permalink":"https://ebjohnsen.org/publication/16-sac-musepat/","publishdate":"2020-07-21T23:36:37+02:00","relpermalink":"/publication/16-sac-musepat/","section":"publication","summary":"Proc. SAC 2016","tags":["Multicore","Maude"],"title":"An Operational Semantics of Cache Coherent Multicore Architectures","type":"publication"},{"authors":["Erika Ábrahám","Marcello M. Bonsangue","Einar Broch Johnsen","(Eds)"],"categories":[],"content":"","date":1457351467,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1457351467,"objectID":"8a7fa49b74fde8a7d4a7dec0b4a64d3e","permalink":"https://ebjohnsen.org/publication/16-fdb60/","publishdate":"2020-07-21T23:35:56+02:00","relpermalink":"/publication/16-fdb60/","section":"publication","summary":"Springer LNCS 9660","tags":[],"title":"Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday","type":"publication"},{"authors":["Shiji Bijo","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1457308800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1457308800,"objectID":"4fe427c3c757db973d137ac892f38553","permalink":"https://ebjohnsen.org/publication/16-wrla/","publishdate":"2020-07-21T23:37:00+02:00","relpermalink":"/publication/16-wrla/","section":"publication","summary":"Proc. WRLA 2016","tags":["Multicore","Maude"],"title":"A Maude Framework for Cache Coherent Multicore Architectures","type":"publication"},{"authors":["Elena Giachino","Einar Broch Johnsen","Cosimo Laneve","Violet Ka I Pun"],"categories":[],"content":"","date":1453410478,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1453410478,"objectID":"3862e52b386c0b89d357adb609b14b62","permalink":"https://ebjohnsen.org/publication/15-facs/","publishdate":"2020-07-21T23:34:51+02:00","relpermalink":"/publication/15-facs/","section":"publication","summary":"Proc. FACS 2015","tags":["ABS"],"title":"Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Dave Clarke","Joakim Bjørk"],"categories":[],"content":"","date":1453410415,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1453410415,"objectID":"548aa759c2a269572d5b48f887a4228f","permalink":"https://ebjohnsen.org/publication/16-scp/","publishdate":"2020-07-21T23:36:43+02:00","relpermalink":"/publication/16-scp/","section":"publication","summary":"Science of Computer Programming **115-116**: 3-22, 2016","tags":[],"title":"A formal model of service-oriented dynamic object groups","type":"publication"},{"authors":["Crystal Chang Din","Silvia Lizeth Tapia Tarifa","Reiner Hähnle","Einar Broch Johnsen"],"categories":[],"content":"","date":1448140068,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1448140068,"objectID":"892d0476f7a520c0819b5a520c30e60e","permalink":"https://ebjohnsen.org/publication/15-icfem/","publishdate":"2020-07-21T23:34:56+02:00","relpermalink":"/publication/15-icfem/","section":"publication","summary":"Proc. ICFEM 2015","tags":[],"title":"History-Based Specification and Verification of Scalable Concurrent and Distributed Systems","type":"publication"},{"authors":[],"categories":[],"content":"ICTAC 2015, Cali, Colombia, October 29-31, 2015\n","date":1446153466,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798266,"objectID":"df2195c1e3237ded44cad4ce6580ba0e","permalink":"https://ebjohnsen.org/talk/ictac-2015/","publishdate":"2015-10-29T23:17:46+02:00","relpermalink":"/talk/ictac-2015/","section":"event","summary":"ICTAC 2015, Cali, Colombia, October 29-31, 2015","tags":["Service"],"title":"ICTAC 2015","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"NWPT 2015, Reykjavik, Iceland, October 21-23, 2015\n","date":1445462241,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798241,"objectID":"b36be3f81014492f93d97862a5aa3759","permalink":"https://ebjohnsen.org/talk/nwpt-2015/","publishdate":"2015-10-21T23:17:21+02:00","relpermalink":"/talk/nwpt-2015/","section":"event","summary":"NWPT 2015, Reykjavik, Iceland, October 21-23, 2015","tags":["Service"],"title":"NWPT 2015","type":"event"},{"authors":["Elvira Albert","Jesús Correas","Einar Broch Johnsen","Guillermo Román-Díez"],"categories":[],"content":"","date":1442869652,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1442869652,"objectID":"c427d8fb97de6c1cfe4a60c03795acad","permalink":"https://ebjohnsen.org/publication/15-sas/","publishdate":"2020-07-21T23:35:27+02:00","relpermalink":"/publication/15-sas/","section":"publication","summary":"Proc. SAS 2015","tags":[],"title":"Parallel Cost Analysis of Distributed Systems","type":"publication"},{"authors":["Erika Ábrahám","Costas Bekas","Ivona Brandic","Samir Genaim","Einar Broch Johnsen","Ivan Kondov","Sabri Pllana","Achim Streit"],"categories":[],"content":"","date":1442869628,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1442869628,"objectID":"0774bf6da9cbecca5aeb2c161808d7d5","permalink":"https://ebjohnsen.org/publication/15-nbis/","publishdate":"2020-07-21T23:35:21+02:00","relpermalink":"/publication/15-nbis/","section":"publication","summary":"Proc. NBIS 2015","tags":[],"title":"Preparing HPC Applications for Exascale: Challenges and Recommendations","type":"publication"},{"authors":[],"categories":[],"content":"CREDO was a STREP project funded under the EU’s FP6 programme 2006-2009 (project no 033826). CORDIS website here.\nIn open distributed systems, the availability and requirements of components providing services vary over time. The networks need to dynamically reconfigure communication links between components at run-time in a context-aware manner. This reconfiguration includes the (dis)connection of components, but also the adaptation and updating of both components and the network. Updates may change the computation abilities of components and the coordination abilities of the network. For safety-critical systems, update should not compromise the reliability of services. Updates should be initiated and effectuated in a decentralized manner. No formal model of computation and communication exists today in which end-to-end system evolution can be expressed and validated. The use of formal models and validation techniques will significantly improve the confidence in dynamically reconfigurable systems, which are otherwise error-prone.\nThis project aims at a compositional modelling and validation framework for dynamically evolving software systems, separating computation, coordination, and scheduling. Exploiting this separation of concerns, we develop a uniform modelling language in which object-oriented components are combined with flexible communication and timing models. A new notion of service interface is essential, allowing separate design and validation of different components and of the network. Interface composition enables end-to-end reasoning about evolving systems. These interfaces specify services and formalize the context awareness needed for run-time coordination and reconfiguration. The framework will help developers design and maintain systems by validating reconfigurations. We focus on automatable and compositional validation techniques, including abstract simulation, synthesis, model-checking, test-generation, and verification of interface compatibility. The usefulness of the framework is assessed through case studies, and by developing an integrated tool.\n","date":1437508511,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1437508511,"objectID":"f3b75c1d65cf46b284e1ba7862458c82","permalink":"https://ebjohnsen.org/project/credo/","publishdate":"2015-07-21T21:55:11+02:00","relpermalink":"/project/credo/","section":"project","summary":"A EU FP6 research project 2006-2009.","tags":[],"title":"CREDO: Modelling and analysis of evolutionary structures for distributed services","type":"project"},{"authors":[],"categories":["Programme committees"],"content":"ECOOP 2015, Prague, Czech republic, July 6-10, 2015\n","date":1436217474,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798274,"objectID":"340c3b2a00a56ce65ec8b6445e5f2d83","permalink":"https://ebjohnsen.org/talk/ecoop-2015/","publishdate":"2015-07-06T23:17:54+02:00","relpermalink":"/talk/ecoop-2015/","section":"event","summary":"ECOOP 2015, Prague, Czech republic, July 6-10, 2015","tags":["Service"],"title":"ECOOP 2015","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"FM 2015, Oslo, Norway, June 22-26, 2015 (General chair)\n","date":1435007856,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798256,"objectID":"17c17365523e72bcae757fd33ff40fae","permalink":"https://ebjohnsen.org/talk/fm-2015/","publishdate":"2015-06-22T23:17:36+02:00","relpermalink":"/talk/fm-2015/","section":"event","summary":"FM 2015, Oslo, Norway, June 22-26, 2015 (General chair)","tags":["Service"],"title":"FM 2015","type":"event"},{"authors":["Reiner Hähnle","Einar Broch Johnsen"],"categories":[],"content":"","date":1434920841,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1434920841,"objectID":"595a9ca3bf994da81c6272a989c16756","permalink":"https://ebjohnsen.org/publication/15-ieee-comp/","publishdate":"2020-07-21T23:35:04+02:00","relpermalink":"/publication/15-ieee-comp/","section":"publication","summary":"IEEE Computer **48** (6), 2015","tags":[],"title":"Designing Resource-Aware Cloud Applications","type":"publication"},{"authors":["Marco Bernardo","Einar Broch Johnsen","(Eds)"],"categories":[],"content":"","date":1433677884,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1433677884,"objectID":"4d9ed06625a557029854d0f7772dcdaa","permalink":"https://ebjohnsen.org/publication/15-sfm/","publishdate":"2020-07-21T23:35:35+02:00","relpermalink":"/publication/15-sfm/","section":"publication","summary":"SFM 2015","tags":[],"title":"Advanced Lectures on Formal Methods for Multicore Programming","type":"publication"},{"authors":["Stephan Brandauer","Elias Castegren","Dave Clarke","Kiko Fernandez-Reyes","Einar Broch Johnsen","Violet Ka I Pun","Silvia Lizeth Tapia Tarifa","Tobias Wrigstad","Albert Mingkun Yang"],"categories":[],"content":"","date":1432242460,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1432242460,"objectID":"cf127be48ad4119cb5a774cd5f3d2e28","permalink":"https://ebjohnsen.org/publication/15-encore/","publishdate":"2020-07-21T23:34:43+02:00","relpermalink":"/publication/15-encore/","section":"publication","summary":"Formal Methods for Multicore Programming (SFM 2015)","tags":[],"title":"Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"FSEN 2015, Tehran, Iran, April 22-24, 2015\n","date":1429737480,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798280,"objectID":"89b495e95e77d452dca64de9dd680494","permalink":"https://ebjohnsen.org/talk/fsen-2015/","publishdate":"2015-04-22T23:18:00+02:00","relpermalink":"/talk/fsen-2015/","section":"event","summary":"FSEN 2015, Tehran, Iran, April 22-24, 2015","tags":[],"title":"FSEN 2015","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"FASE 2015, London, UK, April 11-19, 2015\n","date":1428787089,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798289,"objectID":"1dd05de06acfe0c5e02a82b6b8f0ea6b","permalink":"https://ebjohnsen.org/talk/fase-2015/","publishdate":"2015-04-11T23:18:09+02:00","relpermalink":"/talk/fase-2015/","section":"event","summary":"FASE 2015, London, UK, April 11-19, 2015","tags":["Service"],"title":"FASE 2015","type":"event"},{"authors":["Johan Dovland","Einar Broch Johnsen","Olaf Owe","Ingrid Chieh Yu"],"categories":[],"content":"","date":1421874400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1421874400,"objectID":"ca9ce63826f5314dff7b3745686b68c1","permalink":"https://ebjohnsen.org/publication/15-jlamp2/","publishdate":"2020-07-21T23:35:16+02:00","relpermalink":"/publication/15-jlamp2/","section":"publication","summary":"Journal of Logical and Algebraic Methods in Programming **84** (1): 37-53, 2015","tags":[],"title":"A proof system for adaptable class hierarchies","type":"publication"},{"authors":["Einar Broch Johnsen","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1421874397,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1421874397,"objectID":"467ef6a33f49926dd29dbe0c97ef9097","permalink":"https://ebjohnsen.org/publication/15-jlamp1/","publishdate":"2020-07-21T23:35:13+02:00","relpermalink":"/publication/15-jlamp1/","section":"publication","summary":"Journal of Logical and Algebraic Methods in Programming **84** (1): 67-91, 2015","tags":["ABS"],"title":"Integrating deployment architectures and resource consumption in timed object-oriented models","type":"publication"},{"authors":["Elvira Albert","Frank S. de Boer","Reiner Hähnle","Einar Broch Johnsen","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa","Peter Y. H. Wong"],"categories":["ABS"],"content":"","date":1419195954,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1419195954,"objectID":"4ce8078765f7fa78d00399de8cdef2ce","permalink":"https://ebjohnsen.org/publication/14-soca/","publishdate":"2020-07-21T23:34:28+02:00","relpermalink":"/publication/14-soca/","section":"publication","summary":"Journal of Service-Oriented Computing and Applications **8** (4):323-339, 2014","tags":["ABS"],"title":"Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"NWPT 2014, Halmstad, Sweden, Nov 29-31, 2014\n","date":1417295896,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798296,"objectID":"41e96efacddcd62aae7fd97729587801","permalink":"https://ebjohnsen.org/talk/nwpt-2014/","publishdate":"2014-11-29T23:18:16+02:00","relpermalink":"/talk/nwpt-2014/","section":"event","summary":"NWPT 2014, Halmstad, Sweden, Nov 29-31, 2014","tags":["Service"],"title":"NWPT 2014","type":"event"},{"authors":["Einar Broch Johnsen","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1413925538,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1413925538,"objectID":"7514a9237435a4fc83776f57d6e59c68","permalink":"https://ebjohnsen.org/publication/14-isola1/","publishdate":"2020-07-21T23:34:12+02:00","relpermalink":"/publication/14-isola1/","section":"publication","summary":"Proc. ISoLa 2014","tags":["ABS"],"title":"Deployment Variability in Delta-Oriented Models","type":"publication"},{"authors":["Ivan Lanese","Michael Lienhardt","Mario Bravetti","Einar Broch Johnsen","Rudolf Schlatte","Volker Stolz","Gianluigi Zavattaro"],"categories":["ABS"],"content":"","date":1413915434,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1413915434,"objectID":"03143e9d48c5ca06215b6f0173c7cd80","permalink":"https://ebjohnsen.org/publication/14-isola2/","publishdate":"2020-07-21T23:34:14+02:00","relpermalink":"/publication/14-isola2/","section":"publication","summary":"Proc. ISoLa 2014","tags":["ABS"],"title":"Fault Model Design Space for Cooperative Concurrency","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"AGERE 2014, Portland, USA, Oct 20, 2014\n","date":1413839905,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798305,"objectID":"8e1f94fd54a070a6feea7883c6a14544","permalink":"https://ebjohnsen.org/talk/agere-2014/","publishdate":"2014-10-20T23:18:25+02:00","relpermalink":"/talk/agere-2014/","section":"event","summary":"AGERE 2014, Portland, USA, Oct 20, 2014","tags":["Service"],"title":"AGERE 2014","type":"event"},{"authors":["Georg Göri","Einar Broch Johnsen","Rudolf Schlatte","Volker Stolz"],"categories":["ABS"],"content":"","date":1412187707,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1412187707,"objectID":"bcabe1a0921cefa7204c72aef60f0ceb","permalink":"https://ebjohnsen.org/publication/14-isola3/","publishdate":"2020-07-21T23:34:16+02:00","relpermalink":"/publication/14-isola3/","section":"publication","summary":"Proc. ISoLa 2014","tags":["ABS"],"title":"Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling","type":"publication"},{"authors":[],"categories":["Programme committees"],"content":"iFM 2014, Bertinoro, Italy, Sep. 9-11, 2014\n","date":1410297511,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798311,"objectID":"b56bec6d2c740fa3062aeb488e421f56","permalink":"https://ebjohnsen.org/talk/ifm-2014/","publishdate":"2014-09-09T23:18:31+02:00","relpermalink":"/talk/ifm-2014/","section":"event","summary":"iFM 2014, Bertinoro, Italy, Sep. 9-11, 2014","tags":["Service"],"title":"iFM 2014","type":"event"},{"authors":[],"categories":["Programme committees"],"content":"BEAT 2014, Rome, Italy, Sep. 1, 2014\n","date":1409606317,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798317,"objectID":"b37e9e5621f10cf123d1ec199fa4be83","permalink":"https://ebjohnsen.org/talk/beat-2014/","publishdate":"2014-09-01T23:18:37+02:00","relpermalink":"/talk/beat-2014/","section":"event","summary":"BEAT 2014, Rome, Italy, Sep. 1, 2014","tags":["Service"],"title":"BEAT 2014","type":"event"},{"authors":[],"categories":[],"content":"ECOOP 2014, Uppsala, Sweden, July 28-Aug 1, 2014\n","date":1406582339,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798339,"objectID":"5a99436d9e3de8273f034b818c06266d","permalink":"https://ebjohnsen.org/talk/ecoop-2014/","publishdate":"2014-07-28T23:18:59+02:00","relpermalink":"/talk/ecoop-2014/","section":"event","summary":"ECOOP 2014, Uppsala, Sweden, July 28-Aug 1, 2014","tags":["Service"],"title":"ECOOP 2014","type":"event"},{"authors":[],"categories":["Programme committees","PC chair"],"content":"WING 2014, Vienna, Austria, July 23, 2014\n","date":1406150331,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798331,"objectID":"65f884631a71596484b6700b4166ab44","permalink":"https://ebjohnsen.org/talk/wing-2014/","publishdate":"2014-07-23T23:18:51+02:00","relpermalink":"/talk/wing-2014/","section":"event","summary":"WING 2014, Vienna, Austria, July 23, 2014","tags":["Service"],"title":"WING 2014","type":"event"},{"authors":["Ferruccio Damiani","Johan Dovland","Einar Broch Johnsen","Ina Schaefer"],"categories":[],"content":"","date":1405976778,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1405976778,"objectID":"c0f1ae73a49cb2da713c4a6c55398c62","permalink":"https://ebjohnsen.org/publication/14-faoc/","publishdate":"2020-07-21T23:34:07+02:00","relpermalink":"/publication/14-faoc/","section":"publication","summary":"Formal Aspects of Computing **26** (4): 761-793, 2014","tags":[],"title":"Verifying traits: an incremental proof system for fine-grained reuse","type":"publication"},{"authors":[],"categories":["PhD Schools"],"content":"SFM 2014, Envisage Summer School in Bertinoro, Italy, June 16-20, 2014\n","date":1402953524,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798324,"objectID":"0864aa78bb5e255e331f61f392bbf04e","permalink":"https://ebjohnsen.org/talk/sfm-2014-envisage-summer-school/","publishdate":"2014-06-16T23:18:44+02:00","relpermalink":"/talk/sfm-2014-envisage-summer-school/","section":"event","summary":"SFM 2014, Envisage Summer School in Bertinoro, Italy, June 16-20, 2014","tags":["Service"],"title":"SFM 2014, Envisage Summer School","type":"event"},{"authors":["Marco Bernardo","Ferruccio Damiani","Reiner Hähnle","Einar Broch Johnsen","Ina Schaefer","(Eds)"],"categories":[],"content":"","date":1402141884,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1402141884,"objectID":"4571f0adba7b15bc07675e7814352a5b","permalink":"https://ebjohnsen.org/publication/14-sfm/","publishdate":"2020-07-21T23:34:22+02:00","relpermalink":"/publication/14-sfm/","section":"publication","summary":"Springer LNCS 8483","tags":[],"title":"Advanced Lectures on Formal Methods for Executable Software Models","type":"publication"},{"authors":[],"categories":[],"content":"FormaliSE 2014, Hyderabad, India, May 31-June 7, 2014\n","date":1401571146,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798346,"objectID":"0f4721a8da791388e21ea55304041dc3","permalink":"https://ebjohnsen.org/talk/formalise-2014/","publishdate":"2014-05-31T23:19:06+02:00","relpermalink":"/talk/formalise-2014/","section":"event","summary":"FormaliSE 2014, Hyderabad, India, May 31-June 7, 2014","tags":["Service"],"title":"FormaliSE 2014","type":"event"},{"authors":["Frank S. de Boer","Stijn de Gouw","Einar Broch Johnsen","Andreas Kohn","Peter Y. H. Wong"],"categories":[],"content":"","date":1390338366,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1390338366,"objectID":"4ba9279c936149dd4a26236aab9c3f71","permalink":"https://ebjohnsen.org/publication/14-taosd/","publishdate":"2020-07-21T23:34:34+02:00","relpermalink":"/publication/14-taosd/","section":"publication","summary":"Transactions on Aspect-Oriented Software Development **11**: 1-26, 2014","tags":[],"title":"Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study","type":"publication"},{"authors":[],"categories":[],"content":"NWPT 2013, Tallinn, Estonia, Nov 20-22, 2013\n","date":1384982354,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798354,"objectID":"ec1721530216d002c826eb96271c9401","permalink":"https://ebjohnsen.org/talk/nwpt-2013/","publishdate":"2013-11-20T23:19:14+02:00","relpermalink":"/talk/nwpt-2013/","section":"event","summary":"NWPT 2013, Tallinn, Estonia, Nov 20-22, 2013","tags":["Service"],"title":"NWPT 2013","type":"event"},{"authors":[],"categories":[],"content":"SEFM 2013, Madrid, Spain, Sep 25-27, 2013\n","date":1380143988,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798388,"objectID":"739a86fd7020c64a871255fd4ee52448","permalink":"https://ebjohnsen.org/talk/sefm-2013/","publishdate":"2013-09-25T23:19:48+02:00","relpermalink":"/talk/sefm-2013/","section":"event","summary":"SEFM 2013, Madrid, Spain, Sep 25-27, 2013","tags":["Service"],"title":"SEFM 2013","type":"event"},{"authors":[],"categories":[],"content":"BEAT 2, Madrid, Spain, Sep 23-24, 2013\n","date":1379971164,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798364,"objectID":"5f999e64b65a64e41a3e4e0e6e983dd0","permalink":"https://ebjohnsen.org/talk/beat-2013/","publishdate":"2013-09-23T23:19:24+02:00","relpermalink":"/talk/beat-2013/","section":"event","summary":"BEAT 2, Madrid, Spain, Sep 23-24, 2013","tags":["Service"],"title":"BEAT  2013","type":"event"},{"authors":["Elvira Albert","Frank S. de Boer","Reiner Hähnle","Einar Broch Johnsen","Cosimo Laneve"],"categories":[],"content":"","date":1379797524,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1379797524,"objectID":"0e9570dc21e41d66545caf6dfac78d3e","permalink":"https://ebjohnsen.org/publication/13-nordicloud/","publishdate":"2020-07-21T23:33:41+02:00","relpermalink":"/publication/13-nordicloud/","section":"publication","summary":"Proc NordiCloud 2013","tags":[],"title":"Engineering Virtualized Services","type":"publication"},{"authors":[],"categories":[],"content":"PPPJ 2013, Stuttgart, Germany, Sep 11-13, 2013\n","date":1378934373,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798373,"objectID":"a67a09a8b9d95992765f1b6fe2cd5825","permalink":"https://ebjohnsen.org/talk/pppj-2013/","publishdate":"2013-09-11T23:19:33+02:00","relpermalink":"/talk/pppj-2013/","section":"event","summary":"PPPJ 2013, Stuttgart, Germany, Sep 11-13, 2013","tags":["Service"],"title":"PPPJ 2013","type":"event"},{"authors":[],"categories":[],"content":"CALCO Tools 2013, Warsaw, Poland, Sep. 3-6, 2013\n","date":1378243220,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798420,"objectID":"aba0e30c6312b7694f157d16e03c0c78","permalink":"https://ebjohnsen.org/talk/calco-tools-2013/","publishdate":"2013-09-03T23:20:20+02:00","relpermalink":"/talk/calco-tools-2013/","section":"event","summary":"CALCO Tools 2013, Warsaw, Poland, Sep. 3-6, 2013","tags":["Service"],"title":"CALCO Tools 2013","type":"event"},{"authors":[],"categories":["Programme committees","PC chair"],"content":"iFM 2013, Turku, Finland, June 12-14, 2013 (PC chair)\n","date":1371072007,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798407,"objectID":"23ce2ccdb464c25c3c7f21ac035dabf1","permalink":"https://ebjohnsen.org/talk/ifm-2013/","publishdate":"2013-06-12T23:20:07+02:00","relpermalink":"/talk/ifm-2013/","section":"event","summary":"iFM 2013, Turku, Finland, June 12-14, 2013 (PC chair)","tags":["Service"],"title":"iFM 2013","type":"event"},{"authors":[],"categories":[],"content":"FMDEP 2013, Turku, Finland, June 10, 2013\n","date":1370899180,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798380,"objectID":"a13a943e45a044d2198353b40a00a94f","permalink":"https://ebjohnsen.org/talk/fmdep-2013/","publishdate":"2013-06-10T23:19:40+02:00","relpermalink":"/talk/fmdep-2013/","section":"event","summary":"FMDEP 2013, Turku, Finland, June 10, 2013","tags":["Service"],"title":"FMDEP 2013","type":"event"},{"authors":["Einar Broch Johnsen","Luigia Petre","(Eds)"],"categories":[],"content":"","date":1370605884,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1370605884,"objectID":"31088252f127982ce31ed629e88087fb","permalink":"https://ebjohnsen.org/publication/13-ifm/","publishdate":"2020-07-21T23:33:28+02:00","relpermalink":"/publication/13-ifm/","section":"publication","summary":"LNCS 7940","tags":[],"title":"Proc. 10th International Conference on Integrated Formal Methods (IFM 2013)","type":"publication"},{"authors":["Amir Taherkordi","Frank Eliassen","Einar Broch Johnsen"],"categories":[],"content":"","date":1369170303,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1369170303,"objectID":"8eaff17c471cdbe0319f1c381245166e","permalink":"https://ebjohnsen.org/publication/13-sesena/","publishdate":"2020-07-21T23:33:54+02:00","relpermalink":"/publication/13-sesena/","section":"publication","summary":"Proc. SESENA 2013","tags":[],"title":"Behavioural Design of Sensor Network Applications using Activity-Driven States","type":"publication"},{"authors":[],"categories":[],"content":"FSEN 2013, Tehran, Iran, April 24-26, 2013\n","date":1366838429,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798429,"objectID":"1e8d44e490a1454528c360e5a413ffba","permalink":"https://ebjohnsen.org/talk/fsen-2013/","publishdate":"2013-04-24T23:20:29+02:00","relpermalink":"/talk/fsen-2013/","section":"event","summary":"FSEN 2013, Tehran, Iran, April 24-26, 2013","tags":["Service"],"title":"FSEN 2013","type":"event"},{"authors":["Joakim Bjørk","Frank S. de Boer","Einar Broch Johnsen","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1366578140,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1366578140,"objectID":"2f3000b99dac9fae5d974bb68961fa40","permalink":"https://ebjohnsen.org/publication/13-isse/","publishdate":"2020-07-21T23:33:34+02:00","relpermalink":"/publication/13-isse/","section":"publication","summary":"Innovations in Systems and Software Engineering **9** (1):29-43, 2013","tags":["ABS"],"title":"User-defined Schedulers for Real-Time Concurrent Objects","type":"publication"},{"authors":["Stijn de Gouw","Frank S. de Boer","Einar Broch Johnsen","Peter Y. H. Wong"],"categories":[],"content":"","date":1363899911,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1363899911,"objectID":"bfa984eeea9ce747ad3ee4e7b1cb19af","permalink":"https://ebjohnsen.org/publication/13-sac/","publishdate":"2020-07-21T23:33:48+02:00","relpermalink":"/publication/13-sac/","section":"publication","summary":"Proc. SAC 2013","tags":[],"title":"Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study","type":"publication"},{"authors":["Einar Broch Johnsen","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1353531858,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1353531858,"objectID":"3b79ceee6b67fb804ec205bd24293e83","permalink":"https://ebjohnsen.org/publication/12-icfem/","publishdate":"2020-07-21T23:32:50+02:00","relpermalink":"/publication/12-icfem/","section":"publication","summary":"Proc. ICFEM 2012","tags":["ABS"],"title":"Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS","type":"publication"},{"authors":[],"categories":[],"content":"NWPT 2012, Bergen, Norway, Oct 31- Nov 02 2012.\n","date":1351718437,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798437,"objectID":"e4125820b720c4de34cba941aa4147b1","permalink":"https://ebjohnsen.org/talk/nwpt-2012/","publishdate":"2012-10-31T23:20:37+02:00","relpermalink":"/talk/nwpt-2012/","section":"event","summary":"NWPT 2012, Bergen, Norway, Oct 31- Nov 02 2012.","tags":["Service"],"title":"NWPT 2012","type":"event"},{"authors":[],"categories":[],"content":"Agere 2012, Tuczon, USA, Oct 21-22, 2012\n","date":1350854445,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798445,"objectID":"6ca3bea855ba97e227fc36ab68e9c578","permalink":"https://ebjohnsen.org/talk/agere-2012/","publishdate":"2012-10-21T23:20:45+02:00","relpermalink":"/talk/agere-2012/","section":"event","summary":"Agere 2012, Tuczon, USA, Oct 21-22, 2012","tags":["Service"],"title":"Agere 2012","type":"event"},{"authors":["Johan Dovland","Einar Broch Johnsen","Ingrid Chieh Yu"],"categories":[],"content":"","date":1350853471,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1350853471,"objectID":"e9b66db08446798ab5dde26b3b485134","permalink":"https://ebjohnsen.org/publication/12-isola/","publishdate":"2020-07-21T23:33:02+02:00","relpermalink":"/publication/12-isola/","section":"publication","summary":"Proc. ISoLa 2012","tags":[],"title":"Tracking Behavioral Constraints during Object-Oriented Software Evolution","type":"publication"},{"authors":["Ferruccio Damiani","Johan Dovland","Einar Broch Johnsen","Olaf Owe","Ina Schaefer","Ingrid Chieh Yu"],"categories":["Software product lines"],"content":"","date":1348261480,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1348261480,"objectID":"d88994735967db5407b9068e8d1992e9","permalink":"https://ebjohnsen.org/publication/12-fmsple/","publishdate":"2020-07-21T23:32:35+02:00","relpermalink":"/publication/12-fmsple/","section":"publication","summary":"Proc. FMSPLE 2012","tags":[],"title":"A Transformational Proof System for Delta-Oriented Programming","type":"publication"},{"authors":["Frank S. de Boer","Reiner Hähnle","Einar Broch Johnsen","Rudolf Schlatte","Peter Y. H. Wong"],"categories":["ABS"],"content":"","date":1348261428,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1348261428,"objectID":"15c9572fb2b26972c16549ea23db96c3","permalink":"https://ebjohnsen.org/publication/12-esocc/","publishdate":"2020-07-21T23:32:28+02:00","relpermalink":"/publication/12-esocc/","section":"publication","summary":"Proc. ESOCC 2012","tags":["ABS"],"title":"Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study","type":"publication"},{"authors":["Joakim Bjørk","Dave Clarke","Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1345583091,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1345583091,"objectID":"f50b45a2cee3ad4abfb8f7a0f2fda891","permalink":"https://ebjohnsen.org/publication/12-foclasa/","publishdate":"2020-07-21T23:32:42+02:00","relpermalink":"/publication/12-foclasa/","section":"publication","summary":"Proc. FOCLASA 2012","tags":[],"title":"A Type-Safe Model of Adaptive Object Groups","type":"publication"},{"authors":[],"categories":[],"content":"LfSA 2012, Berkeley, USA, July 7, 2012\n","date":1341696053,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798453,"objectID":"bbf8c9a3a23f259da306000ff57634ff","permalink":"https://ebjohnsen.org/talk/lfsa-2012/","publishdate":"2012-07-07T23:20:53+02:00","relpermalink":"/talk/lfsa-2012/","section":"event","summary":"LfSA 2012, Berkeley, USA, July 7, 2012","tags":["Service"],"title":"LfSA 2012","type":"event"},{"authors":[],"categories":[],"content":"IFM 2012, Pisa, Italy, June 18-22, 2012\n","date":1340054477,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798477,"objectID":"aee4547685bec5300d2a09d77a117d80","permalink":"https://ebjohnsen.org/talk/ifm-2012/","publishdate":"2012-06-18T23:21:17+02:00","relpermalink":"/talk/ifm-2012/","section":"event","summary":"IFM 2012, Pisa, Italy, June 18-22, 2012","tags":["Service"],"title":"IFM 2012","type":"event"},{"authors":["Fatemeh Kazemeyni","Einar Broch Johnsen","Olaf Owe","Ilangko Balasingham"],"categories":[],"content":"","date":1340053318,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1340053318,"objectID":"12ac6f12df74d2c4fec3c34b3ba407ce","permalink":"https://ebjohnsen.org/publication/12-ifm/","publishdate":"2020-07-21T23:32:55+02:00","relpermalink":"/publication/12-ifm/","section":"publication","summary":"Proc. IFM 2012","tags":[],"title":"MULE-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis","type":"publication"},{"authors":[],"categories":[],"content":"FMOODS/FORTE 2012, Stockholm, Sweden, June 13-16, 2012\n","date":1339622460,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798460,"objectID":"a6abbcba06238bbf3ea1fa1b9dbcf90f","permalink":"https://ebjohnsen.org/talk/fmoods/forte-2012/","publishdate":"2012-06-13T23:21:00+02:00","relpermalink":"/talk/fmoods/forte-2012/","section":"event","summary":"FMOODS/FORTE 2012, Stockholm, Sweden, June 13-16, 2012","tags":["Service"],"title":"FMOODS/FORTE 2012","type":"event"},{"authors":["Crystal Chang Din","Johan Dovland","Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1335042106,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1335042106,"objectID":"2efc793ae24005927d6268fa251557d5","permalink":"https://ebjohnsen.org/publication/12-jlap3/","publishdate":"2020-07-21T23:33:18+02:00","relpermalink":"/publication/12-jlap3/","section":"publication","summary":"Journal of Logic and Algebraic Programming **81** (3): 227-256, 2012","tags":[],"title":"Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects","type":"publication"},{"authors":["Fatemeh Kazemeyni","Einar Broch Johnsen","Olaf Owe","Ilangko Balasingham"],"categories":[],"content":"","date":1335042100,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1335042100,"objectID":"88542b052166bd818c3e62d626a5b1f7","permalink":"https://ebjohnsen.org/publication/12-jlap2/","publishdate":"2020-07-21T23:33:14+02:00","relpermalink":"/publication/12-jlap2/","section":"publication","summary":"Journal of Logic and Algebraic Programming **81** (3): 284-297, 2012","tags":[],"title":"Formal Modeling and Validation of a Power-Efficient Grouping Protocol for WSNs","type":"publication"},{"authors":["Einar Broch Johnsen","Thi Mai Thuong Tran","Olaf Owe","Martin Steffen"],"categories":[],"content":"","date":1335042096,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1335042096,"objectID":"b34f75b206e81c0b59307f0b4a031cd6","permalink":"https://ebjohnsen.org/publication/12-jlap1/","publishdate":"2020-07-21T23:33:09+02:00","relpermalink":"/publication/12-jlap1/","section":"publication","summary":"Journal of Logic and Algebraic Programming **81** (3): 257-283, 2012","tags":[],"title":"Safe Locking for Multi-Threaded Java with Exceptions","type":"publication"},{"authors":["Einar Broch Johnsen","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1327179760,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1327179760,"objectID":"7395abf3ddc5aa4315354be7789cc9eb","permalink":"https://ebjohnsen.org/publication/11-foveoos/","publishdate":"2020-07-21T23:31:45+02:00","relpermalink":"/publication/11-foveoos/","section":"publication","summary":"Proc. FOVEOOS 2011","tags":["ABS"],"title":"A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios","type":"publication"},{"authors":["Einar Broch Johnsen","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1327179750,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1327179750,"objectID":"3585d8bfe22308856b8bd8b10cd57bf3","permalink":"https://ebjohnsen.org/publication/11-facs/","publishdate":"2020-07-21T23:31:39+02:00","relpermalink":"/publication/11-facs/","section":"publication","summary":"Proc. FACS 2011","tags":[],"title":"A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios","type":"publication"},{"authors":["Einar Broch Johnsen","Reiner Hähnle","Jan Schäfer","Rudolf Schlatte","Martin Steffen"],"categories":["ABS"],"content":"","date":1327179648,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1327179648,"objectID":"689e5d9f8b3e947f6c4fdb2b50581d2c","permalink":"https://ebjohnsen.org/publication/10-fmco/","publishdate":"2020-07-21T23:30:22+02:00","relpermalink":"/publication/10-fmco/","section":"publication","summary":"Proc. FMCO 2010","tags":["ABS"],"title":"ABS: A Core Language for Abstract Behavioral Specification","type":"publication"},{"authors":["Johan Dovland","Einar Broch Johnsen","Olaf Owe","Martin Steffen"],"categories":[],"content":"","date":1319230759,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1319230759,"objectID":"f516d4bd640e4e98906014a182c6a844","permalink":"https://ebjohnsen.org/publication/11-scp/","publishdate":"2020-07-21T23:32:15+02:00","relpermalink":"/publication/11-scp/","section":"publication","summary":"Science of Computer Programming **76** (10):915-941, 2011","tags":[],"title":"Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance","type":"publication"},{"authors":[],"categories":[],"content":"FOVEOOS 2011, Torino, Italy, October 5-7, 2011\n","date":1317849694,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798494,"objectID":"fd1e4dc23f0d9ce642eb44174be5bc18","permalink":"https://ebjohnsen.org/talk/foveoos-2011/","publishdate":"2011-10-05T23:21:34+02:00","relpermalink":"/talk/foveoos-2011/","section":"event","summary":"FOVEOOS 2011, Torino, Italy, October 5-7, 2011","tags":["Service"],"title":"FOVEOOS 2011","type":"event"},{"authors":[],"categories":[],"content":"TASE 2011, Xi’an, China, August 29-31, 2011\n","date":1314652919,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798519,"objectID":"8d4cefb9256388e4eed5b52296d0c6ba","permalink":"https://ebjohnsen.org/talk/tase-2011/","publishdate":"2011-08-29T23:21:59+02:00","relpermalink":"/talk/tase-2011/","section":"event","summary":"TASE 2011, Xi’an, China, August 29-31, 2011","tags":["Service"],"title":"TASE 2011","type":"event"},{"authors":["Rudolf Schlatte","Einar Broch Johnsen","Fatemeh Kazemeyni","Silvia Lizeth Tapia Tarifa"],"categories":[],"content":"","date":1313960392,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1313960392,"objectID":"240c802cc138297252b5c16df870a107","permalink":"https://ebjohnsen.org/publication/10-ttss/","publishdate":"2020-07-21T23:31:15+02:00","relpermalink":"/publication/10-ttss/","section":"publication","summary":"Proc. TTSS 2010","tags":[],"title":"Models of Rate Restricted Communication for Concurrent Objects","type":"publication"},{"authors":["Ferruccio Damiani","Johan Dovland","Einar Broch Johnsen","Ina Schaefer"],"categories":[],"content":"","date":1311282069,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1311282069,"objectID":"be630a2a431415aa366c66fbd62f0df3","permalink":"https://ebjohnsen.org/publication/11-ftfjp/","publishdate":"2020-07-21T23:32:02+02:00","relpermalink":"/publication/11-ftfjp/","section":"publication","summary":"Proc. FTfJP 2011","tags":[],"title":"Verifying Traits: A Proof System for Fine-Grained Reuse","type":"publication"},{"authors":["Einar Broch Johnsen","Ivan Lanese","Gianluigi Zavattaro"],"categories":["ABS"],"content":"","date":1308690015,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1308690015,"objectID":"0155f98a214f6bf64cbc6204373568f9","permalink":"https://ebjohnsen.org/publication/11-coordination/","publishdate":"2020-07-21T23:31:29+02:00","relpermalink":"/publication/11-coordination/","section":"publication","summary":"Proc. COORDINATION 2011","tags":["ABS"],"title":"Fault in the Future","type":"publication"},{"authors":[],"categories":[],"content":"FM 2011, Limerick, Ireland, June 20-24, 2011\n","date":1308604932,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798532,"objectID":"1a8aad2c64612ad3fd130c6ffd662225","permalink":"https://ebjohnsen.org/talk/fm-2011/","publishdate":"2011-06-20T23:22:12+02:00","relpermalink":"/talk/fm-2011/","section":"event","summary":"FM 2011, Limerick, Ireland, June 20-24, 2011","tags":["Service"],"title":"FM 2011","type":"event"},{"authors":["Dave Clarke","Nikolay Diakov","Reiner Hähnle","Einar Broch Johnsen","Ina Schaefer","Jan Schäfer","Rudolf Schlatte","Peter Y. H. Wong"],"categories":["Software product lines","ABS"],"content":"","date":1307998804,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1307998804,"objectID":"2a07bc48485b66d6626882fe462605d4","permalink":"https://ebjohnsen.org/publication/11-sfm/","publishdate":"2020-07-21T23:32:21+02:00","relpermalink":"/publication/11-sfm/","section":"publication","summary":"Proc. SFM 2011","tags":["ABS"],"title":"Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language","type":"publication"},{"authors":[],"categories":[],"content":"FMOODS/FORTE 2011, Reykjavik, Iceland, June 6-9, 2011\n","date":1307395326,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798526,"objectID":"b2a4e3cc0f16abb64f28994cd6d833ff","permalink":"https://ebjohnsen.org/talk/fmoods/forte-2011/","publishdate":"2011-06-06T23:22:06+02:00","relpermalink":"/talk/fmoods/forte-2011/","section":"event","summary":"FMOODS/FORTE 2011, Reykjavik, Iceland, June 6-9, 2011","tags":["Service"],"title":"FMOODS/FORTE 2011","type":"event"},{"authors":["Elvira Albert","Samir Genaim","Miguel Gömez-Zamalloa","Einar Broch Johnsen","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1306011750,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1306011750,"objectID":"aae15cbd45eab3745d61405ea3d35efe","permalink":"https://ebjohnsen.org/publication/11-fm/","publishdate":"2022-07-21T23:31:39+02:00","relpermalink":"/publication/11-fm/","section":"publication","summary":"Proc. FM 2011","tags":["ABS"],"title":"Simulating Concurrent Behaviors with Worst-Case Cost Bounds","type":"publication"},{"authors":["Einar Broch Johnsen","Thi Mai Thuong Tran","Olaf Owe","Martin Steffen"],"categories":[],"content":"","date":1303419677,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1303419677,"objectID":"e852e9368d31892a084f5ecf65ffa09b","permalink":"https://ebjohnsen.org/publication/11-fsen/","publishdate":"2020-07-21T23:31:53+02:00","relpermalink":"/publication/11-fsen/","section":"publication","summary":"Proc. FSEN 2011","tags":[],"title":"Safe Locking for Multi-Threaded Java","type":"publication"},{"authors":["Fatemeh Kazemeyni","Einar Broch Johnsen","Olaf Owe","Ilangko Balasingham"],"categories":[],"content":"","date":1303419572,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1303419572,"objectID":"c9b31347835526b036ed4ba571fd4647","permalink":"https://ebjohnsen.org/publication/11-iceccs/","publishdate":"2020-07-21T23:32:09+02:00","relpermalink":"/publication/11-iceccs/","section":"publication","summary":"Proc. ICECCS 2011","tags":[],"title":"Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory","type":"publication"},{"authors":[],"categories":[],"content":"FSEN 2011, Tehran, Iran, April 20-22, 2011\n","date":1303334539,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798539,"objectID":"fda533a6de010ad1761e9133a3b6142a","permalink":"https://ebjohnsen.org/talk/fsen-2011/","publishdate":"2011-04-20T23:22:19+02:00","relpermalink":"/talk/fsen-2011/","section":"event","summary":"FSEN 2011, Tehran, Iran, April 20-22, 2011","tags":["Service"],"title":"FSEN 2011","type":"event"},{"authors":[],"categories":[],"content":"NWPT 2010, Turku, Finland, November 10-12 2010\n","date":1289424086,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798486,"objectID":"4186d835dae3fa464e296620c6e56c05","permalink":"https://ebjohnsen.org/talk/nwpt-2010/","publishdate":"2010-11-10T23:21:26+02:00","relpermalink":"/talk/nwpt-2010/","section":"event","summary":"NWPT 2010, Turku, Finland, November 10-12 2010","tags":["Service"],"title":"NWPT 2010","type":"event"},{"authors":["Einar Broch Johnsen","Olaf Owe","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1287694735,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1287694735,"objectID":"73276317d184162c86c0d7dc6678c6f9","permalink":"https://ebjohnsen.org/publication/10-icfem/","publishdate":"2020-07-21T23:30:41+02:00","relpermalink":"/publication/10-icfem/","section":"publication","summary":"Proc. ICFEM 2010","tags":["ABS"],"title":"Dynamic Resource Reallocation Between Deployment Components","type":"publication"},{"authors":[],"categories":[],"content":"FACS 2010, Guimaraes, Portugal, October 14-16 2010.\n","date":1287091356,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798556,"objectID":"d032c2cb645fdb19a45db8ff70fb1449","permalink":"https://ebjohnsen.org/talk/facs-2010/","publishdate":"2010-10-14T23:22:36+02:00","relpermalink":"/talk/facs-2010/","section":"event","summary":"FACS 2010, Guimaraes, Portugal, October 14-16 2010.","tags":["Service"],"title":"FACS 2010","type":"event"},{"authors":["Frank S. de Boer","Mohammad Mahdi Jaghoori","Einar Broch Johnsen"],"categories":[],"content":"","date":1285102726,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1285102726,"objectID":"bc25e2b49e4a411294759458125735b3","permalink":"https://ebjohnsen.org/publication/10-concur/","publishdate":"2020-07-21T23:30:14+02:00","relpermalink":"/publication/10-concur/","section":"publication","summary":"Proc. CONCUR 2010","tags":[],"title":"Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis","type":"publication"},{"authors":["Johan Dovland","Einar Broch Johnsen","Olaf Owe","Martin Steffen"],"categories":[],"content":"","date":1285102715,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1285102715,"objectID":"bf3193e04feb15fe73c20bff5d4e0c72","permalink":"https://ebjohnsen.org/publication/10-jlap/","publishdate":"2020-07-21T23:30:50+02:00","relpermalink":"/publication/10-jlap/","section":"publication","summary":"Journal of Logic and Algebraic Programming **79** (7): 578-607, 2010","tags":[],"title":"Lazy Behavioral Subtyping","type":"publication"},{"authors":["Joakim Bjørk","Einar Broch Johnsen","Olaf Owe","Rudolf Schlatte"],"categories":[],"content":"","date":1285102614,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1285102614,"objectID":"768bc04b3d8b5ebc8ea26cd57995603c","permalink":"https://ebjohnsen.org/publication/10-rtrts/","publishdate":"2020-07-21T23:31:00+02:00","relpermalink":"/publication/10-rtrts/","section":"publication","summary":"Proc. RTRTS 2010","tags":[],"title":"Lightweight Time Modeling in Timed Creol","type":"publication"},{"authors":["Dave Clarke","Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1285102563,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1285102563,"objectID":"e6ad9bec186f9a9683bc99ea5e6fd796","permalink":"https://ebjohnsen.org/publication/10-wpdr/","publishdate":"2020-07-21T23:31:20+02:00","relpermalink":"/publication/10-wpdr/","section":"publication","summary":"Festschrift Willem-Paul de Roever","tags":[],"title":"Concurrent Objects a la Carte","type":"publication"},{"authors":[],"categories":[],"content":"TTSS 2011, Oslo, Norway, September 13, 2011\n","date":1284412908,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798508,"objectID":"9f7aa5d6166e6ffd9ec7fd481dc1d4cd","permalink":"https://ebjohnsen.org/talk/ttss-2011/","publishdate":"2010-09-13T23:21:48+02:00","relpermalink":"/talk/ttss-2011/","section":"event","summary":"TTSS 2011, Oslo, Norway, September 13, 2011","tags":["Service"],"title":"TTSS 2011","type":"event"},{"authors":["Espen H. Lian","Einar Broch Johnsen","Arild Waaler"],"categories":[],"content":"","date":1282424186,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1282424186,"objectID":"20dffea86b0531611dbbc72b7c3f1606","permalink":"https://ebjohnsen.org/publication/10-stairs/","publishdate":"2020-07-21T23:31:08+02:00","relpermalink":"/publication/10-stairs/","section":"publication","summary":"Proc. STAIRS 2010","tags":[],"title":"Confluent Term Rewriting for Only-knowing Logics","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Rudolf Schlatte","Silvia Lizeth Tapia Tarifa"],"categories":["ABS"],"content":"","date":1279745947,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1279745947,"objectID":"ca3c2c4746a1a6524511f3455acb77d1","permalink":"https://ebjohnsen.org/publication/10-foveoos/","publishdate":"2020-07-21T23:30:35+02:00","relpermalink":"/publication/10-foveoos/","section":"publication","summary":"Proc. FOVEOOS 2010","tags":["ABS"],"title":"Validating Timed Models of Deployment Components with Parametric Concurrency","type":"publication"},{"authors":[],"categories":[],"content":"LfSA 2010, Edinburgh, UK, July 15, 2010\n","date":1279228964,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798564,"objectID":"666c4b7e1f86fbf5fd7c1a9fe15693e1","permalink":"https://ebjohnsen.org/talk/lfsa-2010/","publishdate":"2010-07-15T23:22:44+02:00","relpermalink":"/talk/lfsa-2010/","section":"event","summary":"LfSA 2010, Edinburgh, UK, July 15, 2010","tags":["Service"],"title":"LfSA 2010","type":"event"},{"authors":[],"categories":[],"content":"NWPT 2010, Turku, Finland, November 10-12 2010\n","date":1278796949,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798549,"objectID":"7c5bccf1937dfa00c2bbc8861932d981","permalink":"https://ebjohnsen.org/talk/nwpt-2010/","publishdate":"2010-07-10T23:22:29+02:00","relpermalink":"/talk/nwpt-2010/","section":"event","summary":"NWPT 2010, Turku, Finland, November 10-12 2010","tags":["Service"],"title":"NWPT 2010","type":"event"},{"authors":[],"categories":[],"content":"FOVEOOS 2010, Paris, France, June 28-30, 2010\n","date":1277760170,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798570,"objectID":"9d44b39a3d9ce3ad27f7074fe1284884","permalink":"https://ebjohnsen.org/talk/foveoos-2010/","publishdate":"2010-06-28T23:22:50+02:00","relpermalink":"/talk/foveoos-2010/","section":"event","summary":"FOVEOOS 2010, Paris, France, June 28-30, 2010","tags":["Service"],"title":"FOVEOOS 2010","type":"event"},{"authors":["Fatemeh Kazemeyni","Einar Broch Johnsen","Olaf Owe","Ilangko Balasingham"],"categories":[],"content":"","date":1277153774,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1277153774,"objectID":"ae2316ae4fc203104770cc3ccca39b0a","permalink":"https://ebjohnsen.org/publication/10-forte/","publishdate":"2020-07-21T23:30:27+02:00","relpermalink":"/publication/10-forte/","section":"publication","summary":"Proc. FMOODS/FORTE 2010","tags":[],"title":"Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory","type":"publication"},{"authors":[],"categories":[],"content":"FMOODS/FORTE 2010, Amsterdam, the Netherlands, June 7-10, 2010\n","date":1275945779,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798579,"objectID":"565308131042f8212bd77909d2026bdc","permalink":"https://ebjohnsen.org/talk/fmoods/forte-2010/","publishdate":"2010-06-07T23:22:59+02:00","relpermalink":"/talk/fmoods/forte-2010/","section":"event","summary":"FMOODS/FORTE 2010, Amsterdam, the Netherlands, June 7-10, 2010","tags":["Service"],"title":"FMOODS/FORTE 2010","type":"event"},{"authors":["Einar Broch Johnsen","Marcel Kyas","Ingrid Chieh Yu"],"categories":[],"content":"","date":1258836949,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1258836949,"objectID":"5b95b29955c45836f2a42a35bc15b8bb","permalink":"https://ebjohnsen.org/publication/09-fm/","publishdate":"2020-07-21T23:29:40+02:00","relpermalink":"/publication/09-fm/","section":"publication","summary":"Proc FM 2009","tags":[],"title":"Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects","type":"publication"},{"authors":[],"categories":[],"content":"FACS 2009, Eindhoven, the Netherlands, October 30-31, 2009\n","date":1256937794,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798594,"objectID":"080d96f8e2ae5987e747aee31e55d190","permalink":"https://ebjohnsen.org/talk/facs-2009/","publishdate":"2009-10-30T23:23:14+02:00","relpermalink":"/talk/facs-2009/","section":"event","summary":"FACS 2009, Eindhoven, the Netherlands, October 30-31, 2009","tags":["Service"],"title":"FACS 2009","type":"event"},{"authors":[],"categories":[],"content":"NWPT 2009, Lyngby, Denmark, October 14-16 2009.\n","date":1255555388,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798588,"objectID":"271134c529b30a700828bb7415d4634a","permalink":"https://ebjohnsen.org/talk/nwpt-2009/","publishdate":"2009-10-14T23:23:08+02:00","relpermalink":"/talk/nwpt-2009/","section":"event","summary":"NWPT 2009, Lyngby, Denmark, October 14-16 2009.","tags":["Service"],"title":"NWPT 2009","type":"event"},{"authors":["Einar Broch Johnsen","Olaf Owe","Gerardo Schneider","(Eds)"],"categories":[],"content":"","date":1250888139,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1250888139,"objectID":"1ccfb45368f09b7a6e50e0b5294b46d9","permalink":"https://ebjohnsen.org/publication/09-jlap/","publishdate":"2020-07-26T12:00:35+02:00","relpermalink":"/publication/09-jlap/","section":"publication","summary":"Journal of Logic and Algebraic Programming **78** (7)","tags":[],"title":"The 19th Nordic Workshop on Programming Theory (NWPT 2007)","type":"publication"},{"authors":["Andreas Griesmayer","Bernhard K. Aichernig","Einar Broch Johnsen","Rudolf Schlatte"],"categories":[],"content":"","date":1248209726,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1248209726,"objectID":"2bb7ebc2e9684011052604fee437f554","permalink":"https://ebjohnsen.org/publication/09-tap/","publishdate":"2020-07-21T23:30:00+02:00","relpermalink":"/publication/09-tap/","section":"publication","summary":"Proc. TAP 2009","tags":[],"title":"Dynamic Symbolic Execution for Testing Distributed Objects","type":"publication"},{"authors":["Bjarne Holen","Einar Broch Johnsen","Arild Waaler"],"categories":[],"content":"","date":1245617683,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1245617683,"objectID":"32f5cf16ad96261eb5861ed92fffb263","permalink":"https://ebjohnsen.org/publication/08-wrla/","publishdate":"2020-07-21T23:29:35+02:00","relpermalink":"/publication/08-wrla/","section":"publication","summary":"Proc. WRLA 2008","tags":[],"title":"Proof Search for the First-Order Connection Calculus in Maude","type":"publication"},{"authors":[],"categories":[],"content":"FMOODS/FORTE 2009, Lisbon, Portugal, June 9-11, 2009\n","date":1244582602,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798602,"objectID":"d74c5ed4864c46b63533b8f1d84b0f77","permalink":"https://ebjohnsen.org/talk/fmoods/forte-2009/","publishdate":"2009-06-09T23:23:22+02:00","relpermalink":"/talk/fmoods/forte-2009/","section":"event","summary":"FMOODS/FORTE 2009, Lisbon, Portugal, June 9-11, 2009","tags":["Service"],"title":"FMOODS/FORTE 2009","type":"event"},{"authors":[],"categories":[],"content":"FSEN 2009, Kish, Persian Gulf, Iran, April 15-17, 2009\n","date":1239830609,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798609,"objectID":"5f76f48799df6736abe5f75a310d3328","permalink":"https://ebjohnsen.org/talk/2009-fsen/","publishdate":"2009-04-15T23:23:29+02:00","relpermalink":"/talk/2009-fsen/","section":"event","summary":"FSEN 2009, Kish, Persian Gulf, Iran, April 15-17, 2009","tags":["Service"],"title":"2009 Fsen","type":"event"},{"authors":["Johan Dovland","Einar Broch Johnsen","Olaf Owe","Martin Steffen"],"categories":[],"content":"","date":1235249715,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1235249715,"objectID":"8e7bde81824bf2de40f8d023d6e78566","permalink":"https://ebjohnsen.org/publication/09-ifm/","publishdate":"2020-07-21T23:29:46+02:00","relpermalink":"/publication/09-ifm/","section":"publication","summary":"Proc. IFM 2009","tags":[],"title":"Incremental Reasoning for Multiple Inheritance","type":"publication"},{"authors":["Marcello M. Bonsangue","Einar Broch Johnsen","Amy Murphy","Jan Vitek","(Eds)"],"categories":[],"content":"","date":1235249706,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1235249706,"objectID":"599b01eae4c3d9dd9723d21d40a92d19","permalink":"https://ebjohnsen.org/publication/09-tcs/","publishdate":"2020-07-21T23:30:04+02:00","relpermalink":"/publication/09-tcs/","section":"publication","summary":"Theoretical Computer Science **410** (2-3)","tags":[],"title":"Distributed Computing Techniques. Selected papers from FMOODS'07 and COORDINATION'07","type":"publication"},{"authors":[],"categories":[],"content":"IFM 2009, Düsseldorf, Germany, February 16-19 2009\n","date":1234819419,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798619,"objectID":"cc285ca28decc87b430b7b401fcc6139","permalink":"https://ebjohnsen.org/talk/ifm-2009/","publishdate":"2009-02-16T23:23:39+02:00","relpermalink":"/talk/ifm-2009/","section":"event","summary":"IFM 2009, Düsseldorf, Germany, February 16-19 2009","tags":["Service"],"title":"IFM 2009","type":"event"},{"authors":[],"categories":["PhD Schools"],"content":"COST Action IC0701 Winter School on Verification of Object-Oriented Programs, Viinistu, Estonia, 25-29 January, 2009\n","date":1232918633,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798633,"objectID":"8c364233856a5e44375df46765806e9d","permalink":"https://ebjohnsen.org/talk/cost-ic0701-winter-school/","publishdate":"2009-01-25T23:23:53+02:00","relpermalink":"/talk/cost-ic0701-winter-school/","section":"event","summary":"COST Action IC0701 Winter School on Verification of Object-Oriented Programs, Viinistu, Estonia, 25-29 January, 2009","tags":["Service"],"title":"COST IC0701 Winter School","type":"event"},{"authors":["Dave Clarke","Tobias Wrigstad","Johan Östlund","Einar Broch Johnsen"],"categories":[],"content":"","date":1229892857,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1229892857,"objectID":"58ce48483c156544a6d852d37fd6858e","permalink":"https://ebjohnsen.org/publication/08-aplas/","publishdate":"2020-07-21T23:28:49+02:00","relpermalink":"/publication/08-aplas/","section":"publication","summary":"Proc. APLAS 2008","tags":[],"title":"Minimal Ownership for Active Objects","type":"publication"},{"authors":[],"categories":[],"content":"NWPT 2008, Tallinn, Estonia, November 19-21 2008.\n","date":1227129841,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798641,"objectID":"388a4fab517c270009e0b14edcfa27ac","permalink":"https://ebjohnsen.org/talk/nwpt-2008/","publishdate":"2008-11-19T23:24:01+02:00","relpermalink":"/talk/nwpt-2008/","section":"event","summary":"NWPT 2008, Tallinn, Estonia, November 19-21 2008.","tags":["Service"],"title":"NWPT 2008","type":"event"},{"authors":["Einar Broch Johnsen","Ingrid Chieh Yu"],"categories":[],"content":"","date":1222030409,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1222030409,"objectID":"714b72faaa71ed1da9275490d239676c","permalink":"https://ebjohnsen.org/publication/08-jlap/","publishdate":"2020-07-21T23:29:52+02:00","relpermalink":"/publication/08-jlap/","section":"publication","summary":"Journal of Logic and Algebraic Programming **77** (1-2): 40-59, 2008","tags":[],"title":"Backwards Type Analysis of Asynchronous Method Calls","type":"publication"},{"authors":["Rudolf Schlatte","Bernhard K. Aichernig","Frank S. de Boer","Andreas Griesmayer","Einar Broch Johnsen"],"categories":[],"content":"","date":1219352029,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1219352029,"objectID":"1e5052680f2e3b7fa4443da9f88b758d","permalink":"https://ebjohnsen.org/publication/08-ictac/","publishdate":"2020-07-21T23:29:17+02:00","relpermalink":"/publication/08-ictac/","section":"publication","summary":"Proc. ICTAC 2008","tags":[],"title":"Testing Concurrent Objects with Application-Specific Schedulers","type":"publication"},{"authors":[],"categories":[],"content":"DisCoTec 2008, Oslo, Norway, June 4-6 2008, including FMOODS 2008 (General chair)\n","date":1217107448,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1595798648,"objectID":"c5001719aaca02027657da04d9494c9c","permalink":"https://ebjohnsen.org/talk/discotec-2008/","publishdate":"2008-07-26T23:24:08+02:00","relpermalink":"/talk/discotec-2008/","section":"event","summary":"DisCoTec 2008, Oslo, Norway, June 4-6 2008, including FMOODS 2008 (General chair)","tags":["Service"],"title":"DisCoTec 2008","type":"event"},{"authors":["Einar Broch Johnsen","Jasmin Christian Blanchette","Marcel Kyas","Olaf Owe"],"categories":[],"content":"","date":1216673674,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1216673674,"objectID":"874f4fd67988c15a77149a6a97004565","permalink":"https://ebjohnsen.org/publication/08-ttss/","publishdate":"2020-07-21T23:29:29+02:00","relpermalink":"/publication/08-ttss/","section":"publication","summary":"Proc. TTSS 2008","tags":[],"title":"Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Joakim Bjørk","Marcel Kyas"],"categories":[],"content":"","date":1216673646,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1216673646,"objectID":"38fb0b91a41041221a8ae12794a06b34","permalink":"https://ebjohnsen.org/publication/07-fmco/","publishdate":"2020-07-21T23:28:32+02:00","relpermalink":"/publication/07-fmco/","section":"publication","summary":"Proc. FMCO 2007","tags":[],"title":"An Object-Oriented Component Model for Heterogeneous Nets","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Arild B. Torjusen"],"categories":[],"content":"","date":1216673598,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1216673598,"objectID":"259b721319179d25dcb0a25ead42f8b3","permalink":"https://ebjohnsen.org/publication/08-funda/","publishdate":"2020-07-21T23:29:08+02:00","relpermalink":"/publication/08-funda/","section":"publication","summary":"Fundamenta Informaticae **82** (4): 341-359, 2008","tags":[],"title":"Validating Behavioral Component Interfaces in Rewriting Logic","type":"publication"},{"authors":["Johan Dovland","Einar Broch Johnsen","Olaf Owe","Martin Steffen"],"categories":[],"content":"","date":1211403219,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1211403219,"objectID":"611de7c6d7e3c1a0d38e003aa59994bb","permalink":"https://ebjohnsen.org/publication/08-fm/","publishdate":"2020-07-21T23:29:02+02:00","relpermalink":"/publication/08-fm/","section":"publication","summary":"Proc FM 2008","tags":[],"title":"Lazy Behavioral Subtyping","type":"publication"},{"authors":["Frank S. de Boer","Dave Clarke","Einar Broch Johnsen"],"categories":[],"content":"","date":1190407958,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1190407958,"objectID":"6f1bf07a73294266baedd5c640d6dbbf","permalink":"https://ebjohnsen.org/publication/07-esop/","publishdate":"2020-07-21T23:28:20+02:00","relpermalink":"/publication/07-esop/","section":"publication","summary":"Proc. ESOP 2007","tags":[],"title":"A Complete Guide to the Future","type":"publication"},{"authors":["Johan Dovland","Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1185051168,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1185051168,"objectID":"1bdb3c4f179d2292b013b68f1802afe2","permalink":"https://ebjohnsen.org/publication/07-finco/","publishdate":"2020-07-21T23:28:26+02:00","relpermalink":"/publication/07-finco/","section":"publication","summary":"Proc. FInCo 2007","tags":[],"title":"Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1185051149,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1185051149,"objectID":"b42369086fa8c563bb3d627e30359b1d","permalink":"https://ebjohnsen.org/publication/07-sosym/","publishdate":"2020-07-21T23:28:43+02:00","relpermalink":"/publication/07-sosym/","section":"publication","summary":"Software and Systems Modeling **6** (1): 39-58, 2007","tags":[],"title":"An Asynchronous Communication Model for Distributed Concurrent Objects","type":"publication"},{"authors":["Marcello M. Bonsangue","Einar Broch Johnsen","(Eds)"],"categories":[],"content":"","date":1182459183,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1182459183,"objectID":"24f10a6aa30ab149892203f56ec1c6b8","permalink":"https://ebjohnsen.org/publication/07-fmoods/","publishdate":"2020-07-21T23:28:36+02:00","relpermalink":"/publication/07-fmoods/","section":"publication","summary":"LNCS 4468. © Springer 2007","tags":[],"title":"Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).","type":"publication"},{"authors":["Maksym Bortin","Einar Broch Johnsen","Christoph Lüth"],"categories":[],"content":"","date":1164142305,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1164142305,"objectID":"460ba89f2566ad16159aff719e372165","permalink":"https://ebjohnsen.org/publication/06-njc/","publishdate":"2020-07-21T23:28:08+02:00","relpermalink":"/publication/06-njc/","section":"publication","summary":"Nordic Journal of Computing **13**: 2-21, 2006.","tags":[],"title":"Structured Formal Development in Isabelle","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Ingrid Chieh Yu"],"categories":[],"content":"","date":1161463938,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1161463938,"objectID":"b9599a4cb0a0de180cf91c20079491f1","permalink":"https://ebjohnsen.org/publication/06-tcs/","publishdate":"2020-07-21T23:28:13+02:00","relpermalink":"/publication/06-tcs/","section":"publication","summary":"Theoretical Computer Science **365** (1-2): 23-66, 2006.","tags":[],"title":"Creol: A type-safe object-oriented model for distributed concurrent systems","type":"publication"},{"authors":["Einar Broch Johnsen","Gerardo Schneider","Øystein Torget"],"categories":[],"content":"","date":1158871923,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1158871923,"objectID":"49708a10401f66216c56d03208771be8","permalink":"https://ebjohnsen.org/publication/06-iccp-srv/","publishdate":"2020-07-21T23:27:59+02:00","relpermalink":"/publication/06-iccp-srv/","section":"publication","summary":"Proc. ICCP 2006","tags":[],"title":"Runtime Validation of Communication Histories","type":"publication"},{"authors":["Ingrid Chieh Yu","Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1150923094,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1150923094,"objectID":"df12f816fc9a67c3ad2df457ae6c4b4f","permalink":"https://ebjohnsen.org/publication/06-fmoods/","publishdate":"2020-07-21T23:27:50+02:00","relpermalink":"/publication/06-fmoods/","section":"publication","summary":"Proc. FMOODS 2006","tags":[],"title":"Type-Safe Runtime Class Upgrades in Creol","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1135198216,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1135198216,"objectID":"75aa342ef1bdee7a9fb8fb87d094e128","permalink":"https://ebjohnsen.org/publication/05-hicss/","publishdate":"2020-07-21T23:27:31+02:00","relpermalink":"/publication/05-hicss/","section":"publication","summary":"Proc. HICSS 2005","tags":[],"title":"Inheritance in the Presence of Asynchronous Method Calls","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Arild B. Torjusen"],"categories":[],"content":"","date":1127335881,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1127335881,"objectID":"ecca6edd923f748b08b71a6dcf75795a","permalink":"https://ebjohnsen.org/publication/05-fsen/","publishdate":"2020-07-21T23:27:19+02:00","relpermalink":"/publication/05-fsen/","section":"publication","summary":"Proc. FSEN 2005","tags":[],"title":"Validating Behavioral Component Interfaces in Rewriting Logic","type":"publication"},{"authors":["Bjarne Holen","Einar Broch Johnsen","Arild Waaler"],"categories":[],"content":"","date":1121979072,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1121979072,"objectID":"62091f0b8df7a1d6da7c70bc62e94a45","permalink":"https://ebjohnsen.org/publication/05-ftp/","publishdate":"2020-07-21T23:27:24+02:00","relpermalink":"/publication/05-ftp/","section":"publication","summary":"Proc. FTP 2005","tags":[],"title":"Representing Strategies for the Connection Calculus in Rewriting Logic","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Isabelle Simplot-Ryl"],"categories":[],"content":"","date":1121979045,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1121979045,"objectID":"eb3601391d9e0918b8d7ea935fb477fb","permalink":"https://ebjohnsen.org/publication/05-fmoods/","publishdate":"2020-07-21T23:27:14+02:00","relpermalink":"/publication/05-fmoods/","section":"publication","summary":"Proc. FMOODS 2005","tags":[],"title":"A Dynamic Class Construct for Asynchronous Concurrent Objects","type":"publication"},{"authors":["Johan Dovland","Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1121979029,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1121979029,"objectID":"e7eab46d92da50aac4f8ecc11a4e506f","permalink":"https://ebjohnsen.org/publication/05-swste/","publishdate":"2020-07-21T23:27:41+02:00","relpermalink":"/publication/05-swste/","section":"publication","summary":"Proc. SwSTE 2005","tags":[],"title":"Verification of Concurrent Objects with Asynchronous Method Calls","type":"publication"},{"authors":["Johan Dovland","Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1101070176,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1101070176,"objectID":"5875420d664676e3ae26b58996be5d2e","permalink":"https://ebjohnsen.org/publication/04-nik2/","publishdate":"2020-07-21T23:26:37+02:00","relpermalink":"/publication/04-nik2/","section":"publication","summary":"Proc. NIK 2004","tags":[],"title":"Reasoning about Asynchronous Method Calls and Inheritance","type":"publication"},{"authors":["Eyvind W. Axelsen","Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1101070172,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1101070172,"objectID":"e6c654219ab477337a1d8612c2dab78a","permalink":"https://ebjohnsen.org/publication/04-nik1/","publishdate":"2020-07-21T23:26:34+02:00","relpermalink":"/publication/04-nik1/","section":"publication","summary":"Proc. NIK 2004","tags":[],"title":"Toward Reflective Application Testing in Open Environments\"","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1095799745,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1095799745,"objectID":"0a1bcb80fffea5c756155fd4e93d04f2","permalink":"https://ebjohnsen.org/publication/04-sefm/","publishdate":"2020-07-21T23:26:51+02:00","relpermalink":"/publication/04-sefm/","section":"publication","summary":"Proc. SEFM 2004","tags":[],"title":"An Asynchronous Communication Model for Distributed Concurrent Objects","type":"publication"},{"authors":["Einar Broch Johnsen","Christoph Lüth"],"categories":[],"content":"","date":1093121334,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1093121334,"objectID":"05d4309b20e40d9345906210c99303f1","permalink":"https://ebjohnsen.org/publication/04-tphols/","publishdate":"2020-07-21T23:26:59+02:00","relpermalink":"/publication/04-tphols/","section":"publication","summary":"Proc. TPHOLs 2004","tags":[],"title":"Theorem Reuse by Proof Term Transformation\"","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1090443060,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1090443060,"objectID":"73d52bb70e79b42dd07d1e44e1ccab88","permalink":"https://ebjohnsen.org/publication/04-fmco/","publishdate":"2020-07-21T23:26:17+02:00","relpermalink":"/publication/04-fmco/","section":"publication","summary":"Proc. FMCO 2004","tags":[],"title":"A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects\"","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Eyvind W. Axelsen"],"categories":[],"content":"","date":1090442923,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1090442923,"objectID":"5cfb1a8021118618fc1108edbf93dac1","permalink":"https://ebjohnsen.org/publication/04-wrla/","publishdate":"2020-07-21T23:27:05+02:00","relpermalink":"/publication/04-wrla/","section":"publication","summary":"Proc. WRLA 2004","tags":[],"title":"A Run-time Environment for Concurrent Objects with Asynchronous Method Calls","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1090442889,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1090442889,"objectID":"e5bb08e9250d85ac0b2c4bbae5affbac","permalink":"https://ebjohnsen.org/publication/04-ojd/","publishdate":"2020-07-21T23:26:44+02:00","relpermalink":"/publication/04-ojd/","section":"publication","summary":"Festschrift Ole-Johan Dahl","tags":[],"title":"Object-Oriented Specification and Open Distributed Systems","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Marte Arnestad"],"categories":[],"content":"","date":1069447665,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1069447665,"objectID":"60adc8c05f53dc0cc17f41ebf206dbee","permalink":"https://ebjohnsen.org/publication/03-nik/","publishdate":"2020-07-21T23:26:00+02:00","relpermalink":"/publication/03-nik/","section":"publication","summary":"Proc. NIK 2003","tags":[],"title":"Combining Active and Reactive Behavior in Concurrent Systems","type":"publication"},{"authors":["Einar Broch Johnsen","Christoph Lüth"],"categories":[],"content":"","date":1058820475,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1058820475,"objectID":"d8627fef83dd4bd5897e000ced4a2f65","permalink":"https://ebjohnsen.org/publication/03-njc/","publishdate":"2020-07-21T23:26:06+02:00","relpermalink":"/publication/03-njc/","section":"publication","summary":"Nordic Journal of Computing **10**: 313-336, 2003","tags":[],"title":"Abstracting Refinements for Transformation\"","type":"publication"},{"authors":["Einar Broch Johnsen","Wenhui Zhang","Olaf Owe","Demissie B. Aredo"],"categories":[],"content":"","date":1022014052,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1022014052,"objectID":"f16b7cdffce4bfd3ca3d6e1dfe7f606a","permalink":"https://ebjohnsen.org/publication/02-ifm/","publishdate":"2020-07-21T23:25:53+02:00","relpermalink":"/publication/02-ifm/","section":"publication","summary":"Proc. IFM 2002","tags":[],"title":"Combining Graphical and Formal Development of Open Distributed Systems","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1019422005,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1019422005,"objectID":"31a2e6695e92041cbca851033ffd40f6","permalink":"https://ebjohnsen.org/publication/02-fmppta/","publishdate":"2020-07-21T23:25:45+02:00","relpermalink":"/publication/02-fmppta/","section":"publication","summary":"Proc. FMPPTA 2002","tags":[],"title":"Composition and Refinement for Partial Object Specifications","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe"],"categories":[],"content":"","date":1016743605,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1016743605,"objectID":"c5e005719c959f44c6a11d51e5b10e78","permalink":"https://ebjohnsen.org/publication/02-fmoods/","publishdate":"2020-07-21T23:25:40+02:00","relpermalink":"/publication/02-fmoods/","section":"publication","summary":"Proc. FMOODS 2002","tags":[],"title":"A Compositional Formalism for Object Viewpoints","type":"publication"},{"authors":["Einar Broch Johnsen","Olaf Owe","Ellen Munthe-Kaas","Jüri Vain"],"categories":[],"content":"","date":1008892800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1008892800,"objectID":"f368161b84ea52049a0de3861b2a3710","permalink":"https://ebjohnsen.org/publication/01-apaqs/","publishdate":"2020-07-21T23:25:25+02:00","relpermalink":"/publication/01-apaqs/","section":"publication","summary":"Proc. APAQS 2001","tags":[],"title":"Incremental Fault-Tolerant Design in an Object-Oriented Setting","type":"publication"},{"authors":["Einar Broch Johnsen","Wenhui Zhang","Olaf Owe","Demissie B. Aredo"],"categories":[],"content":"","date":1008449193,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1008449193,"objectID":"cfcecde266cf25d197b5541c3b6b5245","permalink":"https://ebjohnsen.org/publication/01-apsec/","publishdate":"2020-07-21T23:25:32+02:00","relpermalink":"/publication/01-apsec/","section":"publication","summary":"Proc. APSEC 2001","tags":[],"title":"Specification of Distributed Systems with a Combination of Graphical and Formal Languages","type":"publication"}]