Intet billede af Jacopo Mauro

Vis Scopus-profil

Jacopo Mauro

 https://orcid.org/0000-0002-5285-2868
  • 48 Konferencebidrag i proceedings
  • 17 Tidsskriftartikel
  • 6 Kapitel i bog
  • 3 Konferenceartikel
Filter
Kapitel i bog

Søgeresultater

  • 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. (red.). Springer, s. 169-198 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14360 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › 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. (red.). Cham: Springer, s. 183-208

    Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Formidling

  • 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. (red.). Springer, s. 118-138 (Lecture Notes in Computer Science, Bind 11760).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › peer 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, s. 107-121 15 s. (Lecture Notes in Computer Science, Bind 10865 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › peer 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. (red.). River Publishers, s. 147-167

    Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › peer review

    Åben adgang
  • 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. (red.). Springer, s. 194-210 (Lecture Notes in Computer Science, Bind 9660).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning