Roberto Amadini

55 papers A* 4A 5B 4C 5Misc 3Journal 24Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments. ACM Trans. Internet Techn. Simone Gazza, Roberto Amadini, Antonio Brogi, Andrea D'Iapico, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Jacopo Soldani, Monica Vitali, Gianluigi Zavattaro
2026	J	`jnl`	Failure-Resilient and Carbon-Efficient Deployment of Microservices over the Cloud-Edge Continuum. CoRR Francisco Ponce, Simone Gazza, Andrea D'Iapico, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Davide Usai, Monica Vitali, Gianluigi Zavattaro, Jacopo Soldani
2025	C	`conf`	Fixture Layout Optimization in Wood Industry: A Case Study. PPDP Anna Vitali, Roberto Amadini, Maurizio Gabbrielli
2025	J	`jnl`	On the flow matching interpretability. CoRR Francesco Pivi, Simone Gazza, Davide Evangelista, Roberto Amadini, Maurizio Gabbrielli
2024	—	`conf`	FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. CAiSE Research Projects Exhibition Monica Vitali, Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro
2024	C	`conf`	Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. LOPSTR Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro
2024	—	`conf`	Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. FRAME@HPDC Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Monica Vitali, Gianluigi Zavattaro
2023	A*	`conf`	A Regular Matching Constraint for String Variables. IJCAI Roberto Amadini, Peter J. Stuckey
2023	J	`jnl`	A Survey on String Constraint Solving. ACM Comput. Surv. Roberto Amadini
2023	J	`jnl`	On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res. Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2023	—	`ch.`	Regular Matching with Constraint Programming. Challenges of Software Verification Roberto Amadini, Maurizio Gabbrielli
2022	J	`jnl`	On the evaluation of (meta-)solver approaches. CoRR Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2022	A*	`conf`	sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). IJCAI Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2021	J	`jnl`	sunny-as2: Enhancing SUNNY for Algorithm Selection. J. Artif. Intell. Res. Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2020	J	`jnl`	A Survey on String Constraint Solving. CoRR Roberto Amadini
2020	—	`conf`	Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2020	C	`conf`	Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2020	A	`conf`	Dashed Strings and the Replace(-all) Constraint. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey
2020	J	`jnl`	Dashed strings for string constraint solving. Artif. Intell. Roberto Amadini, Graeme Gange, Peter J. Stuckey
2020	A	`conf`	String Constraint Solving: Past, Present and Future. ECAI Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2020	J	`jnl`	sunny-as2: Enhancing SUNNY for Algorithm Selection. CoRR Tong Liu, Roberto Amadini, Jacopo Mauro, Maurizio Gabbrielli
2019	B	`conf`	Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	A	`conf`	Propagating Regular Membership with Dashed Strings. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey
2018	B	`conf`	Propagating lex, find and replace with Dashed Strings. CPAIOR Roberto Amadini, Graeme Gange, Peter J. Stuckey
2018	J	`jnl`	Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
2018	J	`jnl`	SUNNY-CP and the MiniZinc challenge. Theory Pract. Log. Program. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2018	A*	`conf`	Sweep-Based Propagation for String Constraint Solving. AAAI Roberto Amadini, Graeme Gange, Peter J. Stuckey
2017	A	`conf`	A Novel Approach to String Constraint Solving. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack
2017	—	`conf`	Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
2017	—	`conf`	SUNNY with Algorithm Configuration. OASC Tong Liu, Roberto Amadini, Jacopo Mauro
2017	J	`jnl`	SUNNY-CP and the MiniZinc Challenge. CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2016	J	`jnl`	An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. Int. J. Interact. Multim. Artif. Intell. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2016	C	`conf`	MiniZinc with Strings. LOPSTR Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
2016	J	`jnl`	MiniZinc with Strings. CoRR Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
2016	—	`conf`	Parallelizing Constraint Solvers for Hard RCPSP Instances. LION Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2016	J	`jnl`	Portfolio approaches for constraint optimization problems. Ann. Math. Artif. Intell. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2015	A*	`conf`	A Multicore Tool for Constraint Solving. IJCAI Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2015	B	`conf`	Feature Selection for SUNNY: A Study on the Algorithm Selection Library. ICTAI Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2015	—	`—`	Portfolio Approaches in Constraint Programming. (Portfolio approches dans la Programmation par contraintes). Roberto Amadini
2015	J	`jnl`	Portfolio approaches in constraint programming. Constraints An Int. J. Roberto Amadini
2015	—	`conf`	SUNNY for algorithm selection: a preliminary study. CILC Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2015	J	`jnl`	SUNNY-CP 2: a Parallel CP Portfolio Solver. CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2015	Misc	`conf`	SUNNY-CP: a sequential CP portfolio solver. SAC Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2015	C	`conf`	Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. LOPSTR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	Misc	`conf`	An enhanced features extractor for a portfolio of constraint solvers. SAC Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	—	`conf`	Portfolio Approaches for Constraint Optimization Problems. LION Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	J	`jnl`	SUNNY: a Lazy Portfolio Approach for Constraint Solving. Theory Pract. Log. Program. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	A	`conf`	Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. CP Roberto Amadini, Peter J. Stuckey
2013	J	`jnl`	A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. Int. J. Interact. Multim. Artif. Intell. Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli
2013	B	`conf`	An Empirical Evaluation of Portfolios Approaches for Solving CSPs. CPAIOR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2013	J	`jnl`	Evaluation and Application of Portfolio Approaches in Constraint Programming. Theory Pract. Log. Program. Roberto Amadini
2013	Misc	`conf`	Fast Post-Disaster Emergency Vehicle Scheduling. DCAI Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli
2013	J	`jnl`	Features for Building CSP Portfolio Solvers. CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2013	J	`jnl`	SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2012	J	`jnl`	An Empirical Evaluation of Portfolios Approaches for solving CSPs CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro