Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 230 << Forrige 1 2 3 4 5    Neste >>

2021
1 Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch; Giese, Martin.
Programming and Debugging with Semantically Lifted States (Full Paper). Oslo: Universitetet i Oslo. Institutt for informatikk 2021 (ISBN 978-82-7368-464-6) 21 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(499)
UiO Untitled
 
2020
2 de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Tveito, Lars.
SymPaths: Symbolic Execution Meets Partial Order Reduction. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12345. s. 313-338
HVL UiO Untitled
 
3 de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
From SOS to asynchronously communicating actors. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12226. s. 269-275
HVL UiO Untitled
 
4 de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Tveito, Lars.
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. OpenAccess Series in Informatics 2020 ;Volum 86. s. 10:1-10:18
UiO Untitled
 
5 Ghzouli, Razan; Berger, Thorsten; Johnsen, Einar Broch; Dragule, Swaib; Wąsowski, Andrzej.
Behavior Trees in Action: A Study of Robotics Applications. I: Proceedings of the ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020). Association for Computing Machinery (ACM) 2020 ISBN 978-1-4503-8176-5. s. 196-209
UiO Untitled
 
6 Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh.
Model checking starvation for resource-aware active objects with coloured petri nets. CEUR Workshop Proceedings 2020 ;Volum 2651. s. 68-85
HVL UiO Untitled
 
7 Henrio, Ludovic; Johnsen, Einar Broch; Pun, Ka I.
Active Objects with Deterministic Behavior. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12546. s. 181-198
HVL UiO Untitled
 
8 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate.
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12476. s. 103-121
UiO Untitled
 
9 Kamburjan, Eduard; Din, Crystal Chang; Hähnle, Reiner; Johnsen, Einar Broch.
Behavioral Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12345. s. 85-121
UiO Untitled
 
10 Lienhardt, Michael; Damiani, Ferruccio; Johnsen, Einar Broch; Mauro, Jacopo.
Lazy product discovery in huge configuration spaces. Proceedings - International Conference on Software Engineering 2020 s. 1509-1521
UiO Untitled
 
11 Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh; Johnsen, Einar Broch.
A Configurable and Executable Model of Spark Streaming on Apache YARN. International Journal of Grid and Utility Computing (IJGUC) 2020 ;Volum 11.(2) s. 185-195
NTNU UiO Untitled
 
12 Turin, Gianluca; Borgarelli, Andrea; Donetti, Simone; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth; Damiani, Ferruccio.
A Formal Model of the Kubernetes Container Framework. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12476. s. 558-577
UiO Untitled
 
13 Tveito, Lars; Johnsen, Einar Broch; Schlatte, Rudolf.
Global Reproducibility Through Local Control for Distributed Active Objects. I: Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Springer 2020 ISBN 978-3-030-45233-9. s. 140-160
UiO Untitled
 
2019
14 Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11424. s. 332-350
HVL UiO Untitled
 
15 Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming 2019 ;Volum 179. s. 24-53
HVL UiO Untitled
 
16 de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi.
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv. Electronic Proceedings in Theoretical Computer Science 2019 ;Volum 302. s. 1-15
HVL UiO Untitled
 
17 Fernandez-Reyes, Kiko; Clarke, Dave; Henrio, Ludovic; Johnsen, Einar Broch; Wrigstad, Tobias.
Godot: All the benefits of implicit and explicit futures. Leibniz International Proceedings in Informatics 2019 ;Volum 134.
UiO Untitled
 
18 Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin; Yu, Ingrid Chieh.
Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming 2019 ;Volum 181. s. 1-26
HVL UiO Untitled
 
19 Kamburjan, Eduard; Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch.
Asynchronous Cooperative Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11724 LNCS. s. 48-66
UiO Untitled
 
2018
20 Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph; Tapia Tarifa, Silvia Lizeth.
Deployment by Construction for Multicore Architectures. I: Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I. Springer 2018 ISBN 978-3-030-03417-7. s. 448-465
HVL UiO Untitled
 
21 Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Ka I, Pun; Roman-Diez, Guillermo.
Parallel Cost Analysis. ACM Transactions on Computational Logic 2018 ;Volum 19.(4) s. 1-37
HVL UiO Untitled
 
22 Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh.
A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming 2018 ;Volum 95. s. 82-102
UiO Untitled
 
23 Fava, Daniel Schnetzer; Johnsen, Einar Broch; Owe, Olaf.
Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo 2018 (ISBN 978-82-7368-450-9) 84 s.
UiO Untitled
 
24 Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh.
Using coloured Petri nets for resource analysis of active objects. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 11222 LNCS. s. 156-174
HVL UiO Untitled
 
25 Hähnle, Reiner; Johnsen, Einar Broch.
A Model-Centric Approach to the Design of Resource-Aware Cloud Applications. I: Software Technology: 10 Years of Innovation in IEEE Computer. Wiley-Blackwell 2018 ISBN 978-1-119-17421-9. s. 315-326
UiO Untitled
 
