Silvia Lizeth Tapia Tarifa

According to our database, Silvia Lizeth Tapia Tarifa authored at least 61 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

User journey games: automating user-centric analysis.

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen

Softw. Syst. Model., June, 2024

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

ACM Trans. Program. Lang. Syst., March, 2024

Declarative Lifecycle Management in Digital Twins.

Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Stochastic Games for User Journeys.

Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods - 26th International Symposium, 2024

Simulating User Journeys with Active Objects.

Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Active Object Languages: Current Research Trends, 2024

Integrating Data Privacy Compliance in Active Object Languages.

Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact).

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Dataset, November, 2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact).

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Dataset, November, 2023

Predicting resource consumption of Kubernetes container systems using resource models.

Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

J. Syst. Softw., September, 2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact).

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Dataset, August, 2023

Proving Correctness of Parallel Implementations of Transition System Specifications.

Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

CoRR, 2023

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles.

Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Assuring GDPR Conformance Through Language-Based Compliance.

Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe

Proceedings of the Privacy and Identity Management. Sharing in a Digital World, 2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System.

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the iFM 2023 - 18th International Conference, 2023

Emerging Challenges in Compositionality and Correctness for Digital Twins.

Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

2022

The ABS simulator toolchain.

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa

Sci. Comput. Program., 2022

LAGC Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

CoRR, 2022

Weighted Games for User Journeys.

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

A Formal Model of Metacontrol in Maude.

Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Digital Twin Reconfiguration Using Asset Models.

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.

Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

A Policy Language to Capture Compliance of Data Protection Requirements.

Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Building User Journey Games from Multi-party Event Logs.

Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Process Mining Workshops, 2022

Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects.

Silvia Lizeth Tapia Tarifa

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Editorial.

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim

Formal Aspects Comput., 2021

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction.

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa

Proceedings of the Coordination Models and Languages, 2021

Smart Journey Mining for Improved Service Quality.

Ragnhild Halvorsrud, Felix Mannhardt, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the IEEE International Conference on Services Computing, 2021

2020

SymPaths: Symbolic Execution Meets Partial Order Reduction.

Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

A Formal Model of the Kubernetes Container Framework.

Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Designing Distributed Control with Hybrid Active Objects.

Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.

Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

A formal model of data access for multicore architectures with multilevel caches.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Sci. Comput. Program., 2019

From SOS to Asynchronously Communicating Actors.

Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Software Engineering and Formal Methods, 2019

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System.

Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Automatic Parameter Optimisation of Service Quality and Resource Usage.

Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Deployment by Construction for Multicore Architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Release the Beasts: When Formal Methods Meet Real World Data.

Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu

Proceedings of the It's All About Coordination, 2018

2017

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

A formal model of cloud-deployed software and its application to workflow processing.

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the 25th International Conference on Software, 2017

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Modeling Deployment Decisions for Elastic Services with ABS.

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

A Maude Framework for Cache Coherent Multicore Architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

An operational semantics of cache coherent multicore architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Meeting Deadlines, Elastically.

Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Integrating deployment architectures and resource consumption in timed object-oriented models.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

J. Log. Algebraic Methods Program., 2015

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.

Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang

Proceedings of the Formal Methods for Multicore Programming, 2015

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.

Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications.

Silvia Lizeth Tapia Tarifa

PhD thesis, 2014

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.

Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong

Serv. Oriented Comput. Appl., 2014

Deployment Variability in Delta-Oriented Models.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

User-defined schedulers for real-time concurrent objects.

Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Innov. Syst. Softw. Eng., 2013

2012

Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods and Software Engineering, 2012

2011

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Modeling Application-Level Management of Virtualized Resources in ABS.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Simulating Concurrent Behaviors with Worst-Case Cost Bounds.

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the FM 2011: Formal Methods, 2011

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Models of Rate Restricted Communication for Concurrent Objects.

Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

Dynamic Resource Reallocation between Deployment Components.

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods and Software Engineering, 2010

Validating Timed Models of Deployment Components with Parametric Concurrency.

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Verification of Object-Oriented Software, 2010

2009

Model Checking LTL Formulae in RAISE with FDR.

Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

A Translation from RSL to CSP.

Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008