No photo of Jacopo Mauro

View Scopus Profile

Jacopo Mauro

 https://orcid.org/0000-0002-5285-2868
  • 51 Article in proceedings
  • 18 Journal article
  • 7 Book chapter
  • 3 Conference article

Search results

  • 2025

    Function-as-a-Service Allocation Policies Made Formal

    Palma, G. D., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2025, Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science+Business Media, p. 306-321 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15219 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Towards a Framework for Transitioning from Monolith to Serverless

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Vjerdha, G., 2025, The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday. Hinchey, M. & Steffen, B. (eds.). Springer Science+Business Media, p. 167-182 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15240 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • 2024

    An OpenWhisk Extension for Topology-Aware Allocation Priority Policies

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2024, Proceedings of Coordination Models and Languages . Castellani, I. & Tiezzi, F. (eds.). Springer Science+Business Media, p. 201-218 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14676 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Choreography-Defined Networks: A Case Study on DoS Mitigation

    Giallorenzo, S., Mauro, J., Melis, A., Montesi, F., Peressotti, M. & Prandini, M., 2024, Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. Gaaloul, W., Sheng, M., Yu, Q. & Yangui, S. (eds.). Springer Science+Business Media, Vol. 15405. p. 243-259 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15405 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • FunLess: Functions-as-a-Service for Private Edge Cloud Systems

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., Oct 2024, Proceedings - 2024 IEEE International Conference on Web Services, ICWS 2024. Chang, R. N., Chang, C. K., Jiang, Z., Yang, J., Jin, Z., Sheng, M., Fan, J., Fletcher, K. K., He, Q., He, Q., Ardagna, C., Yang, J., Yin, J., Wang, Z., Beheshti, A., Russo, S., Atukorala, N., Wu, J., Yu, P. S., Ludwig, H., Reiff-Marganiec, S., Zhang, E., Sailer, A., Bena, N., Li, K., Watanabe, Y., Zhao, T., Wang, S., Tu, Z., Wang, Y. & Wei, K. (eds.). IEEE, p. 961-967

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Integrated Timed Architectural Modeling/Execution Language

    Bacchiani, L., Bravetti, M., Giallorenzo, S., Mauro, J. & Zavattaro, G., 2024, Active Object Languages: Current Research Trends. de Boer, F., Damiani, F., Hähnle, R., Johnsen, E. B. & Kamburjan, E. (eds.). Springer, p. 169-198 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14360 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2024, (E-pub ahead of print) In: IEEE Internet Computing.

    Research output: Contribution to journal › Journal article › Research › peer-review

  • 2023

    Custom Serverless Function Scheduling Policies: An APP Tutorial

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2023, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Dorai, G., Gabbrielli, M., Manzonetto, G., Osmani, A., Prandini, M., Zavattaro, G. & Zimmermann, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 5:1-5:16 5. (Open Access Series in Informatics, Vol. 111).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    22 Downloads (Pure)

  • Formally Verifying Function Scheduling Properties in Serverless Applications

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2023, In: IT Professional. 25, 6, p. 94-99

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)

  • On the Evaluation of (Meta-)solver Approaches

    Amadini, R., Gabbrielli, M., Liu, T. & Mauro, J., 17. Mar 2023, In: Journal of Artificial Intelligence Research. 76, p. 705-719

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    24 Downloads (Pure)

  • Serverless Scheduling Policies based on Cost Analysis

    De Palma, G., Giallorenzo, S., Laneve, C., Mauro, J., Trentin, M. & Zavattaro, G., 31. Oct 2023, In: Electronic Proceedings in Theoretical Computer Science. 392, p. 40-52 13 p.

    Research output: Contribution to journal › Conference article › Research › peer-review

    Open Access
    File
    11 Downloads (Pure)
  • 2022

    A declarative approach to topology - aware serverless function-execution scheduling

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2022, Proceedings - IEEE International Conference on Web Services, ICWS 2022. Ardagna, C. A., Atukorala, N., Benatallah, B., Bouguettaya, A., Casati, F., Chang, C. K., Chang, R. N., Damiani, E., Guegan, C. G., Ward, R., Xhafa, F., Xu, X. & Zhang, J. (eds.). IEEE, p. 337-342

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Microservice security: a systematic literature review

    Berardi, D., Giallorenzo, S., Mauro, J., Melis, A., Montesi, F. & Prandini, M., 2022, In: PeerJ Computer Science. 8, e779.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    401 Downloads (Pure)

  • Sunny-as2: Enhancing SUNNY for algorithm selection (extended abstract)

    Liu, T., Amadini, R., Gabbrielli, M. & Mauro, J., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. De Raedt, L. (ed.). International Joint Conferences on Artificial Intelligence, p. 5752-5756 (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2021

    Anomaly detection in Context-aware Feature Models

    Mauro, J., 9. Feb 2021, Proceedings - VaMoS 2021: 15th International Working Conference on Variability Modelling of Software-Intensive Systems. Grunbacher, P. (ed.). Association for Computing Machinery, 9 p. 3442405

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Boreas – A Service Scheduler for Optimal Kubernetes Deployment

    Lebesbye, T., Mauro, J., Turin, G. & Yu, I. C., 2021, Service-Oriented Computing - 19th International Conference, ICSOC 2021, Proceedings. Hacid, H., Kao, O., Mecella, M., Moha, N. & Paik, H.-Y. (eds.). Springer Science+Business Media, p. 221-237 (Lecture Notes in Computer Science, Vol. 13121 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    59 Downloads (Pure)

  • Microservice Dynamic Architecture-Level Deployment Orchestration

    Bacchiani, L., Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2021, Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, p. 257-275 (Lecture Notes in Computer Science, Vol. 12717). (Programming and Software Engineering, Vol. 12717).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    35 Downloads (Pure)

  • sunny-as2: Enhancing sunny for algorithm selection

    Liu, T., Amadini, R., Gabbrielli, M. & Mauro, J., 2021, In: Journal of Artificial Intelligence Research. 72, p. 329-376 48 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    27 Downloads (Pure)

  • Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal

    Giallorenzo, S., Mauro, J., Poulsen, M. G. & Siroky, F., Sept 2021, In: SN Computer Science. 2, 5, 404.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    144 Downloads (Pure)

  • Wandering and getting lost: The architecture of an app activating local communities on dementia issues

    Andersen, N. S., Chiarandini, M. & Mauro, J., Jun 2021, Proceedings - 2021 IEEE/ACM 3rd International Workshop on Software Engineering for Healthcare, SEH. IEEE, p. 36-43

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2020

    A Formal Approach to Microservice Architecture Deployment

    Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2020, Microservices: Science and Engineering. Bucchiarone, A., Dragoni, N., Dustdar, S., Lago, P., Mazzara, M., Rivera, V. & Sadovykh, A. (eds.). Cham: Springer, p. 183-208

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication

  • Allocation priority policies for serverless function-execution scheduling optimisation

    De Palma, G., Giallorenzo, S., Mauro, J. & Zavattaro, G., 2020, Service-Oriented Computing - 18th International Conference, ICSOC 2020, Proceedings. Kafeza, E., Benatallah, B., Martinelli, F., Hacid, H., Bouguettaya, A. & Motahari, H. (eds.). Springer, p. 416-430 (Lecture Notes in Computer Science, Vol. 12571).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    66 Downloads (Pure)

  • Lazy product discovery in huge configuration spaces

    Lienhardt, M., Damiani, F., Johnsen, E. B. & Mauro, J., 27. Jun 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. Association for Computing Machinery, p. 1509-1521 3380372

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • SMT-based variability analyses in FeatureIDE

    Sprey, J., Sunderman, C., Krieter, S., Nieke, M., Mauro, J., Thum, T. & Schaefer, I., Feb 2020, Proceedings - VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Cordy, M., Acher, M., Beuche, D. & Saake, G. (eds.). Association for Computing Machinery, 9 p. 6

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2019

    Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies

    Gabbrielli, M., Giallorenzo, S., Lanese, I. & Mauro, J., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, p. 118-138 (Lecture Notes in Computer Science, Vol. 11760).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • On the modeling of optimal and automatized cloud application deployment

    de Gouw, S., Mauro, J. & Zavattaro, G., Oct 2019, In: Journal of Logical and Algebraic Methods in Programming. 107, p. 108-135

    Research output: Contribution to journal › Journal article › Research › peer-review

  • Optimal and automated deployment for microservices

    Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2019, Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 351-368 (Lecture Notes in Computer Science, Vol. 11424).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    107 Downloads (Pure)

  • Special track on microservices, devops, and service-oriented architecture

    Cruz-Filipe, L., Di Nitto, E. & Mauro, J., 8. Apr 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, p. 1224

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Communication

  • 2018

    A Model-Based Scalability Optimization Methodology for Cloud Applications

    Lin, J. C., Mauro, J., Røst, T. B. & Yu, I. C., 13. Mar 2018, Proceedings - 2017 IEEE 7th International Symposium on Cloud and Service Computing, SC2 2017. IEEE, p. 163-170 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Anomaly analyses for feature-model evolution

    Nieke, M., Thüm, T., Mauro, J., Yu, I. C., Seidl, C. & Franzke, F., Nov 2018, GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018. Van Wyk, E. & Rompf, T. (eds.). Association for Computing Machinery, p. 188-201 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Context-aware reconfiguration in evolving software product lines

    Mauro, J., Nieke, M., Seidl, C. & Chieh Yu, I., 2018, In: Science of Computer Programming. 163, p. 139-159

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    392 Downloads (Pure)

  • Release the beasts: When formal methods meet real world data

    Schlatte, R., Johnsen, E. B., Mauro, J., Tapia Tarifa, S. L. & Yu, I. C., 1. Jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 107-121 15 p. (Lecture Notes in Computer Science, Vol. 10865 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • SUNNY-CP and the minizinc challenge

    Amadini, R., Gabbrielli, M. & Mauro, J., Jan 2018, In: Theory and Practice of Logic Programming. 18, 1, p. 1-14 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  • 2017

    Anomaly detection and explanation in context-aware software product lines

    Mauro, J., Nieke, M., Seidl, C. & Yu, I. C., 25. Sept 2017, SPLC 2017 - 21st International Systems and Software Product Line Conference, Proceedings. Cazzola, W., Ruiz-Cortes, A., Benavides, D., La Rosa, M., Lopez-Herrejon, R. E., Thum, T., Troya, J., ter Beek, M. & Diaz, O. (eds.). Association for Computing Machinery / Special Interest Group on Programming Languages, p. 18-21 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Dynamic Choreographies: Theory And Implementation

    Preda, M. D., Gabbrielli, M., Giallorenzo, S., Lanese, I. & Mauro, J., 2017, In: Logical Methods in Computer Science. 13, 2, 57 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access

  • NightSplitter: A scheduling tool to optimize (sub)group activities

    Liu, T., Di Cosmo, R., Gabbrielli, M. & Mauro, J., 2017, Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, J. C. (ed.). Springer, p. 370-386 17 p. (Lecture Notes in Computer Science, Vol. 10416 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Programming Adaptive Microservice Applications: An AIOCJ Tutorial

    Giallorenzo, S., Lanese, I., Mauro, J. & Gabbrielli, M., 2017, Behavioural Types: from Theory to Tools. Gay, S. & Ravara, A. (eds.). River Publishers, p. 147-167

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    Open Access

  • Survival prediction of trauma patients: a study on US National Trauma Data Bank

    Sefrioui, I., Amadini, R., Mauro, J., El Fallahi, A. & Gabbrielli, M., 1. Dec 2017, In: European Journal of Trauma and Emergency Surgery. 43, 6, p. 805-822 18 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  • 2016

    Context aware reconfiguration in Software Product Lines

    Mauro, J., Nieke, M., Seidl, C. & Yu, I. C., 27. Jan 2016, Proceedings - VaMoS 2016: 10th International Workshop on Variability Modelling of Software-Intensive Systems. Alves, V., Schaefer, I. & de Almeida, E. S. (eds.). Association for Computing Machinery / Special Interest Group on Programming Languages, p. 41-48 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Declarative elasticity in ABS

    de Gouw, S., Mauro, J., Nobakht, B. & Zavattaro, G., 1. Jan 2016, Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Proceedings. Aiello, M., Georgievski, I., Johnsen, E. B. & Dustdar, S. (eds.). Springer, p. 118-134 17 p. (Lecture Notes in Computer Science, Vol. 9846 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • On the expressiveness of synchronization in component deployment

    Mauro, J. & Zavattaro, G., 1. Jan 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Johnsen, E. B. & Bonsangue, M. (eds.). Springer, p. 344-359 16 p. (Lecture Notes in Computer Science, Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Parallelizing constraint solvers for hard RCPSP instances

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. Jan 2016, Learning and Intelligent Optimization - 10th International Conference, LION 10, Revised Selected Papers. Festa, P., Sellmann, M. & Vanschoren, J. (eds.). Springer, p. 227-233 7 p. (Lecture Notes in Computer Science, Vol. 10079 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Portfolio approaches for constraint optimization problems

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. Feb 2016, In: Annals of Mathematics and Artificial Intelligence. 76, 1-2, p. 229-246 18 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  • Self-reconfiguring microservices

    Gabbrielli, M., Giallorenzo, S., Guidi, C., Mauro, J. & Montesi, F., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.). Springer, p. 194-210 (Lecture Notes in Computer Science, Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  • User profiles for context-aware reconfiguration in software product lines

    Nieke, M., Mauro, J., Seidl, C. & Yu, I. C., 1. Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer, p. 563-578 16 p. (Lecture Notes in Computer Science, Vol. 9953 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Zephyrus2: On the fly deployment optimization using SMT and CP technologies

    Ábrahám, E., Corzilius, F., Johnsen, E. B., Kremer, G. & Mauro, J., 1. Jan 2016, Dependable Software Engineering: Theories, Tools, and Applications - 2nd International Symposium, SETTA 2016, Proceedings. Franzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 229-245 17 p. (Lecture Notes in Computer Science, Vol. 9984 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2015

    A multicore tool for constraint solving

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. Jan 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 232-238 7 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Automatic application deployment in the cloud: From practice to theory and back

    Di Cosmo, R., Lienhardt, M., Mauro, J., Zacchiroli, S., Zavattaro, G. & Zwolakowski, J., 1. Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-16 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 42).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Automatic deployment of component-based applications

    Lascu, T. A., Mauro, J. & Zavattaro, G., 1. Dec 2015, In: Science of Computer Programming. 113, p. 261-284 24 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access

  • Automatic deployment of services in the cloud with aeolus blender

    Di Cosmo, R., Eiche, A., Mauro, J., Zacchiroli, S., Zavattaro, G. & Zwolakowski, J., 1. Jan 2015, Service-Oriented Computing - 13th International Conference, ICSOC 2015, Proceedings. Barros, A., Narendra, N. C., Grigori, D. & Dam, H. K. (eds.). Springer, 1 p. (Lecture Notes in Computer Science, Vol. 9435).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review