AMADINI, ROBERTO
AMADINI, ROBERTO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures
2024 Vitali M.; Soldani J.; Amadini R.; Brogi A.; Forti S.; Gazza S.; Giallorenzo S.; Plebani P.; Ponce F.; Zavattaro G.
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications
2024 Amadini R.; Gazza S.; Soldani J.; Vitali M.; Brogi A.; Forti S.; Giallorenzo S.; Plebani P.; Ponce F.; Zavattaro G.
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA
2024 Soldani J.; Amadini R.; Brogi A.; Forti S.; Giallorenzo S.; Plebani P.; Vitali M.; Zavattaro G.
A Regular Matching Constraint for String Variables
2023 Amadini, Roberto; Stuckey, Peter J.
A Survey on String Constraint Solving
2023 Amadini, Roberto
On the Evaluation of (Meta-)solver Approaches
2023 Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract)
2022 Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study
2021 Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J.
sunny-as2: Enhancing SUNNY for Algorithm Selection
2021 Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Abstract Interpretation, Symbolic Execution and Constraints
2020 Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey
Dashed Strings and the Replace(-all) Constraint
2020 Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
Dashed strings for string constraint solving
2020 Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
String constraint solving: Past, present and future
2020 Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J.
Constraint Programming for Dynamic Symbolic Execution of JavaScript
2019 Amadini R.; Andrlon M.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J.
Propagating lex, find and replace with dashed strings
2018 Amadini R.; Gange G.; Stuckey P.J.
Propagating Regular membership with dashed strings
2018 Amadini R.; Gange G.; Stuckey P.J.
Reference abstract domains and applications to string analysis
2018 Amadini R.; Gauthier F.; Schachte P.; Stuckey P.J.; Gange G.; Jordan A.; Sondergaard H.; Zhang C.
SUNNY-CP and the minizinc challenge
2018 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Sweep-based propagation for string constraint solving
2018 Amadini R.; Gange G.; Stuckey P.J.
A novel approach to string constraint solving
2017 Amadini R.; Gange G.; Stuckey P.J.; Tack G.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures | Vitali M.; Soldani J.; Amadini R.; Brogi A.; Forti S.; Gazza S.; Giallorenzo S.; Plebani P.; Ponc...e F.; Zavattaro G. | 2024-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | - |
| Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications | Amadini R.; Gazza S.; Soldani J.; Vitali M.; Brogi A.; Forti S.; Giallorenzo S.; Plebani P.; Ponc...e F.; Zavattaro G. | 2024-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA | Soldani J.; Amadini R.; Brogi A.; Forti S.; Giallorenzo S.; Plebani P.; Vitali M.; Zavattaro G. | 2024-01-01 | - | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | - |
| A Regular Matching Constraint for String Variables | Amadini, Roberto; Stuckey, Peter J. | 2023-01-01 | - | International Joint Conferences on Artificial Intelligence | 4.01 Contributo in Atti di convegno | 0207.pdf |
| A Survey on String Constraint Solving | Amadini, Roberto | 2023-01-01 | ACM COMPUTING SURVEYS | - | 1.01 Articolo in rivista | main.pdf |
| On the Evaluation of (Meta-)solver Approaches | Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro | 2023-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | 14102wPg#s.pdf |
| sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract) | Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2022-01-01 | - | - | 4.02 Riassunto (Abstract) | 0804.pdf |
| Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study | Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| sunny-as2: Enhancing SUNNY for Algorithm Selection | Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2021-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | sminton,+13116-Article+(PDF)-28464-1-11-20211006+(1).pdf |
| Abstract Interpretation, Symbolic Execution and Constraints | Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey | 2020-01-01 | - | - | 4.01 Contributo in Atti di convegno | OASIcs-Gabbrielli-7.pdf |
| Dashed Strings and the Replace(-all) Constraint | Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. | 2020-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Dashed strings for string constraint solving | Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. | 2020-01-01 | ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | main-1.pdf |
| String constraint solving: Past, present and future | Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J. | 2020-01-01 | - | IOS Press BV | 4.01 Contributo in Atti di convegno | FAIA-325-FAIA200431.pdf |
| Constraint Programming for Dynamic Symbolic Execution of JavaScript | Amadini R.; Andrlon M.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Propagating lex, find and replace with dashed strings | Amadini R.; Gange G.; Stuckey P.J. | 2018-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Propagating Regular membership with dashed strings | Amadini R.; Gange G.; Stuckey P.J. | 2018-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Reference abstract domains and applications to string analysis | Amadini R.; Gauthier F.; Schachte P.; Stuckey P.J.; Gange G.; Jordan A.; Sondergaard H.; Zhang C. | 2018-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| SUNNY-CP and the minizinc challenge | Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2018-01-01 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | - | 1.01 Articolo in rivista | tplp17.pdf |
| Sweep-based propagation for string constraint solving | Amadini R.; Gange G.; Stuckey P.J. | 2018-01-01 | - | AAAI press | 4.01 Contributo in Atti di convegno | - |
| A novel approach to string constraint solving | Amadini R.; Gange G.; Stuckey P.J.; Tack G. | 2017-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |