Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-34 av 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 ;Volum 11424. s. 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 ;Volum 179. s. 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. s. 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 s. 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 s. -
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 ;Volum 10865. s. 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 s.
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 ;Volum 10487 LNCS. s. 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 ;Volum 10501 LNAI. s. 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. s. -
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 ;Volum 9942. s. 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. s. 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. s. 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 ;Volum 228. s. 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 s.
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 ;Volum 9104. s. 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 ;Volum 9407. s. 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 s.
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 ;Volum 84.(1) s. 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 ;Volum 8.(4) s. 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 ;Volum 8802. s. 304-319
UiO Untitled
 
22 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
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 ;Volum 7542. s. 89-108
UiO Untitled
 
24 Tapia Tarifa, Silvia Lizeth.
The Cooperative Cleaners Case Study: Modeling and Analysis in Real-Time ABS.. : UiO 2013 102 s.
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 ;Volum 7253. s. 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 ;Volum 7421. s. 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 ;Volum 7635. s. 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 ;Volum 6664. s. 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 ;Volum 6528. s. 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 ;Volum 274. s. 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. s. 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 ;Volum 6447. s. 646-661
UiO Untitled