Cikkek nyilvánosan hozzáférhető megbízással - Silvia Lizeth Tapia TarifaTovábbi információ
Valahol hozzáférhető: 30
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
Megbízások: European Commission
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
Megbízások: European Commission
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
Megbízások: Government of Spain
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
Megbízások: Research Council of Norway
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
Megbízások: European Commission
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
Megbízások: Research Council of Norway
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
Megbízások: European Commission
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
Megbízások: Research Council of Norway
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
Megbízások: European Commission
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
Megbízások: Research Council of Norway
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
Megbízások: Research Council of Norway
A formal model of parallel execution on multicore architectures with multilevel caches
S Bijo, EB Johnsen, KI Pun, SL Tapia Tarifa
International Conference on Formal Aspects of Component Software, 58-77, 2017
Megbízások: European Commission
Smart journey mining for improved service quality
R Halvorsrud, F Mannhardt, EB Johnsen, SLT Tarifa
2021 IEEE International Conference on Services Computing (SCC), 367-369, 2021
Megbízások: Research Council of Norway
Formal modelling and analysis of a self-adaptive robotic system
J Päßler, MH ter Beek, F Damiani, SL Tapia Tarifa, EB Johnsen
International Conference on Integrated Formal Methods, 343-363, 2023
Megbízások: European Commission
The ABS simulator toolchain
R Schlatte, EB Johnsen, E Kamburjan, SLT Tarifa
Science of Computer Programming 223, 102861, 2022
Megbízások: European Commission, Research Council of Norway
Weighted games for user journeys
P Kobialka, SL Tapia Tarifa, GR Bergersen, EB Johnsen
International Conference on Software Engineering and Formal Methods, 253-270, 2022
Megbízások: Research Council of Norway
Building user journey games from multi-party event logs
P Kobialka, F Mannhardt, SL Tapia Tarifa, EB Johnsen
International Conference on Process Mining, 71-83, 2022
Megbízások: Research Council of Norway
A formal model of metacontrol in maude
J Päßler, E Aguado, GR Silva, SLT Tarifa, CH Corbato, EB Johnsen
International Symposium on Leveraging Applications of Formal Methods, 575-596, 2022
Megbízások: European Commission
Deployment Variability in Delta-Oriented Models
EB Johnsen, R Schlatte, SL Tapia Tarifa
International Symposium On Leveraging Applications of Formal Methods …, 2014
Megbízások: European Commission
A Configurable Software Model of a Self-Adaptive Robotic System
J Päßler, MH ter Beek, F Damiani, EB Johnsen, SLT Tarifa
Science of Computer Programming 240, 103221, 2025
Megbízások: European Commission
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.