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 | 8 | 2019 |
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 | 5* | 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 | 1 | 2020 |
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é | | |