Intet billede af Matteo Trentin

Vis Scopus-profil

Matteo Trentin

 https://orcid.org/0000-0003-3305-2758

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Matteo Trentin er aktiv. Disse emneordskoncepter kommer fra denne persons arbejde. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler
Se fuldt fingerprint

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere
  • 4 Konferencebidrag i proceedings
  • 1 Kapitel i bog
  • 1 Tidsskriftartikel
  • 1 Konferenceartikel

  • 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. (red.). Springer Science+Business Media, s. 306-321 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15219 LNCS).

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

  • Towards a Framework for Transitioning from Monolith to Serverless

    De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M. & Vjerdha, G., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science+Business Media, s. 167-182 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15240 LNCS).

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

  • 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. (red.). Springer Science+Business Media, s. 201-218 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14676 LNCS).

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

  • 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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 5:1-5:16 5. (Open Access Series in Informatics, Bind 111).

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

    Åben adgang
    Fil
    16 Downloads (Pure)

  • Formally Verifying Function Scheduling Properties in Serverless Applications

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    18 Downloads (Pure)
Se alle 7 publikationer