Agustín E. Martinez Suñé

Emilio Tuosto

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems.

[BibT_eX]

[DOI]

Emilio Tuosto

CoRR, 2023

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

[BibT_eX]

[DOI]

Emilio Tuosto

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

2022

Integrating deduction and model finding in a language independent setting.

[BibT_eX]

[DOI]

CoRR, 2022

Probabilistic Quality of Service aware Service Selection.

[BibT_eX]

[DOI]

CoRR, 2022

Automated QoS-Aware Service Selection Based on Soft Constraints.

[BibT_eX]

[DOI]

Elias Keis

Alexander Knapp

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2020

Formal Quality of Service Analysis in the Service Selection Problem.

[BibT_eX]

[DOI]

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

Formalization and analysis of quantitative attributes of distributed systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2020

2019

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

[BibT_eX]

[DOI]