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, 2024, 3692, pp. 69 - 75 (atti di: 36th International Conference on Advanced Information Systems Engineering, CAiSE-RPE 2024, cyp, 2024) [Contribution to conference proceedings]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, 2024, 14919, pp. 117 - 127 (atti di: 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, ita, 2024) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]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) [Contribution to conference proceedings]Open Access
Amadini, Roberto, A Survey on String Constraint Solving, «ACM COMPUTING SURVEYS», 2023, 55, Article number: 16 , pp. 1 - 38 [Scientific article]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 [Scientific article]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) [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, 2021, 12561, pp. 192 - 209 (atti di: 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, ita, 2020) [Contribution to conference proceedings]
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 [Scientific article]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, 2020, 86, pp. 1 - 19 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, November 27, 2020) [Contribution to conference proceedings]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., 2020, 12333, pp. 3 - 20 (atti di: CP 2020., Leuven, September 2020) [Contribution to conference proceedings]
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J., Dashed strings for string constraint solving, «ARTIFICIAL INTELLIGENCE», 2020, 289, Article number: 103368 , pp. 1 - 31 [Scientific article]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, 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) [Contribution to conference proceedings]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, 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) [Contribution to conference proceedings]
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, 2018, 10848, pp. 18 - 34 (atti di: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, nld, 2018) [Contribution to conference proceedings]
