Luís Rodrigues

18 papers A* 1A 2B 5C 1Misc 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automatic Design-Time Detection of Anomalies in Migrating Monolithic Applications to Microservices.
CoRR
Valentim Romão, Rafael Soares, Luís Rodrigues, Vasco Manquinho
2024 C conf
PrompTCC: Transactional Causally Consistent Reads Can Be Fast and Fresh.
PRDC
Taras Lykhenko, Rafael Soares, Luís Rodrigues
2024 J jnl
Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework.
ACM Trans. Auton. Adapt. Syst.
Maria Casimiro, Diogo Soares, David Garlan, Luís Rodrigues, Paolo Romano
2023 — conf
Multi-Consistency Transactional Support for Function-as-a-Service.
DSN-S
João Rafael Pinto Soares, Luís Rodrigues
2022 B conf
Engage: Session Guarantees for the Edge.
ICCCN
Miguel Belém, Pedro Fouto, Taras Lykhenko, João Leitão, Nuno M. Preguiça, Luís Rodrigues
2022 J jnl
Omega: A Secure Event Ordering Service for the Edge.
IEEE Trans. Dependable Secur. Comput.
Cláudio Correia, Miguel Correia, Luís Rodrigues
2022 — conf
Towards a Framework for Adapting Machine Learning Components.
ACSOS
Maria Casimiro, Paolo Romano, David Garlan, Luís Rodrigues
2021 — conf
A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems.
SEFM Workshops
Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano
2021 A conf
FaaSTCC: efficient transactional causal consistency for serverless computing.
Middleware
Taras Lykhenko, João Rafael Pinto Soares, Luís Rodrigues
2021 A* conf
FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications.
NDSS
Diogo Barradas, Nuno Santos, Luís Rodrigues, Salvatore Signorello, Fernando M. V. Ramos, André Madeira
2021 Misc conf
Reducing the subscription latency in reliable causal publish-subscribe systems.
SAC
Filipa Pedrosa, Luís Rodrigues
2020 B conf
Causality Tracking Trade-offs for Distributed Storage.
NCA
Hugo Guerreiro, Luís Rodrigues, Nuno M. Preguiça, Nívia Cruz Quental
2020 B conf
Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge.
ICCCN
Nuno Afonso, Manuel Bravo, Luís Rodrigues
2020 — conf
NetSheriff: Sheltering Software-Defined Networks from Rogue Switches.
NETYS
Paolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues, Etienne Rivière, Ramin Sadre
2020 A conf
Omega: a Secure Event Ordering Service for the Edge.
DSN
Cláudio Correia, Miguel Correia, Luís Rodrigues
2020 J jnl
Preface.
Theor. Comput. Sci.
Faith Ellen, Luís Rodrigues
2019 B conf
Localized Reliable Causal Multicast.
NCA
Válter Santos, Luís Rodrigues
2018 B ed.
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, Hong Kong, December 17-19, 2018
OPODIS
Jiannong Cao, Faith Ellen, Luís Rodrigues, Bernardo Ferreira