|
 |
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
 |
|
|
|
2020
|
1. |
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
|
|
2. |
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
|
|
3. |
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
|
|
4. |
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
|
5. |
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
|
|
6. |
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
|
|
7. |
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
|
2018
|
8. |
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
|
|
9. |
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
|
|
10. |
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
|
|
11. |
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
|
12. |
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
|
|
13. |
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
|
|
14. |
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
|
|
15. |
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
|
16. |
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
|
|
17. |
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
|
|
18. |
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
|
|
19. |
Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Modeling deployment decisions for elastic services with ABS. Electronic Proceedings in Theoretical Computer Science 2016 ;Volum 228. s. 16-26 UiO
Untitled
|
2015
|
20. |
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
|
|
21. |
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
|
|
22. |
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
|
|
23. |
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
|
|
24. |
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
|
25. |
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
|
|
26. |
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Deployment variability in delta-oriented models. Lecture Notes in Computer Science (LNCS) 2014 ;Volum 8802. s. 304-319 UiO
Untitled
|
|
27. |
Tapia Tarifa, Silvia Lizeth. Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. : Akademika 2014 164 s. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.(1484) UiO
Untitled
|
2013
|
28. |
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Modeling Application-Level Management of Virtualized Resources in ABS. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 7542. s. 89-108 UiO
Untitled
|
|
29. |
Tapia Tarifa, Silvia Lizeth. The Cooperative Cleaners Case Study: Modeling and Analysis in Real-Time ABS.. : UiO 2013 102 s. UiO
Untitled
|
2012
|
30. |
Bjørk, Joakim; de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. User-defined Schedulers for Real-Time Concurrent Objects. Innovations in Systems and Software Engineering 2012 UiO
Untitled
|
|
31. |
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science (LNCS) 2012 ;Volum 7253. s. 187-204 UiO
Untitled
|
|
32. |
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science (LNCS) 2012 ;Volum 7421. s. 196-213 UiO
Untitled
|
|
33. |
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Lecture Notes in Computer Science (LNCS) 2012 ;Volum 7635. s. 71-86 UiO
Untitled
|
2011
|
34. |
Albert, Elvira; Genaim, Samir; Gómez-Zamalloa, Miguel; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Lecture Notes in Computer Science (LNCS) 2011 ;Volum 6664. s. 353-368 UiO
Untitled
|
|
35. |
Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Validating Timed Models of Deployment Components with Parametric Concurrency. Lecture Notes in Computer Science (LNCS) 2011 ;Volum 6528. s. 46-60 UiO
Untitled
|
|
36. |
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Integrating Aspects of Software Deployment in High-Level Executable Models. I: Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag 2011 ISBN 978-82-519-2843-4. UiO
Untitled
|
|
37. |
Schlatte, Rudolf; Johnsen, Einar Broch; Kazemeyni, Fatemeh Sadat; Tapia Tarifa, Silvia Lizeth. Models of Rate Restricted Communication for Concurrent Objects. Electronical Notes in Theoretical Computer Science 2011 ;Volum 274. s. 67-81 UiO
Untitled
|
2010
|
38. |
Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Deployment Components with Parametric Concurrency. I: Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. Turku Finland: TUCS 2010 ISBN 978-952-12-2478-2. s. 23-25 UiO
Untitled
|
|
39. |
Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth. Dynamic Resource Reallocation between Deployment Components. Lecture Notes in Computer Science (LNCS) 2010 ;Volum 6447. s. 646-661 UiO
Untitled
|
|