Current Research Information SysTem In Norway
 
 

 English version


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


Viser treff 1-21 av 21

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 ;Volum 33.(6)
UiO Untitled
 
4 Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf; Gruschka, Nils.
A Policy Language to Capture Compliance of Data Protection Requirements. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13274. s. 289-309
UiO Untitled
 
5 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
UiO HVL Untitled
 
6 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
UiO HVL Untitled
 
7 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
UiO HVL Untitled
 
8 Halvorsrud, Ragnhild; Mannhardt, 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 (Institute of Electrical and Electronics Engineers) 2021 ISBN 978-1-6654-1683-2. s. 367-369
UiO SINTEF Untitled
 
9 Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Johnsen, Einar Broch.
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13701. s. 188-204
UiO UiB Untitled
 
10 Kamburjan, Eduard; Klungre, Vidar Norstein; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Cameron, David; Johnsen, Einar Broch.
Digital Twin Reconfiguration Using Asset Models. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13704. s. 71-88
UiO Untitled
 
11 Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth.
Designing Distributed Control with Hybrid Active Objects. I: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV. Springer 2021 ISBN 978-3-030-83722-8. s. 88-108
UiO Untitled
 
12 Kobialka, Paul; Tapia Tarifa, Silvia Lizeth; Bergersen, Gunnar R.; Johnsen, Einar Broch.
Weighted Games for User Journeys. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13550. s. 253-270
UiO Untitled
 
13 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
 
14 Kobialka, Paul; Mannhardt, Felix; Tapia Tarifa, Silvia Lizeth; Johnsen, Einar Broch.
Building User Journey Games from Multi-party Event Logs. Lecture Notes in Business Information Processing 2023 ;Volum 468. s. 71-83
UiO Untitled
 
15 Päßler, Juliane; Aguado, Esther; Rezende Silva, Gustavo; Tapia Tarifa, Silvia Lizeth; Hernández Corbato, Carlos; Johnsen, Einar Broch.
A Formal Model of Metacontrol in Maude. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13701. s. 575-596
UiO Untitled
 
16 Rezende Silva, Gustavo; Pässler, Juliane Linda; Zwanepol, Jeroen; Alberts, Elvin; Tapia Tarifa, Silvia Lizeth; Gerostathopoulos, Ilias; Johnsen, Einar Broch; Hernández Corbato, Carlos.
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. I: SEAMS '23: Proceedings of the 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE (Institute of Electrical and Electronics Engineers) 2023 ISBN 978-1-4503-9305-8. s. 181-187
UiO Untitled
 
17 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
 
18 Tapia Tarifa, Silvia Lizeth.
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13360. s. 481-499
UiO Untitled
 
19 Tapia Tarifa, Silvia Lizeth; Proença, José.
Formal Aspects of Component Software. 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. Springer 2022 (ISBN 978-3-031-20871-3) ;Volum 13712.245 s. Lecture Notes in Computer Science (LNCS)(13712)
UiO Untitled
 
20 Turin, Gianluca; Borgarelli, Andrea; Donetti, Simone; Damiani, Ferruccio; Tapia Tarifa, Silvia Lizeth; Johnsen, Einar Broch.
Predicting resource consumption of Kubernetes container systems using resource models. Journal of Systems and Software 2023 ;Volum 203.
UiO Untitled
 
21 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