| SUNNY: a lazy portfolio approach for constraint solving R Amadini, M Gabbrielli, J Mauro Theory and Practice of Logic Programming 14 (4-5), 509-524, 2014 | 95 | 2014 |
| Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and computation 239, 100-121, 2014 | 90 | 2014 |
| Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Logical Methods in Computer Science 13, 2017 | 75 | 2017 |
| Microservice security: a systematic literature review D Berardi, S Giallorenzo, J Mauro, A Melis, F Montesi, M Prandini PeerJ Computer Science 8, e779, 2022 | 69 | 2022 |
| Self-reconfiguring microservices M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi Theory and Practice of Formal Methods, 194-210, 2016 | 63 | 2016 |
| Automatic deployment of services in the cloud with aeolus blender R Di Cosmo, A Eiche, J Mauro, S Zacchiroli, G Zavattaro, J Zwolakowski International Conference on Service-Oriented Computing, 397-411, 2015 | 58 | 2015 |
| AIOCJ: A choreographic framework for safe adaptive distributed applications M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli International Conference on Software Language Engineering, 161-170, 2014 | 58 | 2014 |
| A multicore tool for constraint solving R Amadini, M Gabbrielli, J Mauro arXiv preprint arXiv:1502.03986, 2015 | 57 | 2015 |
| Context aware reconfiguration in software product lines J Mauro, M Nieke, C Seidl, IC Yu Proceedings of the 10th International Workshop on Variability Modelling of …, 2016 | 54 | 2016 |
| Zephyrus2: on the fly deployment optimization using SMT and CP technologies E Ábrahám, F Corzilius, EB Johnsen, G Kremer, J Mauro International Symposium on Dependable Software Engineering: Theories, Tools …, 2016 | 50 | 2016 |
| Portfolio approaches for constraint optimization problems R Amadini, M Gabbrielli, J Mauro Annals of Mathematics and Artificial Intelligence 76 (1), 229-246, 2016 | 49 | 2016 |
| An empirical evaluation of portfolios approaches for solving CSPs R Amadini, M Gabbrielli, J Mauro International Conference on Integration of Constraint Programming …, 2013 | 48 | 2013 |
| Dynamic choreographies: Safe runtime updates of distributed applications M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro International Conference on Coordination Languages and Models, 67-82, 2015 | 47 | 2015 |
| SMT-based variability analyses in FeatureIDE J Sprey, C Sundermann, S Krieter, M Nieke, J Mauro, T Thüm, I Schaefer Proceedings of the 14th International Working Conference on Variability …, 2020 | 46 | 2020 |
| SUNNY-CP: a sequential CP portfolio solver R Amadini, M Gabbrielli, J Mauro Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1861-1867, 2015 | 43 | 2015 |
| Anomaly analyses for feature-model evolution M Nieke, J Mauro, C Seidl, T Thüm, IC Yu, F Franzke ACM SIGPLAN Notices 53 (9), 188-201, 2018 | 42 | 2018 |
| Optimal and automated deployment for microservices M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro International Conference on Fundamental Approaches to Software Engineering …, 2019 | 40 | 2019 |
| An enhanced features extractor for a portfolio of constraint solvers R Amadini, M Gabbrielli, J Mauro Proceedings of the 29th annual ACM symposium on applied computing, 1357-1359, 2014 | 37 | 2014 |
| Allocation priority policies for serverless function-execution scheduling optimisation G De Palma, S Giallorenzo, J Mauro, G Zavattaro International Conference on Service-Oriented Computing, 416-430, 2020 | 36 | 2020 |
| A planning tool supporting the deployment of cloud applications TA Lascu, J Mauro, G Zavattaro 2013 IEEE 25th International Conference on Tools with Artificial …, 2013 | 36 | 2013 |
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
