Personal information

Verified email domains

Activities

Employment (1)

University of Oslo: Oslo, Oslo, NO

2009 to present | Associate Professor (Informatics)
Employment
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa

Education and qualifications (1)

University of Oslo: Oslo, Oslo, NO

2010 to 2014 | PhD 2014 (Informatics)
Qualification
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa

Funding (1)

Exploiting Abstract Data-Access Patterns for Better Data Locality in Parallel Processing

Grant
Norges Forskningsråd (Oslo, NO)
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa

Works (39)

Nudging Strategies for User Journeys: Take a Path on the Wild Side

2025 | Book chapter
Contributors: Einar Broch Johnsen; Paul Kobialka; Andrea Pferscher; Silvia Lizeth Tapia Tarifa
Source: check_circle
Crossref

Semantic Reflection and Digital Twins: A Comprehensive Overview

2025 | Book chapter
Contributors: Eduard Kamburjan; Andrea Pferscher; Rudolf Schlatte; Riccardo Sieve; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen
Source: check_circle
Crossref

Stochastic Games for User Journeys

2025 | Book chapter
Contributors: Paul Kobialka; Andrea Pferscher; Gunnar R. Bergersen; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa
Source: check_circle
Crossref

Analysing Self-Adaptive Systems as Software Product Lines

Journal of Systems and Software
2025-04 | Journal article
Contributors: Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; S. Lizeth Tapia Tarifa
Source: check_circle
Crossref

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System

Formal Aspects of Computing
2025-01-06 | Journal article
Contributors: Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Clemens Dubslaff; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa
Source: check_circle
Crossref

Assuring GDPR Conformance Through Language-Based Compliance

2024 | Book chapter
Contributors: Chinmayi Prabhu Baramashetru; Silvia Lizeth Tapia Tarifa; Olaf Owe
Source: check_circle
Crossref

Formal Modelling and Analysis of a Self-Adaptive Robotic System

2024 | Book chapter
Contributors: Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen
Source: check_circle
Crossref

Integrating Data Privacy Compliance in Active Object Languages

2024 | Book chapter
Contributors: Chinmayi Prabhu Baramashetru; Silvia Lizeth Tapia Tarifa; Olaf Owe
Source: check_circle
Crossref

Simulating User Journeys with Active Objects

2024 | Book chapter
Contributors: Paul Kobialka; Rudolf Schlatte; Gunnar Rye Bergersen; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa
Source: check_circle
Crossref

Proving Correctness of Parallel Implementations of Transition System Models

ACM Transactions on Programming Languages and Systems
2024-09-30 | Journal article
Contributors: Frank de Boer; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa
Source: check_circle
Crossref

Declarative Lifecycle Management in Digital Twins

2024-09-22 | Conference paper
Contributors: Eduard Kamburjan; Nelly Bencomo; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen
Source: check_circle
Crossref

User journey games: automating user-centric analysis

Software and Systems Modeling
2024-06 | Journal article
Contributors: Paul Kobialka; S. Lizeth Tapia Tarifa; Gunnar R. Bergersen; Einar Broch Johnsen
Source: check_circle
Crossref

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

ACM Transactions on Programming Languages and Systems
2024-03-31 | Journal article
Contributors: Crystal Chang Din; Reiner Hähnle; Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun; S. Lizeth Tapia Tarifa
Source: check_circle
Crossref

Building User Journey Games from Multi-party Event Logs

2023 | Book chapter
Contributors: Paul Kobialka; Felix Mannhardt; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen
Source: check_circle
Crossref

A Formal Model of Metacontrol in Maude

2022 | Book chapter
Contributors: Juliane Päßler; Esther Aguado; Gustavo Rezende Silva; Silvia Lizeth Tapia Tarifa; Carlos Hernández Corbato; Einar Broch Johnsen
Source: check_circle
Crossref

A Policy Language to Capture Compliance of Data Protection Requirements

2022 | Book chapter
Contributors: Chinmayi Prabhu Baramashetru; Silvia Lizeth Tapia Tarifa; Olaf Owe; Nils Gruschka
Source: check_circle
Crossref

Digital Twin Reconfiguration Using Asset Models

2022 | Book chapter
Contributors: Eduard Kamburjan; Vidar Norstein Klungre; Rudolf Schlatte; S. Lizeth Tapia Tarifa; David Cameron; Einar Broch Johnsen
Source: check_circle
Crossref

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

2022 | Book chapter
Contributors: Silvia Lizeth Tapia Tarifa
Source: check_circle
Crossref

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

