Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Montesi, Fabrizio
209  Ergebnisse:
Personensuche X
?
1

$$\mu $$XL: explainable lead generation with microservices ..:

Cruz-Filipe, Luís ; Kostopoulou, Sofia ; Montesi, Fabrizio.
Computing.  , 2024
Link: https://doi.org/10.1007/..
 
?
2

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/..
 
?
3

Introduction to choreographies:

Montesi, Fabrizio , 2023
Link: https://doi.org/10.1017/..
 
?
4

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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

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/..
 
?
8

$$\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/..
 
?
9

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/..
 
?
10

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/..
 
?
11

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/..
 
?
12

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/..
 
?
13

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/..
 
?
14

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/..
 
?
15

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/..
 
1-15