Silvia Lizeth Tapia Tarifa

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 41

Top Venues

ISoLA (1)

CoRR

ISoLA (4)

Sci. Comput. Program.

University of Oslo, Norway (PHD)

Education History

University of Oslo, Norway

PHD

Publications

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen
User journey games: automating user-centric analysis. Softw. Syst. Model. 23 (3) (2024)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM (2023)
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR (2023)
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. CoRR (2023)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Predicting resource consumption of Kubernetes container systems using resource models. J. Syst. Softw. 203 (2023)
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. SEAMS (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR (2023)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models. CoRR (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM (2023)
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe
Assuring GDPR Conformance Through Language-Based Compliance. Privacy and Identity Management (2023)
Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) (2022)
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
The ABS simulator toolchain. Sci. Comput. Program. 223 (2022)
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen
Digital Twin Reconfiguration Using Asset Models. ISoLA (4) (2022)
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka
A Policy Language to Capture Compliance of Data Protection Requirements. IFM (2022)
Silvia Lizeth Tapia Tarifa
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Building User Journey Games from Multi-party Event Logs. ICPM Workshops (2022)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
LAGC Semantics of Concurrent Programming Languages. CoRR (2022)
Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen
A Formal Model of Metacontrol in Maude. ISoLA (1) (2022)
Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen
Weighted Games for User Journeys. SEFM (2022)
Ragnhild Halvorsrud, Felix Mannhardt, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Smart Journey Mining for Improved Service Quality. SCC (2021)
Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim
Editorial. Formal Aspects Comput. 33 (6) (2021)
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION (2021)
Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Designing Distributed Control with Hybrid Active Objects. ISoLA (4) (2020)
Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift (2020)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani
A Formal Model of the Kubernetes Container Framework. ISoLA (1) (2020)
Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
From SOS to Asynchronously Communicating Actors. SEFM Workshops (2019)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A formal model of data access for multicore architectures with multilevel caches. Sci. Comput. Program. 179 (2019)
Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE (2019)
Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK (2018)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa
Deployment by Construction for Multicore Architectures. ISoLA (1) (2018)
Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination (2018)
Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX (2017)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. FACS (2017)
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A formal model of cloud-deployed software and its application to workflow processing. SoftCOM (2017)
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud@IFM (2016)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
An operational semantics of cache coherent multicore architectures. SAC (2016)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A Maude Framework for Cache Coherent Multicore Architectures. WRLA (2016)
Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM (2015)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. 84 (1) (2015)
Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM (2015)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Deployment Variability in Delta-Oriented Models. ISoLA (1) (2014)
Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8 (4) (2014)
Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9 (1) (2013)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. ICFEM (2012)
Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa
Models of Rate Restricted Communication for Concurrent Objects. Electron. Notes Theor. Comput. Sci. 274 (2011)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Modeling Application-Level Management of Virtualized Resources in ABS. FMCO (2011)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS (2011)
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM (2011)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. FoVeOOS (2011)
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Dynamic Resource Reallocation between Deployment Components. ICFEM (2010)
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS (2010)
Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George
Model Checking LTL Formulae in RAISE with FDR. IFM (2009)
Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George
A Translation from RSL to CSP. SCCC (2008)

Silvia Lizeth Tapia Tarifa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Silvia Lizeth Tapia Tarifa