E-LIB Suche - Ergebnisse für: Tuosto, Emilio

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

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

5

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

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

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023. , 2023

Link: https://inria.hal.scienc..

8

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023. , 2023

Link: https://inria.hal.scienc..

9

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890. , 2023

Link: https://inria.hal.scienc..

10

Behavioural Types for Local-First Software:

Kuhn, Roland ; Melgratti, Hernán ; Tuosto, Emilio
http://arxiv.org/abs/2305.04848. , 2023

Link: http://arxiv.org/abs/230..

11

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890. , 2023

Link: https://inria.hal.scienc..

12

MoCheQoS: Automated Analysis of Quality of Service Properti..:

Pombo, Carlos G. Lopez ; Suñé, Agustín E. Martinez ; Tuosto, Emilio
http://arxiv.org/abs/2311.01415. , 2023

Link: http://arxiv.org/abs/231..

13

Behavioural Types for Local-First Software:

Kuhn, Roland ; Melgratti, Hernán ; Tuosto, Emilio
info:eu-repo/grantAgreement/EC/HE/101093006/. , 2023

Link: https://zenodo.org/recor..

14

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

Pombo, Carlos G. Lopez ; Suñé, Agustín E. Martinez ; Tuosto, Emilio
http://arxiv.org/abs/2311.01414. , 2023

Link: http://arxiv.org/abs/231..

15

Behavioural Types for Local-First Software:

Kuhn, Roland ; Melgratti, Hernán ; Tuosto, Emilio
info:eu-repo/grantAgreement/EC/HE/101093006/. , 2023

Link: https://zenodo.org/recor..