Einar Broch Johnsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
84
Venues
33
Active years
2001–2026
Best venue rank
A*
Where they publish
- CISoLA14 papers
- BIFM7 papers
- BFASE5 papers
- BFM5 papers
- ASEAMS4 papers
- BSPLC4 papers
- CICTAC4 papers
- BSEFM4 papers
- AECOOP3 papers
- CICFEM3 papers
- AESOP2 papers
- AMODELS2 papers
- BCONCUR2 papers
- BAINA2 papers
- CCoordination2 papers
- MulticonferenceSAC2 papers
- NationalIRI2 papers
- CFORTE2 papers
- BCPP1 paper
- A*IJCAI1 paper
- AIROS1 paper
- AISSRE1 paper
- BICPM1 paper
- A*ICSE1 paper
- BSLE1 paper
- NationalSOFTCOM1 paper
- BTABLEAUX1 paper
- NationalSETTA1 paper
- BSAS1 paper
- BICECCS1 paper
- CTAP1 paper
- BAPLAS1 paper
- CAPSEC1 paper
Papers
84 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Layers of Confluence for Actors. | Ludovic Henrio, Einar Broch Johnsen, smund Aqissiaq Arild Klvstad, Violet Ka I Pun, Yannick Zakowski |
| 2026 | ESOP | Formal Methods meet Digital Twins: Challenges and Opportunities. | Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, Silvia Lizeth Tapia Tarifa |
| 2026 | SEAMS | A Self-Adaptive Digital Twin Architecture for Dynamic Resource Management. | Riccardo Sieve, Paul Kobialka, Andrea Pferscher, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Buster Salomon Rasmussen, Einar Broch Johnsen |
| 2025 | ECOOP | Declarative Dynamic Object Reclassification. | Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen |
| 2025 | FASE | Symbolic State Partitioning for Reinforcement Learning. | Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski |
| 2025 | IJCAI | Counterfactual Strategies for Markov Decision Processes. | Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika brahm, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2025 | MODELS | Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring. | Eduard Kamburjan, Laura A. Slaughter, Einar Broch Johnsen, Andrea Pferscher, Laura Weihl |
| 2025 | SEAMS | Symbolic State Seeding Improves Coverage of Reinforcement Learning. | Mohsen Ghaffari, Cong Chen, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski |
| 2025 | SPLC | Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2025 | SPLC | Analysing Self-Adaptive Systems as Software Product Lines. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2024 | FM | Stochastic Games for User Journeys. | Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2024 | IROS | Risk-Averse Planning and Plan Assessment for Marine Robots. | Mahya Mohammadi Kashani, Tobias John, Jeremy Paul Coffelt, Einar Broch Johnsen, Andrzej Wasowski |
| 2024 | IFM | Correct and Complete Symbolic Execution for Free. | Erik Voogd, Einar Broch Johnsen, smund Aqissiaq Arild Klvstad, Jurriaan Rot, Alexandra Silva |
| 2024 | ISoLA | Digital Twin Engineering. | John S. Fitzgerald, Cludio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock |
| 2024 | ISSRE | Mutation-Based Integration Testing of Knowledge Graph Applications. | Tobias John, Einar Broch Johnsen, Eduard Kamburjan |
| 2024 | MODELS | Declarative Lifecycle Management in Digital Twins. | Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2024 | SEAMS | GreenhouseDT: An Exemplar for Digital Twins. | Eduard Kamburjan, Riccardo Sieve, Chinmayi Prabhu Baramashetru, Marco Amato, Gianluca Barmina, Eduard Occhipinti, Einar Broch Johnsen |
| 2023 | CONCUR | Compositional Correctness and Completeness for Symbolic Partial Order Reduction. | smund Aqissiaq Arild Klvstad, Eduard Kamburjan, Einar Broch Johnsen |
| 2023 | FM | Emerging Challenges in Compositionality and Correctness for Digital Twins. | Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen |
| 2023 | ICTAC | Denotational Semantics for Symbolic Execution. | Erik Voogd, smund Aqissiaq Arild Klvstad, Einar Broch Johnsen |
| 2023 | IFM | Formal Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2023 | SEAMS | SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. | Gustavo Rezende Silva, Juliane Pler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernndez Corbato |
| 2022 | AINA | Digital Twins for Autonomic Cloud Application Management. | Geir Horn, Rudolf Schlatte, Einar Broch Johnsen |
| 2022 | ICPM | Building User Journey Games from Multi-party Event Logs. | Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2022 | ICTAC | A Specification Logic for Programs in the Probabilistic Guarded Command Language. | Ral Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski |
| 2022 | ISoLA | Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. | Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2022 | ISoLA | Digital Twin Reconfiguration Using Asset Models. | Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen |
| 2022 | ISoLA | A Formal Model of Metacontrol in Maude. | Juliane Pler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernndez Corbato, Einar Broch Johnsen |
| 2022 | SEFM | Weighted Games for User Journeys. | Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen |
| 2021 | Coordination | Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. | Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa |
| 2020 | FASE | Global Reproducibility Through Local Control for Distributed Active Objects. | Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte |
| 2020 | ICSE | Lazy product discovery in huge configuration spaces. | Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro |
| 2020 | IFM | Active Objects with Deterministic Behaviour. | Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun |
| 2020 | ISoLA | Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf |
| 2020 | ISoLA | Designing Distributed Control with Hybrid Active Objects. | Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2020 | ISoLA | A Formal Model of the Kubernetes Container Framework. | Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani |
| 2020 | SLE | Behavior trees in action: a study of robotics applications. | Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski |
| 2019 | ECOOP | Godot: All the Benefits of Implicit and Explicit Futures. | Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad |
| 2019 | FASE | Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. | Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2019 | SEFM | From SOS to Asynchronously Communicating Actors. | Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2019 | SEFM | Asynchronous Cooperative Contracts for Cooperative Scheduling. | Eduard Kamburjan, Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen |
| 2018 | AINA | Modeling and Simulation of Spark Streaming. | Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen |
| 2018 | ICTAC | Checking Modal Contracts for Virtually Timed Ambients. | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito |
| 2018 | IFM | Resource-Aware Virtually Timed Ambients. | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito |
| 2018 | ISoLA | Deployment by Construction for Multicore Architectures. | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa |
| 2017 | FASE | EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. | Jess Domnech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte |
| 2017 | SOFTCOM | A formal model of cloud-deployed software and its application to workflow processing. | Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2017 | TABLEAUX | Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. | Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2016 | FASE | ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. | Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee |
| 2016 | ISoLA | Comparing AWS Deployments Using Model-Based Predictions. | Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu |
| 2016 | SAC | An operational semantics of cache coherent multicore architectures. | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2016 | SETTA | Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. | Erika brahm, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro |
| 2015 | ICFEM | History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. | Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hhnle, Einar Broch Johnsen |
| 2015 | SAS | Parallel Cost Analysis of Distributed Systems. | Elvira Albert, Jess Correas, Einar Broch Johnsen, Guillermo Romn-Dez |
| 2014 | ISoLA | Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. | Georg Gri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz |
| 2014 | ISoLA | Introduction to Track on Engineering Virtualized Services. | Reiner Hhnle, Einar Broch Johnsen |
| 2014 | ISoLA | Deployment Variability in Delta-Oriented Models. | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2014 | ISoLA | Fault Model Design Space for Cooperative Concurrency. | Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro |
| 2013 | IRI | Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. | Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham |
| 2013 | IRI | Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. | Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham |
| 2013 | SAC | Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. | Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong |
| 2012 | ICFEM | Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2012 | IFM | MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2012 | ISoLA | Tracking Behavioral Constraints during Object-Oriented Software Evolution. | Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu |
| 2012 | SPLC | A transformational proof system for delta-oriented programming. | Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu |
| 2011 | Coordination | Fault in the Future. | Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro |
| 2011 | ECOOP | Verifying traits: a proof system for fine-grained reuse. | Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer |
| 2011 | FM | Simulating Concurrent Behaviors with Worst-Case Cost Bounds. | Elvira Albert, Samir Genaim, Miguel Gmez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2011 | ICECCS | Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2010 | CONCUR | Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. | Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen |
| 2010 | FORTE | Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2010 | ICFEM | Dynamic Resource Reallocation between Deployment Components. | Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2010 | SPLC | HATS - A Formal Software Product Line Engineering Methodology. | Dave Clarke, Nikolay Diakov, Reiner Hhnle, Einar Broch Johnsen, Germn Puebla, Balthasar Weitzel, Peter Y. H. Wong |
| 2009 | FM | Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. | Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu |
| 2009 | FORTE | Dynamic Symbolic Execution of Distributed Concurrent Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2009 | IFM | Incremental Reasoning for Multiple Inheritance. | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
| 2009 | TAP | Dynamic Symbolic Execution for Testing Distributed Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2008 | APLAS | Minimal Ownership for Active Objects. | Dave Clarke, Tobias Wrigstad, Johan stlund, Einar Broch Johnsen |
| 2008 | FM | Lazy Behavioral Subtyping. | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
| 2008 | ICTAC | Testing Concurrent Objects with Application-Specific Schedulers. | Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen |
| 2007 | ESOP | A Complete Guide to the Future. | Frank S. de Boer, Dave Clarke, Einar Broch Johnsen |
| 2004 | SEFM | An Asynchronous Communication Model for Distributed Concurrent Objects. | Einar Broch Johnsen, Olaf Owe |
| 2002 | IFM | Combining Graphical and Formal Development of Open Distributed Systems. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
| 2001 | APSEC | Specification of Distributed Systems with a Combination of Graphica and Formal Languages. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |