|
|||||||||||||||
|
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|||||||||||||||
|
|||||||||||||||
|
|||||||||||||||
| Viser treff 1-39 av 39 |
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 29. | Tapia Tarifa, Silvia Lizeth. The Cooperative Cleaners Case Study: Modeling and Analysis in Real-Time ABS.. : UiO 2013 102 s. UiO |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
|
||
| 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 |
|
|
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 |
|
|
|
||
| 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 |
|