Folgen
Silvia Lizeth Tapia Tarifa
Silvia Lizeth Tapia Tarifa
Sonstige NamenS. Lizeth Tapia Tarifa, Lizeth Tapia
Associate Professor, Department of Informatics - University Of Oslo
Bestätigte E-Mail-Adresse bei ifi.uio.no - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
852015
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
702014
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
632013
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
482015
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
302012
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
282011
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
272015
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
232017
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
202011
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
152016
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
142019
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
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
122018
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
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
112020
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
92022
Modeling and analyzing resource-sensitive actors: a tutorial introduction
R Schlatte, EB Johnsen, E Kamburjan, SL Tapia Tarifa
International Conference on Coordination Languages and Models, 3-19, 2021
82021
A formal model of parallel execution on multicore architectures with multilevel caches
S Bijo, EB Johnsen, KI Pun, SL Tapia Tarifa
Formal Aspects of Component Software: 14th International Conference, FACS …, 2017
82017
A formal model of cloud-deployed software and its application to workflow processing
EB Johnsen, KI Pun, SLT Tarifa
2017 25th International Conference on Software, Telecommunications and …, 2017
72017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20