|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
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
|