Silvia Lizeth Tapia Tarifa
Silvia Lizeth Tapia Tarifa
Researcher, Department of Informatics - University Of Oslo
Verified email at ifi.uio.no - Homepage
Title
Cited by
Cited by
Year
Parallel objects for multicores: A glimpse at the parallel language encore
S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...
International School on Formal Methods for the Design of Computer …, 2015
772015
User-defined schedulers for real-time concurrent objects
J Bjørk, FS de Boer, EB Johnsen, R Schlatte, SLT Tarifa
Innovations in Systems and Software Engineering 9 (1), 29-43, 2013
552013
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, SLT Tarifa, ...
Service Oriented Computing and Applications 8 (4), 323-339, 2014
532014
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
402015
Modeling resource-aware virtualized applications for the cloud in Real-Time ABS
EB Johnsen, R Schlatte, SLT Tarifa
International Conference on Formal Engineering Methods, 71-86, 2012
282012
Dynamic resource reallocation between deployment components
EB Johnsen, O Owe, R Schlatte, SLT Tarifa
International Conference on Formal Engineering Methods, 646-661, 2010
282010
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
252011
History-based specification and verification of scalable concurrent and distributed systems
CC Din, SLT Tarifa, R Hähnle, EB Johnsen
International Conference on Formal Engineering Methods, 217-233, 2015
242015
Validating timed models of deployment components with parametric concurrency
EB Johnsen, O Owe, R Schlatte, SLT Tarifa
International Conference on Formal Verification of Object-Oriented Software …, 2010
222010
A Maude framework for cache coherent multicore architectures
S Bijo, EB Johnsen, KI Pun, SLT Tarifa
International Workshop on Rewriting Logic and its Applications, 47-63, 2016
132016
A formal model of object mobility in resource-restricted deployment scenarios
EB Johnsen, R Schlatte, SLT Tarifa
International Workshop on Formal Aspects of Component Software, 187-204, 2011
132011
Locally abstract, globally concrete semantics of concurrent programming languages
CC Din, R Hähnle, EB Johnsen, KI Pun, SLT Tarifa
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
112017
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
112016
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
Lecture Notes in Computer Science 11424, 332-350, 2019
92019
Release the beasts: When formal methods meet real world data
R Schlatte, EB Johnsen, J Mauro, SLT Tarifa, IC Yu
It's All About Coordination, 107-121, 2018
82018
A formal model of parallel execution on multicore architectures with multilevel caches
S Bijo, EB Johnsen, KI Pun, SLT Tarifa
International Conference on Formal Aspects of Component Software, 58-77, 2017
62017
Model checking LTL formulae in RAISE with FDR
AP Vargas, AG Garis, SLT Tarifa, C George
International Conference on Integrated Formal Methods, 231-245, 2009
52009
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
42017
Modeling deployment decisions for elastic services with ABS
EB Johnsen, KI Pun, S Tarifa
arXiv preprint arXiv:1610.08199, 2016
42016
A formal model of user-defined resources in resource-restricted deployment scenarios
EB Johnsen, R Schlatte, SLT Tarifa
International Conference on Formal Verification of Object-Oriented Software …, 2011
42011
The system can't perform the operation now. Try again later.
Articles 1–20