Agustín E. Martinez Suñé

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Resource Management

Quality Of Service

Bandwidth Utilization

Qos Requirements

Top Venues

ICSE (Companion Volume)

Publications

Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. CoRR (2023)
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. ICTAC (2023)
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems. CoRR (2023)
Agustín E. Martinez Suñé, Carlos Gustavo López Pombo
Probabilistic Quality of Service aware Service Selection. CoRR (2022)
Agustín E. Martinez Suñé
Formalization and analysis of quantitative attributes of distributed systems. ICSE (Companion Volume) (2020)
Agustín E. Martinez Suñé, Carlos Gustavo López Pombo
Automatic Quality-of-Service Evaluation in Service-Oriented Computing. COORDINATION (2019)