Silvia Lizeth Tapia Tarifa

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2020
Позовавания	787	397
h-индекс	15	11
i10-индекс	22	14

140

105

20102011201220132014201520162017201820192020202120222023202420255 28 24 22 27 24 73 39 81 54 66 43 50 89 133 15

Публичен достъп

Преглед на всички

30 статии

0 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

Einar Broch JohnsenProfessor, University of OsloПотвърден имейл адрес: ifi.uio.no
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Потвърден имейл адрес: cwi.nl
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtПотвърден имейл адрес: cs.tu-darmstadt.de
Eduard KamburjanAssistant Professor, IT University of CopenhagenПотвърден имейл адрес: itu.dk
Shiji BijoUniversity of osloПотвърден имейл адрес: ifi.uio.no
Olaf OweProfessor, Department of Informatics, University of OsloПотвърден имейл адрес: ifi.uio.no
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoПотвърден имейл адрес: di.unito.it
Elvira AlbertComplutense University of SpainПотвърден имейл адрес: sip.ucm.es
Dave ClarkeIndependentПотвърден имейл адрес: storytel.com
Elias CastegrenAssistant Professor, Uppsala UniversityПотвърден имейл адрес: it.uu.se
Peter Y. H. WongPreneticsПотвърден имейл адрес: wolfson.oxon.org
Gianluca TurinPhD student, Universitet i OsloПотвърден имейл адрес: ifi.uio.no
Ingrid Chieh YuAssociate Professor, University of OsloПотвърден имейл адрес: ifi.uio.no
Jacopo MauroUniversity of Southern DenmarkПотвърден имейл адрес: imada.sdu.dk
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityПотвърден имейл адрес: it.uu.se
Kiko FernándezEricssonПотвърден имейл адрес: ericsson.com
Vidar Norstein KlungreUniversity of OsloПотвърден имейл адрес: ifi.uio.no
David CameronCentre Coordinator University of Oslo SIRIUSПотвърден имейл адрес: uio.no
Andrea BorgarelliPhD student, Max Planck Institute for Software SystemsПотвърден имейл адрес: mpi-sws.org
Carlos Hernández CorbatoAssociate professor, Cognitive Robotics / Mechanical Engineering / TU DelftПотвърден имейл адрес: tudelft.nl

Следене

Silvia Lizeth Tapia Tarifa

Други именаS. Lizeth Tapia Tarifa, Lizeth Tapia

Associate Professor, Department of Informatics - University Of Oslo

Потвърден имейл адрес: ifi.uio.no - Начална страница

Formal Methods Software Engineering


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
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	93	2015
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	82	2014
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	67	2013
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	58	2015
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	32	2012
Locally abstract, globally concrete semantics of concurrent programming languages CC Din, R Hähnle, EB Johnsen, KI Pun, SL Tapia Tarifa International Conference on Automated Reasoning with Analytic Tableaux and …, 2017	31	2017
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	31	2015
Dynamic resource reallocation between deployment components EB Johnsen, O Owe, R Schlatte, SL Tapia Tarifa International Conference on Formal Engineering Methods, 646-661, 2010	29	2010
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	28	2011
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	22	2020
Validating timed models of deployment components with parametric concurrency E Broch Johnsen, O Owe, R Schlatte, SL Tapia Tarifa International Conference on Formal Verification of Object-Oriented Software …, 2010	21	2010
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	20	2023
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	19	2022
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	17	2019
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	17	2016
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	15	2018
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	14	2011
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	12	2022
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	12	2016
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	11	2023

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори