[go: up one dir, main page]

Follow
Jacopo Mauro
Title
Cited by
Cited by
Year
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
952014
Aeolus: A component model for the cloud
R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro
Information and computation 239, 100-121, 2014
902014
Dynamic choreographies: Theory and implementation
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Logical Methods in Computer Science 13, 2017
752017
Microservice security: a systematic literature review
D Berardi, S Giallorenzo, J Mauro, A Melis, F Montesi, M Prandini
PeerJ Computer Science 8, e779, 2022
692022
Self-reconfiguring microservices
M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi
Theory and Practice of Formal Methods, 194-210, 2016
632016
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
582015
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
582014
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
arXiv preprint arXiv:1502.03986, 2015
572015
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
542016
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
502016
Portfolio approaches for constraint optimization problems
R Amadini, M Gabbrielli, J Mauro
Annals of Mathematics and Artificial Intelligence 76 (1), 229-246, 2016
492016
An empirical evaluation of portfolios approaches for solving CSPs
R Amadini, M Gabbrielli, J Mauro
International Conference on Integration of Constraint Programming …, 2013
482013
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
472015
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
462020
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
432015
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
422018
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
402019
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
372014
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
362020
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
362013
The system can't perform the operation now. Try again later.
Articles 1–20