Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

37 résultats
Page :
triés par
Image document

Linguistic Abstractions for Interoperability of IoT Platforms

 Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Stefano Pio Zingaro
Towards Integrated Web, Mobile, and IoT Technology, pp.83-114, 2019, ⟨10.1007/978-3-030-28430-5_5⟩
Chapitre d'ouvrage hal-02383918v1
Image document

Data Security Issues in MaaS-enabling Platforms

 Franco Callegati , Saverio Giallorenzo , Andrea Melis , Marco Prandini
International Forum on Research and Technologies for Society and Industry, Sep 2016, Bologna, Italy
Communication dans un congrès hal-01336700v1
Image document

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies

 Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019, ⟨10.1007/978-3-030-31175-9_8⟩
Chapitre d'ouvrage hal-02376243v1
Image document

Microservice security: a systematic literature review

 Davide Berardi , Saverio Giallorenzo , Jacopo Mauro , Andrea Melis , Fabrizio Montesi , et al.
PeerJ Computer Science, 2022, 7, pp.e779. ⟨10.7717/peerj-cs.779⟩
Article dans une revue hal-03915125v1
Image document

Towards a Composition-based APIaaS Layer

 Claudio Guidi , Saverio Giallorenzo , Maurizio Gabbrielli
CLOSER 2014, Apr 2015, Barcelona, Spain. ⟨10.1007/978-3-319-07593-8_17⟩
Communication dans un congrès hal-01090125v1
Image document

Choral: Object-Oriented Choreographic Programming

 Saverio Giallorenzo , Fabrizio Montesi , Marco Peressotti
ACM Transactions on Programming Languages and Systems (TOPLAS), 2023, ⟨10.1145/3632398⟩
Article dans une revue hal-04316324v1
Image document

Dynamic Choreographies: Theory And Implementation

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
Logical Methods in Computer Science, 2017, 13, pp.1 - 57. ⟨10.23638/LMCS-13(2:1)2017⟩
Article dans une revue hal-01631394v1
Image document

Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs

 Saverio Giallorenzo , Fabrizio Montesi , Marco Peressotti , Florian Rademacher
24th IFIP WG 6.1 International Conference, 17th International Federated Conference on Distributed Computing Techniques (DisCoTec 2022), Jun 2022, Lucca, Italy. pp.223-240, ⟨10.1007/978-3-031-08143-9_13⟩
Communication dans un congrès hal-03915132v1
Image document

A Language-based Approach for Interoperability of IoT Platforms

 Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Stefano Pio Zingaro
Hawaii International Conference on System Science, Nov 2018, Waikoloa Village, United States
Communication dans un congrès hal-01912958v1
Image document

Proactive-Reactive Global Scaling, with Analytics

 Lorenzo Bacchiani , Mario Bravetti , Maurizio Gabbrielli , Saverio Giallorenzo , Gianluigi Zavattaro , et al.
ICSOC 2022 - International Conference on Service-Oriented Computing, Nov 2022, Seville, Spain. pp.18, ⟨10.1007/978-3-031-20984-0_16⟩
Communication dans un congrès hal-03915139v1
Image document

No More, No Less - A Formal Model for Serverless Computing

 Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Fabrizio Montesi , Marco Peressotti , et al.
COORDINATION 2019 - 21th International Conference on Coordination Languages and Models, Jun 2019, Kongens Lyngby, Denmark. pp.148-157, ⟨10.1007/978-3-030-22397-7_9⟩
Communication dans un congrès hal-02365509v1
Image document

Microservice Dynamic Architecture-Level Deployment Orchestration

 Lorenzo Bacchiani , Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , et al.
COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.257-275, ⟨10.1007/978-3-030-78142-2_16⟩
Communication dans un congrès hal-03338602v1
Image document

Insider Threats in Emerging Mobility-as-a-Service Scenarios

 Franco Callegati , Saverio Giallorenzo , Andrea Melis , Marco Prandini
HICSS 2017 - 50th annual Hawaii International Conference on System Science, Jan 2017, Hilton Waikoloa Village, United States
Communication dans un congrès hal-01631388v1
Image document

Smart Mobility for All: A Global Federated Market for Mobility-as-a-Service Operators

 Franco Callegati , Maurizio Gabbrielli , Saverio Giallorenzo , Andrea Melis , Marco Prandini
ITSC2017- 20th International Conference on Intelligent Transportation , Oct 2017, Yokohama, Japan
Communication dans un congrès hal-01631427v1
Image document

Constraint programming for flexible Service Function Chaining deployment

 Tong Liu , Franco Callegati , Walter Cerroni , Chiara Contoli , Maurizio Gabbrielli , et al.