26 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate.
Virtually timed ambients: A calculus of nested virtualization. Journal of Logical and Algebraic Methods in Programming 2018 ;Volum 94. s. 109-127
UiO Untitled
 
27 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
An Analysis Tool for Models of Virtualized Systems. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 s. -
UiO Untitled
 
28 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 11187 LNCS. s. 252-272
UiO Untitled
 
29 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 11023. s. 194-213
UiO Untitled
 
30 Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh; Johnsen, Einar Broch.
Modeling and simulation of spark streaming. Advanced Information Networking and Applications 2018 ;Volum 2018-May. s. 407-413
UiO Untitled
 
31 Røst, Thomas Brox; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch; Chesta, Cristina.
HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems. Communications in Computer and Information Science 2018 ;Volum 824. s. 159-163
UiO Untitled
 
32 Schlatte, Rudolf; Johnsen, Einar Broch; Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Release the Beasts: When Formal Methods Meet Real World Data. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 10865. s. 107-121
UiO Untitled
 
2017
33 Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
A formal model of parallel execution on multicore architectures with multilevel caches. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10487 LNCS. s. 58-77
UiO Untitled
 
34 Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10501 LNAI. s. 22-43
UiO Untitled
 
35 de Boer, Frank; Serbanescu, Vlad; Hähnle, Reiner; Henrio, Ludovic; Rochas, Justine; Din, Crystal Chang; Johnsen, Einar Broch; Sirjani, Marjan; Khamespanah, Ehsan; Fernandez-Reyes, Kiko; Yang, Albert Mingkun.
A Survey of Active Object Languages. ACM Computing Surveys 2017 ;Volum 50.(5) s. -
UiO Untitled
 
36 de Paoli, Flavio; Schulte, Stephan; Johnsen, Einar Broch.
Service-Oriented and Cloud Computing - 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. Springer 2017 (ISBN 978-3-319-67261-8) 240 s. Lecture Notes in Computer Science(10465)
UiO Untitled
 
37 Domenech, Jesus; Genaim, Samir; Johnsen, Einar Broch; Schlatte, Rudolf.
EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10202 LNCS. s. 379-383
UiO Untitled
 
38 Gabmeyer, Sebastian; Johnsen, Einar Broch.
Preface. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10375 LNCS. s. VII-
UiO Untitled
 
39 Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin; Yu, Ingrid Chieh.
Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science (LNCS) 2017 (10522) s. 84-99
UiO Untitled
 
40 Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh.
Resource Management of Cloud-Aware Programs using Coloured Petri Nets. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 31-33
HVL UiO Untitled
 
41 Johnsen, Einar Broch.
Cloud computing: Predicting behaviour using models. BigInsight Seminar; 2017-01-01 - 2017-12-31
UiO Untitled
 
42 Johnsen, Einar Broch.
Model-Based Analysis of Software Systems, with Applications to Planning Processes. Planning workshop; 2017-01-01 - 2018-12-31
UiO Untitled
 
43 Johnsen, Einar Broch.
Planning and Scheduling at SIRIUS. SAP/SIRIUS introduction; 2017-08-01 - 2017-12-31
UiO Untitled
 
44 Johnsen, Einar Broch; Gabmeyer, Sebastian.
Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings.. Springer 2017 (ISBN 978-3-319-61466-3) 165 s. Lecture Notes in Computer Science(10375)
UiO Untitled
 
45 Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
A formal model of cloud-deployed software and its application to workflow processing. I: SoftCOM 2017. IEEE Communications Society 2017 ISBN 978-953-290-078-1. s. -
UiO Untitled
 
46 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate.
A Calculus of Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10644 LNCS. s. 88-103
UiO Untitled
 
2016
47 Ábrahám, Erika; Bonsangue, Marcello; Johnsen, Einar Broch.
Preface. I: Theory and practice of formal methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer Publishing Company 2016 ISBN 978-3-319-30733-6. s. 7-8
UiO Untitled
 
48 Ábrahám, Erika; Bonsangue, Marcello; Johnsen, Einar Broch.
Theory and practice of formal methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer Publishing Company 2016 (ISBN 978-3-319-30733-6) ;Volum LNCS 9660.435 s. Lecture Notes in Computer Science(.)
UiO Untitled
 
49 Abraham, Erika; Corzilius, Florian; Johnsen, Einar Broch; Kremer, Gereon; Mauro, Jacopo.
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9984 LNCS. s. 229-245
UiO Untitled
 
50 Aiello, Marco; Johnsen, Einar Broch; Dustdar, Schahram; Georgievski, Ilche.
Preface. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9846. s. V-VI
UiO Untitled
 
    Vis neste liste