default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEinar Broch Johnsen
Person information
- affiliation (PhD): University of Oslo, Department of Informatics, Norway
- affiliation (former): University of Bremen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j45]Juliane Päßler
, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Analysing Self-Adaptive Systems as Software Product Lines. J. Syst. Softw. 222: 112324 (2025)- [j44]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
A Configurable Software Model of a Self-Adaptive Robotic System. Sci. Comput. Program. 240: 103221 (2025) - [j43]Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen, Andrzej Wasowski:
Compositional symbolic execution semantics. Theor. Comput. Sci. 1044: 115263 (2025) - [c139]Einar Broch Johnsen, Paul Kobialka, Andrea Pferscher, Silvia Lizeth Tapia Tarifa:
Nudging Strategies for User Journeys: Take a Path on the Wild Side. Real Time and Such 2025: 42-63 - [c138]Eduard Kamburjan, Andrea Pferscher, Rudolf Schlatte, Riccardo Sieve, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Semantic Reflection and Digital Twins: A Comprehensive Overview. The Combined Power of Research, Education, and Dissemination 2025: 129-145 - 2024
- [j42]Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer:
Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). Sci. Comput. Program. 232: 103055 (2024) - [j41]Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen:
User journey games: automating user-centric analysis. Softw. Syst. Model. 23(3): 605-624 (2024) - [j40]Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46(1): 3:1-3:58 (2024) - [j39]Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Proving Correctness of Parallel Implementations of Transition System Models. ACM Trans. Program. Lang. Syst. 46(3): 9:1-9:50 (2024) - [c137]Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski:
Towards a Proof System for Probabilistic Dynamic Logic. Principles of Verification (1) 2024: 322-338 - [c136]Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Stochastic Games for User Journeys. FM (2) 2024: 167-186 - [c135]Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva:
Correct and Complete Symbolic Execution for Free. IFM 2024: 237-255 - [c134]Mahya Mohammadi Kashani, Tobias John, Jeremy Paul Coffelt, Einar Broch Johnsen, Andrzej Wasowski:
Risk-Averse Planning and Plan Assessment for Marine Robots. IROS 2024: 1277-1282 - [c133]John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock:
Digital Twin Engineering. ISoLA (5) 2024: 3-8 - [c132]Tobias John, Einar Broch Johnsen, Eduard Kamburjan:
Mutation-Based Integration Testing of Knowledge Graph Applications. ISSRE 2024: 475-486 - [c131]Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Declarative Lifecycle Management in Digital Twins. MoDELS (Companion) 2024: 353-363 - [c130]Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule:
Behavior Trees and State Machines in Robotics Applications. Software Engineering 2024: 73-74 - [c129]Eduard Kamburjan, Riccardo Sieve, Chinmayi Prabhu Baramashetru, Marco Amato, Gianluca Barmina, Eduard Occhipinti, Einar Broch Johnsen:
GreenhouseDT: An Exemplar for Digital Twins. SEAMS@ICSE 2024: 175-181 - [p4]Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Simulating User Journeys with Active Objects. Active Object Languages: Current Research Trends 2024: 199-225 - [e13]Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan:
Active Object Languages: Current Research Trends. Lecture Notes in Computer Science 14360, Springer 2024, ISBN 978-3-031-51059-5 [contents] - [d9]Tobias John, Einar Broch Johnsen, Eduard Kamburjan:
ISSRE 2024 Ontology Mutation Virtual Machine. Zenodo, 2024
- [d8]Tobias John, Einar Broch Johnsen, Eduard Kamburjan:
Artifact for ISSRE 2024 paper "Mutation-Based Integration Testing of Knowledge Graph Applications". Zenodo, 2024 - [d7]Riccardo Sieve, Eduard Kamburjan, Einar Broch Johnsen:
GreenHouse DT Virtual Machine. Zenodo, 2024 - [d6]Riccardo Sieve, Eduard Kamburjan, Einar Broch Johnsen:
GreenHouse DT Collector Image. Zenodo, 2024 - [d5]Riccardo Sieve, Eduard Kamburjan, Einar Broch Johnsen:
GreenHouse DT Actuator Image. Zenodo, 2024 - [i21]Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski:
Symbolic State Partition for Reinforcement Learning. CoRR abs/2409.16791 (2024) - [i20]Mahya Mohammadi Kashani, Tobias John, Jeremy Coffelt, Einar Broch Johnsen, Andrzej Wasowski:
Risk-Averse Planning and Plan Assessment for Marine Robots. CoRR abs/2410.01018 (2024) - [i19]Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski:
Towards a Proof System for Probabilistic Dynamic Logic. CoRR abs/2412.00906 (2024) - 2023
- [j38]Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Predicting resource consumption of Kubernetes container systems using resource models. J. Syst. Softw. 203: 111750 (2023) - [j37]Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski:
Formal Specification and Testing for Reinforcement Learning. Proc. ACM Program. Lang. 7(ICFP): 125-158 (2023) - [j36]Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule:
Behavior Trees and State Machines in Robotics Applications. IEEE Trans. Software Eng. 49(9): 4243-4267 (2023) - [c128]Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen:
Compositional Correctness and Completeness for Symbolic Partial Order Reduction. CONCUR 2023: 9:1-9:16 - [c127]Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen:
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM 2023 - [c126]Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen:
Denotational Semantics for Symbolic Execution. ICTAC 2023: 370-387 - [c125]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM 2023: 343-363 - [c124]Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski:
Symbolic Semantics for Probabilistic Programs. QEST 2023: 329-345 - [c123]Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato:
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. SEAMS 2023: 181-187 - [d4]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Version 1.0.0. Zenodo, 2023 [all versions] - [d3]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Version 1.1.0. Zenodo, 2023 [all versions] - [d2]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Version 1.1.1. Zenodo, 2023 [all versions] - [d1]Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski:
Formal Specification and Testing for Reinforcement Learning (Supplementary Material ). Zenodo, 2023 - [i18]Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR abs/2302.04661 (2023) - [i17]Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato:
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. CoRR abs/2303.09220 (2023) - [i16]Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models. CoRR abs/2305.07651 (2023) - [i15]Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski:
Symbolic Semantics for Probabilistic Programs (extended version). CoRR abs/2307.09951 (2023) - [i14]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR abs/2308.14663 (2023) - 2022
- [j35]Salman Khaleghian, Habib Ullah, Einar Broch Johnsen, Anders Andersen, Andrea Marinoni:
AFSD: Adaptive Feature Space Distillation for Distributed Deep Learning. IEEE Access 10: 84569-84578 (2022) - [j34]Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa:
The ABS simulator toolchain. Sci. Comput. Program. 223: 102861 (2022) - [c122]Geir Horn, Rudolf Schlatte, Einar Broch Johnsen:
Digital Twins for Autonomic Cloud Application Management. AINA (3) 2022: 141-152 - [c121]Eduard Kamburjan, Einar Broch Johnsen:
Knowledge Structures Over Simulation Units. ANNSIM 2022: 78-89 - [c120]Einar Broch Johnsen:
Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk). PNSE@Petri Nets 2022: 219 - [c119]Farzane Karami, David A. Basin, Einar Broch Johnsen:
DPL: A Language for GDPR Enforcement. CSF 2022: 112-129 - [c118]Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Building User Journey Games from Multi-party Event Logs. ICPM Workshops 2022: 71-83 - [c117]Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski:
A Specification Logic for Programs in the Probabilistic Guarded Command Language. ICTAC 2022: 369-387 - [c116]Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen:
Digital Twin Reconfiguration Using Asset Models. ISoLA (4) 2022: 71-88 - [c115]Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) 2022: 188-204 - [c114]Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen:
A Formal Model of Metacontrol in Maude. ISoLA (1) 2022: 575-596 - [c113]Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen:
Weighted Games for User Journeys. SEFM 2022: 253-270 - [e12]Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen:
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13360, Springer 2022, ISBN 978-3-031-08165-1 [contents] - [e11]Einar Broch Johnsen, Manuel Wimmer:
Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Lecture Notes in Computer Science 13241, Springer 2022, ISBN 978-3-030-99428-0 [contents] - [i13]Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
LAGC Semantics of Concurrent Programming Languages. CoRR abs/2202.12195 (2022) - [i12]Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski:
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). CoRR abs/2205.04822 (2022) - [i11]Razan Ghzouli, Swaib Dragule, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski:
Behavior Trees and State Machines in Robotics Applications. CoRR abs/2208.04211 (2022) - 2021
- [c112]Ragnhild Halvorsrud, Felix Mannhardt, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Smart Journey Mining for Improved Service Quality. SCC 2021: 367-369 - [c111]Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa:
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION 2021: 3-19 - [c110]Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese:
Programming and Debugging with Semantically Lifted States. ESWC 2021: 126-142 - 2020
- [j33]Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen:
A configurable and executable model of Spark Streaming on Apache YARN. Int. J. Grid Util. Comput. 11(2): 185-195 (2020) - [c109]Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. PNSE@Petri Nets 2020: 68-85 - [c108]Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito:
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift 2020: 10:1-10:18 - [c107]Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte:
Global Reproducibility Through Local Control for Distributed Active Objects. FASE 2020: 140-160 - [c106]Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro:
Lazy product discovery in huge configuration spaces. ICSE 2020: 1509-1521 - [c105]Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun:
Active Objects with Deterministic Behaviour. IFM 2020: 181-198 - [c104]Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Designing Distributed Control with Hybrid Active Objects. ISoLA (4) 2020: 88-108 - [c103]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. ISoLA (1) 2020: 103-121 - [c102]Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani:
A Formal Model of the Kubernetes Container Framework. ISoLA (1) 2020: 558-577 - [c101]Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski:
Behavior trees in action: a study of robotics applications. SLE 2020: 196-209 - [p3]Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen:
Behavioral Contracts for Cooperative Scheduling. 20 Years of KeY 2020: 85-121 - [p2]Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito:
SymPaths: Symbolic Execution Meets Partial Order Reduction. 20 Years of KeY 2020: 313-338 - [i10]Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro:
Lazy Product Discovery in Huge Configuration Spaces. CoRR abs/2003.07383 (2020) - [i9]Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski:
Behavior Trees in Action: A Study of Robotics Applications. CoRR abs/2010.06256 (2020)
2010 – 2019
- 2019
- [j32]Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad:
Godot: All the Benefits of Implicit and Explicit Futures (Artifact). Dagstuhl Artifacts Ser. 5(2): 01:1-01:2 (2019) - [j31]Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A formal model of data access for multicore architectures with multilevel caches. Sci. Comput. Program. 179: 24-53 (2019) - [j30]Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu:
Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. 181: 1-26 (2019) - [c100]Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad:
Godot: All the Benefits of Implicit and Explicit Futures. ECOOP 2019: 2:1-2:28 - [c99]Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE 2019: 332-350 - [c98]Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen:
Asynchronous Cooperative Contracts for Cooperative Scheduling. SEFM 2019: 48-66 - [c97]Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
From SOS to Asynchronously Communicating Actors. SEFM Workshops 2019: 269-275 - 2018
- [j29]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
Virtually timed ambients: A calculus of nested virtualization. J. Log. Algebraic Methods Program. 94: 109-127 (2018) - [j28]Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. 95: 82-102 (2018) - [j27]Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez:
Parallel Cost Analysis. ACM Trans. Comput. Log. 19(4): 31:1-31:37 (2018) - [c96]Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen:
Modeling and Simulation of Spark Streaming. AINA 2018: 407-413 - [c95]Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination 2018: 107-121 - [c94]Einar Broch Johnsen, Ingrid Chieh Yu:
Dynamic Software Updates and Context Adaptation for Distributed Active Objects. Principled Software Development 2018: 147-164 - [c93]Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS 2018: 156-174 - [c92]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito:
Checking Modal Contracts for Virtually Timed Ambients. ICTAC 2018: 252-272 - [c91]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito:
Resource-Aware Virtually Timed Ambients. IFM 2018: 194-213 - [c90]Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa:
Deployment by Construction for Multicore Architectures. ISoLA (1) 2018: 448-465 - [c89]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito:
An Analysis Tool for Models of Virtualized Systems. NIK 2018 - [c88]Ingrid Chieh Yu, Birgit Rognebakke Krogstie, Einar Broch Johnsen:
Forord til NIK 2018. NIK 2018 - [c87]Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro:
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA 2018: 1-15 - [e10]Einar Broch Johnsen, Ina Schaefer:
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10886, Springer 2018, ISBN 978-3-319-92969-9 [contents] - [i8]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
Assumption Commitment Types for Resource Management in Virtually Timed Ambients. CoRR abs/1806.08653 (2018) - [i7]Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen:
Modeling and Simulation of Spark Streaming. CoRR abs/1808.09005 (2018) - 2017
- [j26]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:
A Survey of Active Object Languages. ACM Comput. Surv. 50(5): 76:1-76:39 (2017) - [c86]Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, Einar Broch Johnsen, Cristina Chesta:
HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. ESOCC Workshops 2017: 159-163 - [c85]Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. FACS 2017: 58-77 - [c84]Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte:
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. FASE 2017: 379-383 - [c83]Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu:
Translating Active Objects into Colored Petri Nets for Communication Analysis. FSEN 2017: 84-99 - [c82]Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A formal model of cloud-deployed software and its application to workflow processing. SoftCOM 2017: 1-6 - [c81]Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX 2017: 22-43 - [e9]Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen:
Service-Oriented and Cloud Computing - 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10465, Springer 2017, ISBN 978-3-319-67261-8 [contents] - [e8]Sebastian Gabmeyer, Einar Broch Johnsen:
Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. Lecture Notes in Computer Science 10375, Springer 2017, ISBN 978-3-319-61466-3 [contents] - [i6]Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte:
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools. CoRR abs/1702.00364 (2017) - 2016
- [j25]Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016) - [j24]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:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - [j23]Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk:
A formal model of service-oriented dynamic object groups. Sci. Comput. Program. 115-116: 3-22 (2016) - [j22]Einar Broch Johnsen, Luigia Petre:
Theme issue on Integrated Formal Methods. Softw. Syst. Model. 15(4): 933-935 (2016) - [c80]Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee:
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. FASE 2016: 49-65 - [c79]Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu:
Comparing AWS Deployments Using Model-Based Predictions. ISoLA (2) 2016: 482-496 - [c78]Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
An operational semantics of cache coherent multicore architectures. SAC 2016: 1219-1224 - [c77]Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro:
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. SETTA 2016: 229-245 - [c76]Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
A Calculus of Virtually Timed Ambients. WADT 2016: 88-103 - [c75]Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Maude Framework for Cache Coherent Multicore Architectures. WRLA 2016: 47-63 - [c74]Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud@IFM 2016: 16-26 - [p1]Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Meeting Deadlines, Elastically. From Action Systems to Distributed Systems 2016: 99-111 - [e7]Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen:
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9660, Springer 2016, ISBN 978-3-319-30733-6 [contents] - [e6]Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski:
Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9846, Springer 2016, ISBN 978-3-319-44481-9 [contents] - 2015
- [j21]Reiner Hähnle, Einar Broch Johnsen:
Designing Resource-Aware Cloud Applications. Computer 48(6): 72-75 (2015) - [j20]Michael J. Butler, Einar Broch Johnsen, Luigia Petre:
Editorial. Formal Aspects Comput. 27(4): 611-612 (2015) - [j19]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. 84(1): 37-53 (2015) - [j18]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. 84(1): 67-91 (2015) - [c73]Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS 2015: 199-216 - [c72]Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen:
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM 2015: 217-233 - [c71]Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit:
Preparing HPC Applications for Exascale: Challenges and Recommendations. NBiS 2015: 401-406 - [c70]Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez:
Parallel Cost Analysis of Distributed Systems. SAS 2015: 275-292 - [c69]Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang:
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM 2015: 1-56 - [e5]Marco Bernardo, Einar Broch Johnsen:
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures. Lecture Notes in Computer Science 9104, Springer 2015, ISBN 978-3-319-18940-6 [contents] - [i5]Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit:
Preparing HPC Applications for Exascale: Challenges and Recommendations. CoRR abs/1503.06974 (2015) - [i4]Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time complexity of concurrent programs. CoRR abs/1511.05104 (2015) - [i3]Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata:
Static analysis meets runtime verification (NII Shonan Meeting 2015-5). NII Shonan Meet. Rep. 2015 (2015) - 2014
- [j17]Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer:
Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects Comput. 26(4): 761-793 (2014) - [j16]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong:
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8(4): 323-339 (2014) - [j15]Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong:
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. 11: 1-26 (2014) - [c68]Reiner Hähnle, Einar Broch Johnsen:
Introduction to Track on Engineering Virtualized Services. ISoLA (2) 2014: 1-4 - [c67]Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz:
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. ISoLA (2) 2014: 5-21 - [c66]Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro:
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) 2014: 22-36 - [c65]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Deployment Variability in Delta-Oriented Models. ISoLA (1) 2014: 304-319 - [e4]Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer:
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Lecture Notes in Computer Science 8483, Springer 2014, ISBN 978-3-319-07316-3 [contents] - [i2]Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad:
Scaling Future Software: The Manycore Challenge. ERCIM News 2014(99) (2014) - 2013
- [j14]Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9(1): 29-43 (2013) - [c64]Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham:
Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. IRI (best papers) 2013: 127-150 - [c63]Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham:
Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. IRI 2013: 504-511 - [c62]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve:
Engineering virtualized services. NordiCloud 2013: 59-63 - [c61]Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong:
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC 2013: 1573-1578 - [c60]Amirhosein Taherkordi, Frank Eliassen, Einar Broch Johnsen:
Behavioural design of sensor network applications using activity-driven states. SESENA 2013: 13-18 - [e3]Einar Broch Johnsen, Luigia Petre:
Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Lecture Notes in Computer Science 7940, Springer 2013, ISBN 978-3-642-38612-1 [contents] - 2012
- [j13]Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebraic Methods Program. 81(3): 227-256 (2012) - [j12]Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen:
Safe locking for multi-threaded Java with exceptions. J. Log. Algebraic Methods Program. 81(3): 257-283 (2012) - [j11]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Formal modeling and validation of a power-efficient grouping protocol for WSNs. J. Log. Algebraic Methods Program. 81(3): 284-297 (2012) - [c59]Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong:
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC 2012: 91-106 - [c58]Einar Broch Johnsen:
Separating Cost and Capacity for Load Balancing in ABS Deployment Models. FMCO 2012: 145-167 - [c57]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. ICFEM 2012: 71-86 - [c56]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. IFM 2012: 143-157 - [c55]Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu:
Tracking Behavioral Constraints during Object-Oriented Software Evolution. ISoLA (1) 2012: 253-268 - [c54]Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu:
A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60 - [c53]Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe:
A Type-Safe Model of Adaptive Object Groups. FOCLASA 2012: 1-15 - 2011
- [j10]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76(10): 915-941 (2011) - [c52]Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro:
Fault in the Future. COORDINATION 2011: 1-15 - [c51]Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer:
Verifying traits: a proof system for fine-grained reuse. FTfJP@ECOOP 2011: 8:1-8:6 - [c50]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS 2011: 187-204 - [c49]Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM 2011: 353-368 - [c48]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Modeling Application-Level Management of Virtualized Resources in ABS. FMCO 2011: 89-108 - [c47]Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong:
HATS Abstract Behavioral Specification: The Architectural View. FMCO 2011: 109-132 - [c46]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. FoVeOOS 2011: 196-213 - [c45]Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen:
Safe Locking for Multi-threaded Java. FSEN 2011: 158-173 - [c44]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. ICECCS 2011: 253-262 - [c43]Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong:
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011: 417-457 - 2010
- [j9]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Lazy behavioral subtyping. J. Log. Algebraic Methods Program. 79(7): 578-607 (2010) - [c42]Dave Clarke, Einar Broch Johnsen, Olaf Owe:
Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206 - [c41]Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen:
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR 2010: 1-18 - [c40]Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen:
ABS: A Core Language for Abstract Behavioral Specification. FMCO 2010: 142-164 - [c39]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE 2010: 95-109 - [c38]Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60 - [c37]Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661 - [c36]Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong:
HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops 2010: 121-128 - [c35]Espen H. Lian, Einar Broch Johnsen, Arild Waaler:
Confluent Term Rewriting for Only-knowing Logics. STAIRS 2010: 162-174 - [c34]Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte:
Lightweight Time Modeling in Timed Creol. RTRTS 2010: 67-81 - [c33]Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa:
Models of Rate Restricted Communication for Concurrent Objects. TTSS 2010: 67-81 - [e2]Einar Broch Johnsen, Volker Stolz:
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009. Electronic Notes in Theoretical Computer Science 266, Elsevier 2010 [contents]
2000 – 2009
- 2009
- [j8]Einar Broch Johnsen, Olaf Owe, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78(7) (2009) - [j7]Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek:
Preface. Theor. Comput. Sci. 410(2-3): 113 (2009) - [c32]Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu:
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM 2009: 596-611 - [c31]Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230 - [c30]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230 - [c29]Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS 2009: 105-120 - [c28]Einar Broch Johnsen, Volker Stolz:
Preface. TTSS 2009: 1-2 - [c27]Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi:
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 2009: 33-48 - [i1]David G. Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen:
Minimal Ownership for Active Objects. Typing, Analysis and Verification of Heap-Manipulating Programs 2009 - 2008
- [j6]Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Informaticae 82(4): 341-359 (2008) - [j5]Einar Broch Johnsen, Ingrid Chieh Yu:
Backwards type analysis of asynchronous method calls. J. Log. Algebraic Methods Program. 77(1-2): 40-59 (2008) - [c26]Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen:
Minimal Ownership for Active Objects. APLAS 2008: 139-154 - [c25]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Lazy Behavioral Subtyping. FM 2008: 52-67 - [c24]Marcel Kyas, Einar Broch Johnsen:
A Real-Time Extension of Creol for Modelling Biomedical Sensors. FMCO 2008: 42-60 - [c23]Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam:
Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO 2008: 61-81 - [c22]Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen:
Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333 - [c21]Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe:
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. TTSS 2008: 89-103 - [c20]Bjarne Holen, Einar Broch Johnsen, Arild Waaler:
Proof Search for the First-Order Connection Calculus in Maude. WRLA 2008: 173-188 - 2007
- [j4]Einar Broch Johnsen, Olaf Owe:
An Asynchronous Communication Model for Distributed Concurrent Objects. Softw. Syst. Model. 6(1): 39-58 (2007) - [c19]Frank S. de Boer, Dave Clarke, Einar Broch Johnsen:
A Complete Guide to the Future. ESOP 2007: 316-330 - [c18]Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas:
An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279 - [c17]Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. FInCo@ETAPS 2007: 19-34 - [e1]Marcello M. Bonsangue, Einar Broch Johnsen:
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4468, Springer 2007, ISBN 978-3-540-72919-8 [contents] - 2006
- [j3]Maksym Bortin, Einar Broch Johnsen, Christoph Lüth:
Structured Formal Development in Isabelle. Nord. J. Comput. 13(1-2): 2-21 (2006) - [j2]Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. 365(1-2): 23-66 (2006) - [c16]Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe:
Type-Safe Runtime Class Upgrades in Creol. FMOODS 2006: 202-217 - 2005
- [c15]Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl:
A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30 - [c14]Einar Broch Johnsen, Olaf Owe:
Inheritance in the Presence of Asynchronous Method Calls. HICSS 2005 - [c13]Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE 2005: 141-150 - [c12]Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic. FSEN 2005: 187-204 - 2004
- [c11]Einar Broch Johnsen, Olaf Owe:
Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl 2004: 137-164 - [c10]Einar Broch Johnsen, Olaf Owe:
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO 2004: 274-295 - [c9]Einar Broch Johnsen, Olaf Owe:
An Asynchronous Communication Model for Distributed Concurrent Objects. SEFM 2004: 188-197 - [c8]Einar Broch Johnsen, Christoph Lüth:
Theorem Reuse by Proof Term Transformation. TPHOLs 2004: 152-167 - [c7]Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen:
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. WRLA 2004: 375-392 - 2003
- [j1]Einar Broch Johnsen, Christoph Lüth:
Abstracting Refinements for Transformation. Nord. J. Comput. 10(4): 313-336 (2003) - 2002
- [c6]Einar Broch Johnsen, Olaf Owe:
A Compositional Formalism for Object Viewpoints. FMOODS 2002: 45-60 - [c5]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338 - [c4]Einar Broch Johnsen, Olaf Owe:
Composition and Refinement for Partial Object Specifications. IPDPS 2002 - 2001
- [c3]Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain:
Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS 2001: 223-230 - [c2]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC 2001: 105- - [c1]Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo:
Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122-
Coauthor Index
Dave Clarke 0001
aka: David G. Clarke
aka: David G. Clarke
Violet Ka I Pun
aka: Ka I Pun
aka: Ka I Pun
[j45] [j44] [c139] [c138] [j41] [j40] [j39] [c136] [c131] [p4] [j38] [c127] [c125] [c123] [d4] [d3] [d2] [i18] [i17] [i16] [i14] [j34] [c118] [c116] [c115] [c114] [c113] [i13] [c112] [c111] [c108] [c104] [c102] [p2] [j31] [c99] [c97] [c95] [c90] [c85] [c82] [c81] [c78] [c75] [c74] [p1] [j18] [c72] [c69] [j16] [c65] [j14] [c57] [c50] [c49] [c48] [c46] [c38] [c37] [c33]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-14 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
