I agree that this site is using cookies. You can find further informations here.
X
Tuosto, Emilio
197  results:
Search for persons X
?
1

SEArch: An Execution Infrastructure for Service-Based Softw..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Lopez Pombo, Carlos Gustavo ; Montepagano, Pablo ; Tuosto, Emilio - p. 314-330 , 2024
Link: https://doi.org/10.1007/..
 
?
2

TRAC: A Tool for Data-Aware Coordination: (with an Applicat..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Afonso, João ; Konjoh Selabi, Elvis ; Murgia, Maurizio.. - p. 239-257 , 2024
Link: https://doi.org/10.1007/..
 
?
3

COTS: Connected OpenAPI Test Synthesis for RESTful Applicat..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Burlò, Christian Bartolo ; Francalanza, Adrian ; Scalas, Alceste. - p. 75-92 , 2024
Link: https://doi.org/10.1007/..
 
?
4

A Dynamic Temporal Logic for Quality of Service in Choreogr..:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,
Pombo, Carlos G. Lopez ; Suñé, Agustín E. Martinez ; Tuosto, Emilio - p. 119-138 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  135 (2023)  - p. 100890 , 2023
Link: https://doi.org/10.1016/..
 
?
6

Comparing perfomance abstractions for collective adaptive s..:

Murgia, Maurizio ; Pinciroli, Riccardo ; Trubiani, Catia.
International Journal on Software Tools for Technology Transfer.  25 (2023)  5-6 - p. 785-798 , 2023
Link: https://doi.org/10.1007/..
 
?
7

On Formal Choreographic Modelling: A Case Study in EU Busin..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Coto, Alex ; Barbanera, Franco ; Lanese, Ivan.. - p. 205-219 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Towards refinable choreographies:

de'Liguoro, Ugo ; Melgratti, Hernán ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  127 (2022)  - p. 100776 , 2022
Link: https://doi.org/10.1016/..
 
?
9

PSTMonitor: Monitor synthesis from probabilistic session ty..:

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste..
Science of Computer Programming.  222 (2022)  - p. 102847 , 2022
Link: https://doi.org/10.1016/..
 
?
10

A Tool for Choreography-Based Analysis of Message-Passing S..:

, In: Behavioural Types,
Lange, Julien ; Tuosto, Emilio ; Yoshida, Nobuko - p. 125-145 , 2022
Link: https://doi.org/10.1201/..
 
?
11

A Prototype for Data Race Detection in CSeq 3: (Competition..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Coto, Alex ; Inverso, Omar ; Sales, Emerson. - p. 413-417 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Contract-Oriented Design of Distributed Applications: A Tut..:

, In: Behavioural Types,
Atzei, Nicola ; Bartoletti, Massimo ; Murgia, Maurizio.. - p. 1-25 , 2022
Link: https://doi.org/10.1201/..
 
?
13

Formal Choreographic Languages:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio - p. 121-139 , 2022
Link: https://doi.org/10.1007/..
 
?
14

On Model-Based Performance Analysis of Collective Adaptive ..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,
Murgia, Maurizio ; Pinciroli, Riccardo ; Trubiani, Catia. - p. 266-282 , 2022
Link: https://doi.org/10.1007/..
 
?
15

An abstract framework for choreographic testing:

Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  123 (2021)  - p. 100712 , 2021
Link: https://doi.org/10.1016/..
 
1-15