E-LIB Suche - Ergebnisse für: Coto, Alex

1

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

2

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

3

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

4

On Testing Message-Passing Components:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,

Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio - p. 22-38 , 2020

Link: https://doi.org/10.1007/..

5

Choreographic Development of Message-Passing Applications: ..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio - p. 20-36 , 2020

Link: https://doi.org/10.1007/..

6

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

Coto, Alex ; Barbanera, Franco ; Lanese, Ivan..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-19849-6_13. , 2022

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

7

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

Coto, Alex ; Barbanera, Franco ; Lanese, Ivan..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-19849-6_13. , 2022

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

8

Choreographic Development of Message-Passing Applications:

Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-50029-0_2. , 2020

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

9

An Abstract Framework for Choreographic Testing:

Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio
http://arxiv.org/abs/2009.07990. , 2020

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

10

TSTM: A Model to Predict Topics' Popularity in News Provide..:

, In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications; Lecture Notes in Computer Science,

Prado-Romero, Mario Alfonso ; Celi, Alessandro ; Stilo, Giovanni. - p. 96-106 , 2019

Link: https://doi.org/10.1007/..

11

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

Alex Coto ; Franco Barbanera ; Ivan Lanese..
ispartofbook:Leveraging Applications of Formal Methods, Verification and Validation.Verification Principles - 11th International Symposium, ISoLA 2022,Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}. , 2022

Link: https://hdl.handle.net/1..

12

Minimum Population Search, an Application to Molecular Dock..:

Antonio Bolufé-Röhler ; Alex Coto-Santiesteban ; Marta Rosa Soto.
https://gecontec.org/index.php/unesco/article/view/62. , 2022

Link: https://doi.org/10.5281/..

13

Minimum Population Search, an Application to Molecular Dock..:

Antonio Bolufé-Röhler ; Alex Coto-Santiesteban ; Marta Rosa Soto.
https://upo.es/revistas/index.php/gecontec/article/view/1062. , 2014

Link: https://doaj.org/article..

14

Minimum Population Search, an Application to Molecular Dock..:

Antonio Bolufé-Röhler ; Alex Coto-Santiesteban ; Marta Rosa Soto.
https://www.upo.es/revistas/index.php/gecontec/article/view/1062. , 2014

Link: https://doaj.org/article..

15

Minimum Population Search, an Application to Molecular Dock..:

Bolufé-Röhler, Antonio ; Coto-Santiesteban, Alex ; Soto, Marta Rosa.
https://upo.es/revistas/index.php/gecontec/article/view/1062/847. , 2014

Link: https://upo.es/revistas/..