Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Filtrer
Kapitel i bog

Søgeresultater

  • 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 Publishing Company, s. 183-208

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogFormidling

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

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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-Verlag London Ltd, s. 107-121 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10865 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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-proceedingKapitel i bogForskningpeer 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-proceedingKapitel i bogForskning