Seuraa
Silvia Lizeth Tapia Tarifa
Silvia Lizeth Tapia Tarifa
Muut nimetS. Lizeth Tapia Tarifa, Lizeth Tapia
Associate Professor, Department of Informatics - University Of Oslo
Vahvistettu sähköpostiosoite verkkotunnuksessa ifi.uio.no - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...
Formal Methods for Multicore Programming: 15th International School on …, 2015
902015
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS
E Albert, FS de Boer, R Hähnle, EB Johnsen, R Schlatte, SL Tapia Tarifa, ...
Service Oriented Computing and Applications 8, 323-339, 2014
792014
User-defined schedulers for real-time concurrent objects
J Bjørk, FS de Boer, EB Johnsen, R Schlatte, SL Tapia Tarifa
Innovations in Systems and Software Engineering 9, 29-43, 2013
662013
Integrating deployment architectures and resource consumption in timed object-oriented models
EB Johnsen, R Schlatte, SLT Tarifa
Journal of Logical and Algebraic Methods in Programming 84 (1), 67-91, 2015
542015
History-based specification and verification of scalable concurrent and distributed systems
CC Din, SL Tapia Tarifa, R Hähnle, EB Johnsen
Formal Methods and Software Engineering: 17th International Conference on …, 2015
312015
Modeling resource-aware virtualized applications for the cloud in Real-Time ABS
EB Johnsen, R Schlatte, SL Tapia Tarifa
International Conference on Formal Engineering Methods, 71-86, 2012
312012
Locally abstract, globally concrete semantics of concurrent programming languages
CC Din, R Hähnle, EB Johnsen, KI Pun, SL Tapia Tarifa
Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017
302017
Dynamic resource reallocation between deployment components
EB Johnsen, O Owe, R Schlatte, SL Tapia Tarifa
International Conference on Formal Engineering Methods, 646-661, 2010
292010
Simulating concurrent behaviors with worst-case cost bounds
E Albert, S Genaim, M Gómez-Zamalloa, EB Johnsen, R Schlatte, ...
International Symposium on Formal Methods, 353-368, 2011
272011
A formal model of the kubernetes container framework
G Turin, A Borgarelli, S Donetti, EB Johnsen, SL Tapia Tarifa, F Damiani
International Symposium on Leveraging Applications of Formal Methods, 558-577, 2020
222020
Validating timed models of deployment components with parametric concurrency
E Broch Johnsen, O Owe, R Schlatte, SL Tapia Tarifa
Formal Verification of Object-Oriented Software: International Conference …, 2011
212011
Digital twin reconfiguration using asset models
E Kamburjan, VN Klungre, R Schlatte, SLT Tarifa, D Cameron, ...
International Symposium on Leveraging Applications of Formal Methods, 71-88, 2022
192022
SUAVE: an exemplar for self-adaptive underwater vehicles
GR Silva, J Päßler, J Zwanepol, E Alberts, SLT Tarifa, I Gerostathopoulos, ...
2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023
182023
Implementing SOS with active objects: A case study of a multicore memory system
N Bezirgiannis, F de Boer, EB Johnsen, KI Pun, SL Tapia Tarifa
Fundamental Approaches to Software Engineering: 22nd International …, 2019
162019
A Maude framework for cache coherent multicore architectures
S Bijo, EB Johnsen, KI Pun, SL Tapia Tarifa
Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016 …, 2016
162016
Release the beasts: When formal methods meet real world data
R Schlatte, EB Johnsen, J Mauro, SL Tapia Tarifa, IC Yu
It's All About Coordination: Essays to Celebrate the Lifelong Scientific …, 2018
142018
A formal model of object mobility in resource-restricted deployment scenarios
EB Johnsen, R Schlatte, SL Tapia Tarifa
International Workshop on Formal Aspects of Component Software, 187-204, 2011
142011
Twinning-by-construction: ensuring correctness for self-adaptive digital twins
E Kamburjan, CC Din, R Schlatte, SLT Tarifa, EB Johnsen
International Symposium on Leveraging Applications of Formal Methods, 188-204, 2022
122022
An operational semantics of cache coherent multicore architectures
S Bijo, EB Johnsen, KI Pun, SLT Tarifa
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1219-1224, 2016
122016
Predicting resource consumption of Kubernetes container systems using resource models
G Turin, A Borgarelli, S Donetti, F Damiani, EB Johnsen, SLT Tarifa
Journal of Systems and Software 203, 111750, 2023
112023
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20