Current Research Information SysTem In Norway
 
 

 English version


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


Viser treff 1-10 av 10

1 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
 
2 Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth.
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Springer 2019 (ISBN 978-3-030-34967-7) 551 s. Lecture Notes in Computer Science (LNCS)(11918)
UiO Untitled
 
3 Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth; Wehrheim, Heike.
Formal Aspects of Computing, Volume 33, Number 6, December 2021. Extended versions of papers presented at iFM 2019.. Formal Aspects of Computing 2021
UiO Untitled
 
4 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
 
5 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
 
6 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
 
7 Halvorsrud, Ragnhild; Mannheim, Felix; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth.
Smart Journey Mining for Improved Service Quality. I: IEEE International Conference on Services Computing, SCC 2021. IEEE 2021 ISBN 978-1-6654-1683-2. s. 367-369
UiO SINTEF Untitled
 
8 Lebesbye, Torgeir; Mauro, Jacopo; Turin, Gianluca; Yu, Ingrid Chieh.
Boreas – A Service Scheduler for Optimal Kubernetes Deployment. Lecture Notes in Computer Science (LNCS) 2021 s. 221-237
UiO Untitled
 
9 Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard; Tapia Tarifa, Silvia Lizeth.
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. Lecture Notes in Computer Science (LNCS) 2021 s. -
UiO Untitled
 
10 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