Automatic Quality-of-Service Evaluation in Service-Oriented Computing. - Agustín E. Martinez Suñé; Carlos Gustavo López Pombo (COORDINATION, 2019)

Quality of Service Ranking by Quantifying Partial Compliance of Requirements. - Agustín Eloy Martinez Suñé; Carlos Gustavo López Pombo (COORDINATION, 2020)

Formalization and analysis of quantitative attributes of distributed systems. - Agustín E. Martinez Suñé (ICSE (Companion Volume), 2020)

Formal Quality of Service Analysis in the Service Selection Problem. - Agustín Eloy Martinez Suñé (ICSOC Workshops, 2020)

Automated QoS-Aware Service Selection Based on Soft Constraints. - Elias Keis; Carlos Gustavo López Pombo; Agustín Eloy Martinez Suñé; Alexander Knapp (WADT, 2022)

Probabilistic Quality of Service aware Service Selection. - Agustín E. Martinez Suñé; Carlos Gustavo López Pombo (CoRR, 2022)

Integrating deduction and model finding in a language independent setting. - Carlos Gustavo López Pombo; Agustín Eloy Martinez Suñé (CoRR, 2022)

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems. - Carlos Gustavo López Pombo; Agustín E. Martinez Suñé; Emilio Tuosto (CoRR, 2023)

Automated Static Analysis of Quality of Service Properties of Communicating Systems. - Carlos Gustavo López Pombo; Agustín Eloy Martinez Suñé; Emilio Tuosto (FM (2), 2024)

Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services. - Carlos López Pombo; Hernán C. Melgratti; Agustín E. Martinez Suñé; Diego Senarruzza Anabia; Emilio Tuosto (COORDINATION, 2025)

A dynamic temporal logic for quality of service in choreographic models. - Carlos López Pombo; Agustín E. Martinez Suñé; Emilio Tuosto (Theor. Comput. Sci., 2025)