Silvia Lizeth Tapia Tarifa
Universitetet i Oslo
H-index: 14
Europe-Norway
Top articles of Silvia Lizeth Tapia Tarifa
Integrating Data Privacy Compliance in Active Object Languages
2024/1/29
Silvia Lizeth Tapia Tarifa
H-Index: 9
Olaf Owe
H-Index: 9
Proving Correctness of Parallel Implementations of Transition System Models
arXiv preprint arXiv:2302.04661
2023/1/25
Einar Broch Johnsen
H-Index: 17
Silvia Lizeth Tapia Tarifa
H-Index: 9
Locally abstract, globally concrete semantics of concurrent programming languages
ACM Transactions on Programming Languages and Systems
2024
Simulating User Journeys with Active Objects
2024/1/29
Einar Broch Johnsen
H-Index: 17
Silvia Lizeth Tapia Tarifa
H-Index: 9
Theoretical Aspects of Computing–ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
2023/11/22
Clemens Dubslaff
H-Index: 11
Silvia Lizeth Tapia Tarifa
H-Index: 9
Formal Modelling and Analysis of a Self-Adaptive Robotic System
2023/11/6
Predicting resource consumption of Kubernetes container systems using resource models
Journal of Systems and Software
2023/9/1
Assuring GDPR Conformance Through Language-Based Compliance
2023/8/8
Silvia Lizeth Tapia Tarifa
H-Index: 9
Olaf Owe
H-Index: 9
SUAVE: an exemplar for self-adaptive underwater vehicles
2023/5/15
Emerging Challenges in Compositionality and Correctness for Digital Twins
CEUR Workshop Proceedings
2023
Eduard Kamburjan
H-Index: 7
Vidar Norstein Klungre
H-Index: 3
Silvia Lizeth Tapia Tarifa
H-Index: 9
Martin Giese
H-Index: 18
Einar Broch Johnsen
H-Index: 17
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins
Research report http://urn. nb. no/URN: NBN: no-35645
2023
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
2022/11/2
Silvia Lizeth Tapia Tarifa
H-Index: 9
The ABS simulator toolchain
Science of Computer Programming
2022/11/1
Building user journey games from multi-party event logs
2023
A formal model of metacontrol in maude
2022/10/17
Silvia Lizeth Tapia Tarifa
H-Index: 9
Carlos Hernández Corbato
H-Index: 9
Einar Broch Johnsen
H-Index: 17
Twinning-by-construction: ensuring correctness for self-adaptive digital twins
2022/10/17
Digital twin reconfiguration using asset models
2022/10/17
Weighted games for user journeys
2022/9/26
Silvia Lizeth Tapia Tarifa
H-Index: 9
Einar Broch Johnsen
H-Index: 17
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects
2022/7/4
Silvia Lizeth Tapia Tarifa
H-Index: 9