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

Ozone: Fully Out-of-Order Choreographies:

Plyukhin, Dan ; Peressotti, Marco ; Montesi, Fabrizio
http://arxiv.org/abs/2401.17403.  , 2024
Link: http://arxiv.org/abs/240..
 
?
2

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

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.scico.2023.102956.  , 2023
Link: https://hal.science/hal-..
 
?
3

Real-World Choreographic Programming: Full-Duplex Asynchron..:

Lugović, Lovro ; Montesi, Fabrizio
http://arxiv.org/abs/2303.03983.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Model-Driven Code Generation for Microservices: Service Mod..:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.
Is Part Of OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022).  , 2023
Link: https://doi.org/10.4230/..
 
?
5

Certified Compilation of Choreographies with hacc:

Cruz-Filipe, Luís ; Lugović, Lovro ; Montesi, Fabrizio
http://arxiv.org/abs/2303.03972.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

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

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.scico.2023.102956.  , 2023
Link: https://hal.science/hal-..
 
?
7

Alice or Bob?: Process Polymorphism in Choreographies:

Graversen, Eva ; Hirsch, Andrew K ; Montesi, Fabrizio
http://arxiv.org/abs/2303.04678.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Choral: Object-Oriented Choreographic Programming:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco
info:eu-repo/semantics/altIdentifier/doi/10.1145/3632398.  , 2023
Link: https://hal.science/hal-..
 
?
9

Modular Choreographies: Bridging Alice and Bob Notation to ..:

Cruz-Filipe, Luís ; Madsen, Anne ; Montesi, Fabrizio.
Is Part Of OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022).  , 2023
Link: https://doi.org/10.4230/..
 
?
10

Reasoning about Choreographic Programs:

Cruz-Filipe, Luís ; Graversen, Eva ; Montesi, Fabrizio.
http://arxiv.org/abs/2304.14539.  , 2023
Link: http://arxiv.org/abs/230..
 
?
11

Now It Compiles! Certified Automatic Repair of Uncompilable..:

Cruz-Filipe, Luís ; Montesi, Fabrizio
http://arxiv.org/abs/2302.14622.  , 2023
Link: http://arxiv.org/abs/230..
 
?
12

LEMMA2Jolie, COORDINATION 2022 Demo:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.
doi:10.5281/zenodo.7547046.  , 2023
Link: https://zenodo.org/recor..
 
?
13

Choral: Object-Oriented Choreographic Programming:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco
info:eu-repo/semantics/altIdentifier/doi/10.1145/3632398.  , 2023
Link: https://hal.science/hal-..
 
?
14

JoT: A Jolie Framework for Testing Microservices:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-35361-1_10.  , 2023
Link: https://hal.science/hal-..
 
?
15

JoT: A Jolie Framework for Testing Microservices:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-35361-1_10.  , 2023
Link: https://hal.science/hal-..
 
1-15