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
- 2024
[j41]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)- [j40]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) - [j39]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) - [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] - 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 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 - [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 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]