2022 | Book chapter
Contributors: Eduard Kamburjan; Crystal Chang Din; Rudolf Schlatte; S. Lizeth Tapia Tarifa; Einar Broch Johnsen
Source: check_circle
Crossref

Weighted Games for User Journeys

2022 | Book chapter
Contributors: Paul Kobialka; Silvia Lizeth Tapia Tarifa; Gunnar Rye Bergersen; Einar Broch Johnsen
Source: check_circle
Crossref

Designing Distributed Control with Hybrid Active Objects

2021 | Book chapter
Contributors: Eduard Kamburjan; Rudolf Schlatte; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa
Source: check_circle
Crossref

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction

2021 | Book chapter
Contributors: Rudolf Schlatte; Einar Broch Johnsen; Eduard Kamburjan; Silvia Lizeth Tapia Tarifa
Source: check_circle
Crossref

A Formal Model of the Kubernetes Container Framework

2020 | Book chapter
Contributors: Gianluca Turin; Andrea Borgarelli; Simone Donetti; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa; Ferruccio Damiani
Source: check_circle
Crossref

From SOS to Asynchronously Communicating Actors

2020 | Book chapter
Contributors: Frank de Boer; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa
Source: check_circle
Crossref

SymPaths: Symbolic Execution Meets Partial Order Reduction

2020 | Book chapter
Contributors: Frank S. de Boer; Marcello Bonsangue; Einar Broch Johnsen; Violet Ka I Pun; S. Lizeth Tapia Tarifa; Lars Tveito
Source: check_circle
Crossref

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

Science of Computer Programming
2019 | Journal article
EID:

2-s2.0-85065196287

Contributors: Bijo, S.; Johnsen, E.B.; Pun, K.I.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

Implementing SOS with active objects: A case study of a multicore memory system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85064913122

Contributors: Bezirgiannis, N.; de Boer, F.; Johnsen, E.B.; Pun, K.I.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

Release the beasts: When formal methods meet real world data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book chapter
EID:

2-s2.0-85047838980

Contributors: Schlatte, R.; Johnsen, E.B.; Mauro, J.; Tapia Tarifa, S.L.; Yu, I.C.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

A formal model of parallel execution on multicore architectures with multilevel caches

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85030684894

Contributors: Bijo, S.; Johnsen, E.B.; Pun, K.I.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

Locally abstract, globally concrete semantics of concurrent programming languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85029541807

Contributors: Din, C.C.; Hähnle, R.; Johnsen, E.B.; Pun, K.I.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

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

Journal of Logical and Algebraic Methods in Programming
2015 | Journal article
EID:

2-s2.0-84938691225

Contributors: Johnsen, E.B.; Schlatte, R.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

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

Service Oriented Computing and Applications
2014 | Journal article
EID:

2-s2.0-84920252893

Contributors: Albert, E.; de Boer, F.S.; Hähnle, R.; Johnsen, E.B.; Schlatte, R.; Tapia Tarifa, S.L.; Wong, P.Y.H.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

Modeling application-level management of virtualized resources in ABS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
EID:

2-s2.0-84883271442

Contributors: Johnsen, E.B.; Schlatte, R.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

User-defined schedulers for real-time concurrent objects

Innovations in Systems and Software Engineering
2013 | Journal article
EID:

2-s2.0-84874286860

Contributors: Bjørk, J.; de Boer, F.S.; Johnsen, E.B.; Schlatte, R.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

A formal model of object mobility in resource-restricted deployment scenarios

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
EID:

2-s2.0-84871532428

Contributors: Johnsen, E.B.; Schlatte, R.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

A formal model of user-defined resources in resource-restricted deployment scenarios

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
EID:

2-s2.0-84864861229

Contributors: Johnsen, E.B.; Schlatte, R.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

Modeling resource-aware virtualized applications for the cloud in real-time ABS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
EID:

2-s2.0-84871644688

Contributors: Johnsen, E.B.; Schlatte, R.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

Validating timed models of deployment components with parametric concurrency

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
EID:

2-s2.0-79551601429

Contributors: Broch Johnsen, E.; Owe, O.; Schlatte, R.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier

Dynamic resource reallocation between deployment components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
EID:

2-s2.0-78649628567

Contributors: Johnsen, E.B.; Owe, O.; Schlatte, R.; Tapia Tarifa, S.L.
Source: Self-asserted source
Silvia Lizeth Tapia Tarifa via Scopus - Elsevier