Agustín E. Martinez Suñé

According to our database, Agustín E. Martinez Suñé authored at least 9 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

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

A Dynamic Temporal Logic for Quality of Service in Choreographic Models.

Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Integrating deduction and model finding in a language independent setting.

Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé

CoRR, 2022

Probabilistic Quality of Service aware Service Selection.

Agustín E. Martinez Suñé, Carlos Gustavo López Pombo

CoRR, 2022

Automated QoS-Aware Service Selection Based on Soft Constraints.

Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2020

Formal Quality of Service Analysis in the Service Selection Problem.

Agustín Eloy Martinez Suñé

Proceedings of the Service-Oriented Computing - ICSOC 2020 Workshops, 2020

Formalization and analysis of quantitative attributes of distributed systems.

Agustín E. Martinez Suñé

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Quality of Service Ranking by Quantifying Partial Compliance of Requirements.

Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo

Proceedings of the Coordination Models and Languages, 2020

2019

Automatic Quality-of-Service Evaluation in Service-Oriented Computing.

Agustín E. Martinez Suñé, Carlos Gustavo López Pombo

Proceedings of the Coordination Models and Languages, 2019