Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-34 of 34

2019
1 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 2019 ;Volume 11424. p. 332-350
HVL UiO Untitled
 
2 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 ;Volume 179. p. 24-53
HVL UiO Untitled
 
2018
3 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. p. 448-465
HVL UiO Untitled
 
4 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 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(483)
UiO Untitled
 
5 Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK: Norsk Informatikkonferanse 2018 p. -
UiO Untitled
 
6 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 2018 ;Volume 10865. p. 107-121
UiO Untitled
 
2017
7 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 p.
UiO Untitled
 
8 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 2017 ;Volume 10487 LNCS. p. 58-77
UiO Untitled
 
9 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 2017 ;Volume 10501 LNAI. p. 22-43
UiO Untitled
 
10 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. p. -
UiO Untitled
 
2016
11 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 2016 ;Volume 9942. p. 47-63
UiO Untitled
 
12 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. p. 1219-1224
UiO Untitled
 
13 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. p. 99-111
UiO Untitled
 
14 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 ;Volume 228. p. 16-26
UiO Untitled
 
2015
15 Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
An Operational Semantics of Cache Coherent Multicore Architectures. : UiO 2015 11 p.
UiO Untitled
 
16 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 2015 ;Volume 9104. p. 1-56
UiO Untitled
 
17 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 2015 ;Volume 9407. p. 217-233
UiO Untitled
 
18 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 p.
UiO Untitled
 
19 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 ;Volume 84.(1) p. 67-91
UiO Untitled
 
2014
20 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 ;Volume 8.(4) p. 323-339
UiO Untitled
 
21 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Deployment variability in delta-oriented models. Lecture Notes in Computer Science 2014 ;Volume 8802. p. 304-319
UiO Untitled
 
22 Tapia Tarifa, Silvia Lizeth.
Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. : Akademika 2014 164 p. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.(1484)
UiO Untitled
 
2013
23 Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Modeling Application-Level Management of Virtualized Resources in ABS. Lecture Notes in Computer Science 2013 ;Volume 7542. p. 89-108
UiO Untitled
 
24 Tapia Tarifa, Silvia Lizeth.
The Cooperative Cleaners Case Study: Modeling and Analysis in Real-Time ABS.. : UiO 2013 102 p.
UiO Untitled
 
2012
25 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
 
26 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 2012 ;Volume 7253. p. 187-204
UiO Untitled
 
27 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 2012 ;Volume 7421. p. 196-213
UiO Untitled
 
28 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 2012 ;Volume 7635. p. 71-86
UiO Untitled
 
2011
29 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 2011 ;Volume 6664. p. 353-368
UiO Untitled
 
30 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 2011 ;Volume 6528. p. 46-60
UiO Untitled
 
31 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
 
32 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 ;Volume 274. p. 67-81
UiO Untitled
 
2010
33 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. p. 23-25
UiO Untitled
 
34 Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth.
Dynamic Resource Reallocation between Deployment Components. Lecture Notes in Computer Science 2010 ;Volume 6447. p. 646-661
UiO Untitled