Segui
Jacopo Mauro
Titolo
Citata da
Citata da
Anno
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
682014
Aeolus: A component model for the cloud
R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro
Information and Computation 239, 100-121, 2014
672014
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
arXiv preprint arXiv:1502.03986, 2015
522015
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
512016
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli
Software Language Engineering: 7th International Conference, SLE 2014 …, 2014
492014
Dynamic choreographies: Theory and implementation
MD Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
arXiv preprint arXiv:1611.09067, 2016
482016
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
482016
Portfolio approaches for constraint optimization problems
R Amadini, M Gabbrielli, J Mauro
Annals of Mathematics and Artificial Intelligence 76, 229-246, 2016
472016
Automatic deployment of services in the cloud with aeolus blender
R Di Cosmo, A Eiche, J Mauro, S Zacchiroli, G Zavattaro, J Zwolakowski
Service-Oriented Computing: 13th International Conference, ICSOC 2015, Goa …, 2015
452015
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
442015
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
402013
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
342015
Zephyrus2: on the fly deployment optimization using SMT and CP technologies
E Ábrahám, F Corzilius, EB Johnsen, G Kremer, J Mauro
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
322016
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
312014
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
282013
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
242018
Optimal and automated deployment for microservices
M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro
Fundamental Approaches to Software Engineering: 22nd International …, 2019
232019
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 2018
212018
Towards global and local types for adaptation
M Bravetti, M Carbone, T Hildebrandt, I Lanese, J Mauro, JA Pérez, ...
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014
192014
Aeolus: Mastering the complexity of cloud application deployment
M Catan, R Di Cosmo, A Eiche, TA Lascu, M Lienhardt, J Mauro, ...
Service-Oriented and Cloud Computing: Second European Conference, ESOCC 2013 …, 2013
192013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20