HICS 2019 - 52nd Hawaii International Conference on System Sciences, Jan 2019, Maui, United States
Communication dans un congrès hal-02395208v1
Image document

Developing correct, distributed, adaptive software

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
Science of Computer Programming, 2015, ⟨10.1016/j.scico.2013.11.019⟩
Article dans une revue hal-01227610v1
Image document

Real-World Choreographies

 Saverio Giallorenzo
Distributed, Parallel, and Cluster Computing [cs.DC]. Università degli studi di Bologna, 2016. English. ⟨NNT : ⟩
Thèse tel-01336757v1
Image document

Multiparty Languages: The Choreographic and Multitier Cases

 Saverio Giallorenzo , Fabrizio Montesi , Marco Peressotti , David Richter , Guido Salvaneschi , et al.
ECOOP 2021 - European Conference on Object-Oriented Programming, Jul 2021, Aarhus, Denmark. ⟨10.4230/LIPIcs.ECOOP.2021.23⟩
Communication dans un congrès hal-03337915v1
Image document

Ephemeral data handling in microservices with Tquery

 Saverio Giallorenzo , Fabrizio Montesi , Larisa Safina , Stefano Pio Zingaro
PeerJ Computer Science, 2022, 8, pp.e1037. ⟨10.7717/peerj-cs.1037⟩
Article dans une revue hal-03915136v1
Image document

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

 Saverio Giallorenzo , Ivan Lanese , Fabrizio Montesi , Davide Sangiorgi , Stefano Pio Zingaro
Recent Developments in the Design and Implementation of Programming Languages, Nov 2020, Bologna, Italy. ⟨10.4230/OASIcs.Gabbrielli.2020.5⟩
Communication dans un congrès hal-03076904v1
Image document

Ranflood: A mitigation tool based on the principles of data flooding against ransomware

 Davide Berardi , Saverio Giallorenzo , Andrea Melis , Simone Melloni , Marco Prandini
SoftwareX, 2024, 25, pp.101605. ⟨10.1016/j.softx.2023.101605⟩
Article dans une revue hal-04362711v1
Image document

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

 Mila Dalla Preda , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro , Maurizio Gabbrielli
SLE 2014, Sep 2014, Västerås, Sweden. pp.161 - 170, ⟨10.1007/978-3-319-11245-9_9⟩
Communication dans un congrès hal-01089187v1
Image document

A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling

 Giuseppe de Palma , Saverio Giallorenzo , Jacopo Mauro , Matteo Trentin , Gianluigi Zavattaro
2022 IEEE ICWS - International Conference on Web Services, Jul 2022, Barcelona, Spain. pp.337-342, ⟨10.1109/ICWS55610.2022.00056⟩
Communication dans un congrès hal-03915134v1
Image document

Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal

 Saverio Giallorenzo , Jacopo Mauro , Martin Gyde Poulsen , Filip Siroky
SN Computer Science, 2021, 2, ⟨10.1007/s42979-021-00781-8⟩
Article dans une revue hal-03337920v1
Image document

Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices

 Saverio Giallorenzo , Fabrizio Montesi , Marco Peressotti , Florian Rademacher , Sabine Sachweh
OORDINATION 2021 - 23th International Conference on Coordination Languages and Models, Jun 2021, Valletta, Malta. pp.276 - 284, ⟨10.1007/978-3-030-78142-2_17⟩
Communication dans un congrès hal-03347326v1
Image document

Ephemeral Data Handling in Microservices

 Saverio Giallorenzo , Fabrizio Montesi , Larisa Safina , Stefano Pio Zingaro
SCC 2019 - IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.234-236, ⟨10.1109/SCC.2019.00048⟩
Communication dans un congrès hal-02400020v1
Image document

Applied Choreographies

 Saverio Giallorenzo , Fabrizio Montesi , Maurizio Gabbrielli
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩
Communication dans un congrès hal-01824812v1
Image document

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Communication dans un congrès hal-01227612v1
Image document

Programming Adaptive Microservice Applications: an AIOCJ Tutorial

 Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro , Maurizio Gabbrielli
Simon Gay; António Ravara. Behavioural Types: from Theory to Tools, River Publishers, 2017
Chapitre d'ouvrage hal-01631422v1
Image document

Microservices: yesterday, today, and tomorrow

 Nicola Dragoni , Saverio Giallorenzo , Alberto Lafuente , Manuel Mazzara , Fabrizio Montesi , et al.
Manuel Mazzara; Bertrand Meyer. Present and Ulterior Software Engineering, Springer, 2017, 978-3-319-67425-4
Chapitre d'ouvrage hal-01631455v1
Page :