| Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and Computation 239, 100-121, 2014 | 78 | 2014 |
| 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 | 77 | 2014 |
| Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Logical Methods in Computer Science 13, 2017 | 62 | 2017 |
| Self-reconfiguring microservices M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016 | 60 | 2016 |
| A multicore tool for constraint solving R Amadini, M Gabbrielli, J Mauro arXiv preprint arXiv:1502.03986, 2015 | 53 | 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 | 52 | 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 | 52 | 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 | 52 | 2014 |
| Portfolio approaches for constraint optimization problems R Amadini, M Gabbrielli, J Mauro Annals of Mathematics and Artificial Intelligence 76, 229-246, 2016 | 47 | 2016 |
| Dynamic choreographies: Safe runtime updates of distributed applications M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Coordination Models and Languages: 17th IFIP WG 6.1 International Conference …, 2015 | 44 | 2015 |
| An empirical evaluation of portfolios approaches for solving CSPs R Amadini, M Gabbrielli, J Mauro Integration of AI and OR Techniques in Constraint Programming for …, 2013 | 44 | 2013 |
| 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 | 42 | 2016 |
| 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 | 37 | 2015 |
| 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 | 34 | 2014 |
| Optimal and automated deployment for microservices M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro Fundamental Approaches to Software Engineering: 22nd International …, 2019 | 31 | 2019 |
| 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 | 31 | 2018 |
| 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 | 31 | 2013 |
| Context-aware reconfiguration in evolving software product lines J Mauro, M Nieke, C Seidl, IC Yu Science of Computer Programming 163, 139-159, 2018 | 26 | 2018 |
| Microservice security: a systematic literature review D Berardi, S Giallorenzo, J Mauro, A Melis, F Montesi, M Prandini PeerJ Computer Science 8, e779, 2022 | 25 | 2022 |
| 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 | 23 | 2020 |
Maurizio GabbrielliProfessor of Computer Science, University of Bologna在 cs.unibo.it 的电子邮件经过验证
