Seguir
Agustín E. Martinez Suñé
Título
Citado por
Citado por
Año
Automatic quality-of-service evaluation in service-oriented computing
AE Martinez Suñé, CG Lopez Pombo
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
82019
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
CGL Pombo, AEM Suñé, E Tuosto
International Colloquium on Theoretical Aspects of Computing, 119-138, 2023
1*2023
Quality of service ranking by quantifying partial compliance of requirements
AE Martinez Suñé, CG Lopez Pombo
Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference …, 2020
12020
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems
CGL Pombo, AEM Suñé, E Tuosto
arXiv preprint arXiv:2311.01415, 2023
2023
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems
CG Lopez Pombo, AE Martinez Suñé, E Tuosto
arXiv e-prints, arXiv: 2311.01415, 2023
2023
Automated QoS-Aware Service Selection Based on Soft Constraints
E Keis, CGL Pombo, AEM Suñé, A Knapp
International Workshop on Algebraic Development Techniques, 121-140, 2022
2022
Integrating deduction and model finding in a language independent setting
CGL Pombo, AEM Suñé
arXiv preprint arXiv:2206.07180, 2022
2022
Probabilistic Quality of Service aware Service Selection
AEM Suñé, CGL Pombo
arXiv preprint arXiv:2205.09877, 2022
2022
Formal Quality of Service analysis in the Service Selection problem
AE Martinez-Suñé
International Conference on Service-Oriented Computing, 54-60, 2020
2020
Formalization and analysis of quantitative attributes of distributed systems
AEM Suñé
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
2020
Traducciones parciales entre lenguajes lógicos
AEM Suné
Universidad de Buenos Aires, 2017
2017
Efficient evaluation of quantitative non-functional Service Level Agreement⋆
CGL Pombo, AEM Suné
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–12