No photo of Matteo Trentin

View Scopus Profile

Matteo Trentin

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

Fingerprint

Dive into the research topics where Matteo Trentin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Researchers
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 4 Article in proceedings
  • 1 Book chapter
  • 1 Journal article
  • 1 Conference article

  • 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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

  • 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

  • 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
    16 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
    18 Downloads (Pure)
View all 7 research outputs