Silvia Lizeth Tapia Tarifa|S. Lizeth Tapia Tarifa, Lizeth Tapia

Silvia Lizeth Tapia Tarifa|S. Lizeth Tapia Tarifa, Lizeth Tapia

University of Oslo - Oslo / Norway
Engineering & Technology / Computer Science
AD Scientific Index ID: 1490974
Universitetet i Oslo
person_outline Silvia Lizeth Tapia Tarifa|S. Lizeth Tapia Tarifa, Lizeth Tapia's MOST POPULAR ARTICLES
1-) Parallel Objects for Multicores: A Glimpse at the Parallel Language EncoreS Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...International School on Formal Methods for the Design of Computer …, 2015842015
2-) Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABSE Albert, FS de Boer, R Hähnle, EB Johnsen, R Schlatte, SL Tapia Tarifa, ...Service Oriented Computing and Applications 8, 323-339, 2014592014
3-) User-defined schedulers for real-time concurrent objectsJ Bjørk, FS de Boer, EB Johnsen, R Schlatte, SL Tapia TarifaInnovations in Systems and Software Engineering 9, 29-43, 2013592013
4-) Integrating deployment architectures and resource consumption in timed object-oriented modelsEB Johnsen, R Schlatte, SLT TarifaJournal of Logical and Algebraic Methods in Programming 84 (1), 67-91, 2015522015
5-) History-based specification and verification of scalable concurrent and distributed systemsCC Din, SL Tapia Tarifa, R Hähnle, EB JohnsenFormal Methods and Software Engineering: 17th International Conference on …, 2015312015