Author of the publication

The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.

, , , , and . Gabbrielli's Festschrift, volume 86 of OASIcs, page 5:1-5:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ephemeral Data Handling in Microservices - Technical Report., , , and . CoRR, (2019)A Language-based Approach for Interoperability of IoT Platforms., , , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2018)Microservice Dynamic Architecture-Level Deployment Orchestration., , , , , and . COORDINATION, volume 12717 of Lecture Notes in Computer Science, page 257-275. Springer, (2021)FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures., , , , , , , , , and . CAiSE Research Projects Exhibition, volume 3692 of CEUR Workshop Proceedings, page 69-75. CEUR-WS.org, (2024)A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling., , , , and . ICWS, page 337-342. IEEE, (2022)Function-as-a-Service Allocation Policies Made Formal., , , , and . ISoLA (1), volume 15219 of Lecture Notes in Computer Science, page 306-321. Springer, (2024)Guess Who's Coming: Runtime Inclusion of Participants in Choreographies., , , and . The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 118-138. Springer, (2019)Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices., , , , and . COORDINATION, volume 12717 of Lecture Notes in Computer Science, page 276-284. Springer, (2021)Session details: MADE'18: Second international workshop on microservices: Agile and DevOps experience., , , and . XP Companion, ACM, (2018)On the Complexity of Reachability Properties in Serverless Function Scheduling., , , , and . CoRR, (2024)