Silvia Lizeth Tapia Tarifa
Silvia Lizeth Tapia Tarifa
Researcher, Department of Informatics - University Of Oslo
Verified email at ifi.uio.no - Homepage
TitleCited byYear
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
662015
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
462013
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
382014
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
362015
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
242011
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
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
192015
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
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
112016
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
102016
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
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
52017
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
52011
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
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
32018
Deployment by construction for multicore architectures
S Bijo, EB Johnsen, KI Pun, C Seidl, SLT Tarifa
International Symposium on Leveraging Applications of Formal Methods, 448-465, 2018
22018
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
22017
Modeling deployment decisions for elastic services with ABS
EB Johnsen, KI Pun, S Tarifa
arXiv preprint arXiv:1610.08199, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20