Vitali, M.; Soldani, J.; Amadini, R.; Brogi, A.; Forti, S.; Gazza, S.; Giallorenzo, S.; Plebani, P.; Ponce, F.; Zavattaro, G., FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures, in: Proceedings of the Research Projects Exhibition Papers Presented at the 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024), Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2024, 3692, pp. 69 - 75 (atti di: 36th International Conference on Advanced Information Systems Engineering, CAiSE-RPE 2024, cyp, 2024) [Contributo in Atti di convegno]Open Access
Amadini, R.; Gazza, S.; Soldani, J.; Vitali, M.; Brogi, A.; Forti, S.; Giallorenzo, S.; Plebani, P.; Ponce, F.; Zavattaro, G., Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications, in: Logic-Based Program Synthesis and Transformation. LOPSTR 2024, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14919, pp. 117 - 127 (atti di: 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, ita, 2024) [Contributo in Atti di convegno]
Soldani, J.; Amadini, R.; Brogi, A.; Forti, S.; Giallorenzo, S.; Plebani, P.; Vitali, M.; Zavattaro, G., Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA, in: FRAME '24 - Proceedings of the 4th Workshop on Flexible Resource and Application Management on the Edge, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, Inc, 2024, pp. 1 - 4 (atti di: 4th Workshop on Flexible Resource and Application Management on the Edge, FRAME 2024, Pisa, Italy, Jun 3-7, 2024) [Contributo in Atti di convegno]Open Access
Amadini, Roberto; Stuckey, Peter J., A Regular Matching Constraint for String Variables, in: Edith Elkind, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2023, pp. 1868 - 1875 (atti di: International Joint Conference on Artificial Intelligence, Macao, 19-25 Agosto 2023) [Contributo in Atti di convegno]Open Access
Amadini, Roberto, A Survey on String Constraint Solving, «ACM COMPUTING SURVEYS», 2023, 55, Article number: 16, pp. 1 - 38 [articolo]Open Access
Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro, On the Evaluation of (Meta-)solver Approaches, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2023, 76, pp. 705 - 719 [articolo]Open Access
Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract), in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, pp. 5752 - 5756 (atti di: International Joint Conference on Artificial Intelligence, Vienna, 23-29 Luglio 2022) [atti di convegno-abstract]Open Access
Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12561, pp. 192 - 209 (atti di: 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, ita, 2020) [Contributo in Atti di convegno]
Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, sunny-as2: Enhancing SUNNY for Algorithm Selection, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2021, 72, pp. 329 - 376 [articolo]Open Access
Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey, Abstract Interpretation, Symbolic Execution and Constraints, in: Recent Developments in the Design and Implementation of Programming Languages, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 19 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, November 27, 2020) [Contributo in Atti di convegno]Open Access
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J., Dashed Strings and the Replace(-all) Constraint, in: Principles and Practice of Constraint Programming. CP 2020., «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12333, pp. 3 - 20 (atti di: CP 2020., Leuven, September 2020) [Contributo in Atti di convegno]
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J., Dashed strings for string constraint solving, «ARTIFICIAL INTELLIGENCE», 2020, 289, Article number: 103368, pp. 1 - 31 [articolo]Open Access
Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., String constraint solving: Past, present and future, in: Frontiers in Artificial Intelligence and Applications, IOS Press BV, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2020, 325, pp. 2875 - 2876 (atti di: 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020, Santiago de Compostela, Spain, 2020) [Contributo in Atti di convegno]Open Access
Amadini R.; Andrlon M.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., Constraint Programming for Dynamic Symbolic Execution of JavaScript, in: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11494, pp. 1 - 19 (atti di: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, grc, 2019) [Contributo in Atti di convegno]
Amadini R.; Gange G.; Stuckey P.J., Propagating lex, find and replace with dashed strings, in: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2018, 10848, pp. 18 - 34 (atti di: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, nld, 2018) [Contributo in Atti di convegno]
