Sfoglia per Autore
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
2019 Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J.
Federated Platooning: Insider Threats and Mitigations
2019 Callegati, Franco; Giallorenzo, Saverio; Gabbrielli, Maurizio; Melis, Andrea; Prandini, Marco
No more, no less: A formal model for serverless computing
2019 Gabbrielli M.; Giallorenzo S.; Lanese I.; Montesi F.; Peressotti M.; Zingaro S.P.
Joint Post-proceedings of the First and Second International Conference on Microservices (Microservices 2017/2019)
2020 Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
A Formal Approach to Microservice Architecture Deployment
2020 Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavattaro
A Survey on Microservices Security: Preliminary Findings
2020 Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service
2020 Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation
2020 Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal
2021 Giallorenzo, Saverio; Mauro, Jacopo; Poulsen, Martin Gyde; Siroky, Filip
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
2021 Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F.; Sachweh S.
Microservice Dynamic Architecture-Level Deployment Orchestration
2021 Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G.
Multiparty Languages: The Choreographic and Multitier Cases
2021 Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; David Richter; Guido Salvaneschi; Pascal Weisenburger
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling
2022 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Ephemeral data handling in microservices with Tquery
2022 Giallorenzo, Saverio; Montesi, Fabrizio; Safina, Larisa; Zingaro, Stefano Pio
Microservice security: a systematic literature review
2022 Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini
Proactive-Reactive Global Scaling, with Analytics
2022 Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs
2022 Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F.
JoT: A Jolie Framework for Testing Microservices
2023 Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F.; Unwerawattana N.
Serverless Scheduling Policies based on Cost Analysis
2023 De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Formally Verifying Function Scheduling Properties in Serverless Applications
2023 Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies | Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J. | 2019-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | postPrintWithPreface.pdf |
Federated Platooning: Insider Threats and Mitigations | Callegati, Franco; Giallorenzo, Saverio; Gabbrielli, Maurizio; Melis, Andrea; Prandini, Marco | 2019-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
No more, no less: A formal model for serverless computing | Gabbrielli M.; Giallorenzo S.; Lanese I.; Montesi F.; Peressotti M.; Zingaro S.P. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
Joint Post-proceedings of the First and Second International Conference on Microservices (Microservices 2017/2019) |
Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher..., Sabine Sachweh |
2020-01-01 | - | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 3.02 Curatela | oasics-vol078-microservices2017-2019-complete.pdf |
A Formal Approach to Microservice Architecture Deployment |
Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavat...taro |
2020-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | main.pdf |
A Survey on Microservices Security: Preliminary Findings |
Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi |
2020-01-01 | - | - | 4.02 Riassunto (Abstract) | - |
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service |
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro |
2020-01-01 | - | Schloss Dagstuhl--Leibniz-Zentrum f{"u}r Informatik | 4.01 Contributo in Atti di convegno | dip2020.pdf |
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation |
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro |
2020-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | icsoc2020.pdf |
Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal | Giallorenzo, Saverio; Mauro, Jacopo; Poulsen, Martin Gyde; Siroky, Filip | 2021-01-01 | SN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | main.pdf |
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices | Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F.; Sachweh S. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | coordination2021_jl.pdf |
Microservice Dynamic Architecture-Level Deployment Orchestration | Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | coordination2021_md.pdf |
Multiparty Languages: The Choreographic and Multitier Cases | Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; David Richter; Guido Salvaneschi; Pascal... Weisenburger | 2021-01-01 | - | Schloss Dagstuhl | 4.01 Contributo in Atti di convegno | ecoop2021.pdf |
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling | De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | icws2022.pdf |
Ephemeral data handling in microservices with Tquery | Giallorenzo, Saverio; Montesi, Fabrizio; Safina, Larisa; Zingaro, Stefano Pio | 2022-01-01 | PEERJ. COMPUTER SCIENCE. | - | 1.01 Articolo in rivista | peerj2022b.pdf |
Microservice security: a systematic literature review | Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini | 2022-01-01 | PEERJ. COMPUTER SCIENCE. | - | 1.01 Articolo in rivista | peerj-cs-779.pdf |
Proactive-Reactive Global Scaling, with Analytics | Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro,... Stefano Pio Zingaro | 2022-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | icsoc2022.pdf |
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs | Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F. | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
JoT: A Jolie Framework for Testing Microservices | Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F.; Unwerawattana N. | 2023-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | coordination2023.pdf |
Serverless Scheduling Policies based on Cost Analysis | De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavatta...ro, Gianluigi | 2023-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | ticsa2023.pdf |
Formally Verifying Function Scheduling Properties in Serverless Applications | Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2023-01-01 | IT PROFESSIONAL | - | 1.01 Articolo in rivista | 10411728.pdf |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile