Filter
Book chapter

Search results

  • 2025

    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 proceedingBook chapterResearchpeer-review

  • 2024

    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 proceedingBook chapterResearchpeer-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 proceedingBook chapterCommunication

  • 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 proceedingBook chapterResearchpeer-review

  • 2018

    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 proceedingBook chapterResearchpeer-review

  • 2017

    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 proceedingBook chapterResearchpeer-review

    Open Access
  • 2016

    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 proceedingBook chapterResearch