E-LIB Suche - Ergebnisse für: Montesi, Fabrizio

1

Alice or Bob?: Process polymorphism in choreographies:

GRAVERSEN, EVA ; HIRSCH, ANDREW K. ; MONTESI, FABRIZIO
Journal of Functional Programming. 34 (2024) - p. , 2024

Link: https://doi.org/10.1017/..

2

Introduction to choreographies:

Montesi, Fabrizio , 2023

Link: https://doi.org/10.1017/..

3

Reasoning About Choreographic Programs:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Cruz-Filipe, Luís ; Graversen, Eva ; Montesi, Fabrizio. - p. 144-162 , 2023

Link: https://doi.org/10.1007/..

4

LEMMA2Jolie: A tool to generate microservice APIs from doma..:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.
Science of Computer Programming. 228 (2023) - p. 102956 , 2023

Link: https://doi.org/10.1016/..

5

A Formal Theory of Choreographic Programming:

Cruz-Filipe, Luís ; Montesi, Fabrizio ; Peressotti, Marco
Journal of Automated Reasoning. 67 (2023) 2 - p. , 2023

Link: https://doi.org/10.1007/..

6

$$\mu $$XL: Explainable Lead Generation with Microservices ..:

, In: Service-Oriented and Cloud Computing; Lecture Notes in Computer Science,

Cruz-Filipe, Luís ; Kostopoulou, Sofia ; Montesi, Fabrizio. - p. 3-18 , 2023

Link: https://doi.org/10.1007/..

7

Certified Compilation of Choreographies with hacc:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Cruz-Filipe, Luís ; Lugović, Lovro ; Montesi, Fabrizio - p. 29-36 , 2023

Link: https://doi.org/10.1007/..

8

JoT: A Jolie Framework for Testing Microservices:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.. - p. 172-191 , 2023

Link: https://doi.org/10.1007/..

9

Choral: Object-Oriented Choreographic Programming:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco
ACM Transactions on Programming Languages and Systems. , 2023

Link: https://doi.org/10.1145/..

10

Microservice security: a systematic literature review:

Berardi, Davide ; Giallorenzo, Saverio ; Mauro, Jacopo...
PeerJ Computer Science. 7 (2022) - p. e779 , 2022

Link: https://doi.org/10.7717/..

11

Functional Choreographic Programming:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Cruz-Filipe, Luís ; Graversen, Eva ; Lugović, Lovro.. - p. 212-237 , 2022

Link: https://doi.org/10.1007/..

12

Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 Euro..

Lecture Notes in Computer Science, 13226

Montesi, Fabrizio ; Papadopoulos, George Angelos ; Zimmermann, Wolf - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

13

Model-Driven Generation of Microservice Interfaces: From LE..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco. - p. 223-240 , 2022

Link: https://doi.org/10.1007/..

14

Ephemeral data handling in microservices with Tquery:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Safina, Larisa.
PeerJ Computer Science. 8 (2022) - p. e1037 , 2022

Link: https://doi.org/10.7717/..

15

From Infinity to Choreographies: Extraction for Unbounded S..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Kjær, Bjørn Angel ; Cruz-Filipe, Luís ; Montesi, Fabrizio - p. 103-120 , 2022

Link: https://doi.org/10.1007/..