Silvia Lizeth Tapia Tarifa

PUBLICATION LIST

University of Oslo

sltarifa@ifi.uio.no

Theses

1.     Silvia Lizeth Tapia Tarifa. Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. Ph.D. thesis, University of Oslo 2014.

2.    Silvia Lizeth Tapia Tarifa. The Cooperative Cleaners Case Study: Modeling and Analysis in Real-Time ABS. Master thesis, University of Oslo 2013. Graded with A  (Excellent).

 

Book Chapter

1.     Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa and Ingrid Chieh Yu. Meeting Deadlines, Elastically. From Action Systems to Distributed Systems: the Refinement Approach, Taylor & Francis 2016.

2.    Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad and Albert Mingkun Yang. Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming (SFM 2015). Lecture Notes in Computer Science, vol. 9104, Springer 2015. Level 1

 

Journals

1.     Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. Integrating Deployment Architectures and Resource Consumption in Timed Object-Oriented Models, Journal of Logic and Algebraic Programming, vol. 84 Elsevier 2015.  Level 2

2.    Elvira Albert, Frank S. de Boer, Reiner Hhnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa and Peter Y. H. Wong. Formal Modeling and Analysis of Resource Management for Cloud Architectures: An Industrial Case Study Using Real-Time ABS, Journal of Service Oriented Computing and Applications, Springer 2013.  Level 1

3.    Joakim Bjrk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. User-defined Schedulers for Real-time Concurrent Objects. Journal of Innovations in Systems and Software Engineering, 9(1): 29-43, Springer 2013.  Level 1

 

Conferences

1.     Shiji Bijo, Einar Broch Johnsen, Ka I Pun and Silvia Lizeth Tapia Tarifa. A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches, FACS 2017. Lecture Notes in Computer Science, vol.  10487, Springer 2017. Level 1

2.    Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa. A Formal Model of Cloud-Deployed Software and its Application to Workflow Processing. SoftCOM 2017. Accepted

3.    Crystal Chang Din, Einar Broch Johnsen, Reiner Hhnle, Ka I Pun and Silvia Lizeth Tapia Tarifa. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX 2017. Lecture Notes in Computer Science, vol.  10501, Springer 2017. Level 1

4.    Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa. Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud 2016. Electronic Proceedings in Theoretical Computer Science, vol. 228, 2016.

Submission by invitation. Level 1

5.    Shiji Bijo, Einar Broch Johnsen, Ka I Pun and Silvia Lizeth Tapia Tarifa. A Maude Framework for Cache Coherent Multicore Architectures. WRLA 2016. Lecture Notes in Computer Science, vol. 9942, Springer 2016.

Acceptance rate: Unknown.  Level 1

6.    Shiji Bijo, Einar Broch Johnsen, Ka I Pun and Silvia Lizeth Tapia Tarifa. An Operational Semantics of Cache Coherent Multicore Architectures. SAC 2016, MUSEPAT - Multicore Software Engineering, Performance, Applications and Tools. ACM Press, March 2016.  

Acceptance rate: 25%

7.    Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hhnle and Einar Broch Johnsen. History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM 2015.  Lecture Notes in Computer Science, vol. 9407, Springer 2015.  

Acceptance rate: 34.62%. Level 1

8.    Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. Deployment Variability in Delta-Oriented Models. ISoLA 2014.  Lecture Notes in Computer Science, vol. 8802, Springer 2014. Submission by invitation only. Level 1

9.    Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Formal Methods and Software Engineering. Proceedings of the 14th International Conference on Formal Engineering Methods, volume ICFEM 2012, Lecture Notes in Computer Science, vol. 7635, Springer 2012.

Acceptance rate: 36,47%. Level 1

10. Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. Modeling Application-Level Management of Virtualized Resources in ABS. Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Lecture Notes in Computer Science, vol. 7542, Springer 2011.  Submission by invitation only. Level 1

11.  Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. Proceedings of the 2nd International Conference on Formal Verification of Object Oriented Software, FoVeOOS 2011, Lecture Notes in Computer Science, vol. 7421, Springer 2012. Level 1

12. Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. Proceedings of the 8th International Symposium on Formal Aspects of Component Software, FACS 2011, Lecture Notes in Computer Science, vol. 7253, Springer 2012.

Acceptance rate: 39.13%. Level 1

13. Elvira Albert, Samir Genaim, Miguel Gmez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Proceedings of the 17th International Symposium on Formal Methods, FM 2011, Lecture Notes in Computer Science, vol. 6664, Springer 2011.

Acceptance rate: 28.71%. Level 1

14. Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. Integrating Aspects of Software Deployment in High-Level Executable Models. Proceedings for the NorskInformatikk Konferanse, NIK 2011, Tapir Akademisk Forlag 2011.

15. Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni and Silvia Lizeth Tapia Tarifa. Models of Rate Restricted Communication for Concurrent Objects. Electronic Notes in Theoretical Computer Science, Volume 274, 2011. Level 1

16. Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. Validating Timed Models of Deployment Components with Parametric Concurrency. Proceedings of the 1st International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, Lecture Notes in Computer Science, vol. 6528, Springer 2011. Level 1

17. Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa. Dynamic Resource Reallocation between Deployment Components. Proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, Lecture Notes in Computer Science, vol. 6447, Springer 2010.

Acceptance rate: 36.84%. Level 1

18. Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George. Model Checking LTL Formulae in RAISE with FDR. Proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, Lecture Notes in Computer Science, vol. 5423, Springer 2009.

Acceptance rate: 38.2%. Level 1

19. Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George. A Translation from RSL to CSP. Proceedings of the XXVII International Conference of the Chilean Computer Science Society, SCCC 2008, IEEE 2008.

 

Reports

-       Shiji Bijo,  Einar Broch Johnsen,  Ka I Pun and Silvia Lizeth Tapia Tarifa. Technical Report: A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches (long version).

-       Shiji Bijo,  Ka I Pun and Silvia Lizeth Tapia Tarifa. Technical Report: Modelling Data Access Patterns with Atomic Sections for Multicore Architectures   (long version).