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 64 << Forrige 1 2    Neste >>

2024
1 Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf.
Assuring GDPR Conformance through Language-Based Compliance. Springer 2024 (ISBN 978-3-031-50758-8) 15 s. IFIP Advances in Information and Communication Technology(--)
UiO Untitled
 
2 Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf.
Integrating Data Privacy Compliance in Active Object Languages. Lecture Notes in Computer Science (LNCS) 2024 ;Volum 14360.
UiO Untitled
 
3 Kobialka, Paul; Schlatte, Rudolf; Bergersen, Gunnar R.; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth.
Simulating User Journeys with Active Objects. Lecture Notes in Computer Science (LNCS) 2024 ;Volum 14360.
UiO Untitled
 
4 Kobialka, Paul; Tapia Tarifa, Silvia Lizeth; Bergersen, Gunnar R.; Johnsen, Einar Broch.
User Journey Games: Automating User-Centric Analysis. Software and Systems Modeling (SoSyM) 2024
UiO Untitled
 
2023
5 Abraham, Erika; Clemens, Dubslaff; Tapia Tarifa, Silvia Lizeth.
Proceedings of the 20th International Colloquium on Theoretical Aspects of Computing - ICTAC 2023. Springer 2023 (ISBN 978-3-031-47962-5) ;Volum 14446.440 s. Lecture Notes in Computer Science (LNCS)(1)
UiO Untitled
 
6 Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf.
Integrating Data Privacy Compliance in Active Object Languages. Universitetet i Oslo 2023 (ISBN 978-82-7368-606-0) 22 s.
UiO Untitled
 
7 Kamburjan, Eduard; Klungre, Vidar Norstein; Tapia Tarifa, Silvia Lizeth; Schlatte, Rudolf; Giese, Martin; Cameron, David B.; Johnsen, Einar Broch.
Emerging Challenges in Compositionality and Correctness for Digital Twins. CEUR Workshop Proceedings 2023 ;Volum 3507. s. -
UiO Untitled
 
8 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
 
9 Pässler, Juliane Linda; ter Beek, Maurice H.; Damiani, Ferruccio; Tapia Tarifa, Silvia Lizeth; Johnsen, Einar Broch.
Formal Modelling and Analysis of a Self-Adaptive Robotic System. Lecture Notes in Computer Science (LNCS) 2023 ;Volum 14300. s. 343-363
UiO Untitled
 
10 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
 
11 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
 
2022
12 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
 
13 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
 
14 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
 
15 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
 
16 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
 
17 Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard; Tapia Tarifa, Silvia Lizeth.
The ABS simulator toolchain. Science of Computer Programming 2022 ;Volum 223.
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
 
2021
20 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
 
21 Halvorsrud, Ragnhild; Mannhardt, Felix; Broch Johnsen, Einar; Tapia Tarifa, Silvia Lizeth.
Smart Journey Mining for Improved Service Quality. International conference on service computing (SCC 2021); 2021-09-09 - 2021-09-09
UiO SINTEF Untitled
 
22 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
 
23 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
 
24 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
 
2020
25 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
 
26 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
 
27 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
 
28 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
 
2019
29 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
 
30 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
 
31 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
 
32 Borda, Aimée; Cimini, Matteo; Cirstea, Corina; Dardha, Ornela; Fowler, Simon; Jakši ć, Svetlana; Knight, Sophia; Lanese, Ivan; Lange, Julien; López, HugoAndrés; Melgratti, Hernán; Mezzina, Claudio Antares; Murgia, Maurizio; Peters, Kristin; Sammartino, Matteo; Stachtiari, Emmanouela; Tapia Tarifa, Silvia Lizeth; Vieira, Hugo Torres; Pohjola, Johannes Åman.
Preface. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2019 ;Volum 304. s. -
HVL UiO Untitled
 
2018
33 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
 
34 Abraham, Erika; Tapia Tarifa, Silvia Lizeth.
Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18). : University of Oslo 2018 (ISBN 978-82-7368-435-6) 27 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(483)
UiO Untitled
 
35 Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Automatic Parameter Optimisation of Service Quality and Resource Usage. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 s. -
UiO Untitled
 
36 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
37 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
 
38 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
 
39 Abraham, Erika; Tapia Tarifa, Silvia Lizeth.
Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17). : University of Oslo 2017 (ISBN 978-82-7368-435-6) 50 s.
UiO Untitled
 
40 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
 
2016
41 Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
A Maude Framework for Cache Coherent Multicore Architectures. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9942. s. 47-63
UiO Untitled
 
42 Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
An operational semantics of cache coherent multicore architectures. I: Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16). Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-3739-7. s. 1219-1224
UiO Untitled
 
43 Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Meeting Deadlines, Elastically. I: From Action Systems to Distributed Systems: The Refinement Approach. CRC Press 2016 ISBN 978-1-4987-0158-7. s. 99-111
UiO Untitled
 
44 Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
Modeling deployment decisions for elastic services with ABS. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2016 ;Volum 228. s. 16-26
UiO Untitled
 
2015
45 Din, Crystal Chang; Tapia Tarifa, Silvia Lizeth; Hähnle, Reiner; Johnsen, Einar Broch.
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Lecture Notes in Computer Science (LNCS) 2015 ;Volum 9407. s. 217-233
UiO Untitled
 
46 Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
An Operational Semantics of Cache Coherent Multicore Architectures. : UiO 2015 11 s.
UiO Untitled
 
47 Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Wrigstad, Tobias; Yang, Albert Mingkun.
Parallel objects for multicores: A glimpse at the parallel language encore. Lecture Notes in Computer Science (LNCS) 2015 ;Volum 9104. s. 1-56
UiO Untitled
 
48 Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Meeting Deadlines, Elastically.. : UiO 2015 (ISBN 978-82-7368-408-0) 15 s.
UiO Untitled
 
49 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Integrating deployment architectures and resource consumption in timed object-oriented models. Journal of Logical and Algebraic Methods in Programming 2015 ;Volum 84.(1) s. 67-91
UiO Untitled
 
2014
50 Albert, Elvira; de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Wong, Peter Y. H..
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Service Oriented Computing and Applications 2014 ;Volum 8.(4) s. 323-339
UiO Untitled
 
    Vis neste liste