Jacopo Mauro
Title
Cited by
Cited by
Year
Aeolus: A component model for the cloud
R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro
Information and Computation 239, 100-121, 2014
582014
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
582014
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
arXiv preprint arXiv:1502.03986, 2015
462015
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
462014
Self-reconfiguring microservices
M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi
Theory and Practice of Formal Methods, 194-210, 2016
442016
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
412015
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
412015
Portfolio approaches for constraint optimization problems
R Amadini, M Gabbrielli, J Mauro
International Conference on Learning and Intelligent Optimization, 21-35, 2014
412014
Context aware reconfiguration in software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Proceedings of the Tenth International Workshop on Variability Modelling of …, 2016
392016
An empirical evaluation of portfolios approaches for solving csps
R Amadini, M Gabbrielli, J Mauro
International Conference on AI and OR Techniques in Constriant Programming …, 2013
372013
Dynamic choreographies: Theory and implementation
MD Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
arXiv preprint arXiv:1611.09067, 2016
342016
Dynamic choreographies
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
International Conference on Coordination Languages and Models, 67-82, 2015
342015
Dynamic choreographies
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
International Conference on Coordination Languages and Models, 67-82, 2015
342015
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
262015
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
252014
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
252013
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
242016
Towards global and local types for adaptation
M Bravetti, M Carbone, T Hildebrandt, I Lanese, J Mauro, JA Pérez, ...
International Conference on Software Engineering and Formal Methods, 3-14, 2013
192013
Aeolus: Mastering the complexity of cloud application deployment
M Catan, R Di Cosmo, A Eiche, TA Lascu, M Lienhardt, J Mauro, ...
European Conference on Service-Oriented and Cloud Computing, 1-3, 2013
182013
Automatic application deployment in the cloud: from practice to theory and back
R Di Cosmo, M Lienhardt, J Mauro, S Zacchiroli, G Zavattaro, ...
Proceedings of 26th International Conference on Concurrency Theory (CONCUR …, 2015
172015
The system can't perform the operation now. Try again later.
Articles 1–20