


Остановите войну!
for scientists:


default search action
Einar 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
- 2023
- [j37]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) - [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) - [c125]Å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 - [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]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.