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

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

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

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

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

Label-free detection of miRNAs: role of probe design and bi..:

Novara, Chiara ; Montesi, Daniel ; Bertone, Sofia...
http://arxiv.org/abs/2301.07062.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

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

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

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

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

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

Results from an extended study on the reliability of a ques..:

Borghi, Alessandro ; Guarneri, Fabrizio ; Montesi, Leda...
info:eu-repo/semantics/altIdentifier/pmid/36373985.  , 2023
Link: https://hdl.handle.net/1..
 
?
13

Role of probe design and bioassay configuration in surface ..:

Chiara Novara ; Daniel Montesi ; Sofia Bertone...
info:eu-repo/semantics/altIdentifier/wos/WOS:001038011800001.  , 2023
Link: https://hdl.handle.net/1..
 
?
14

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