Alex Coto-Santiesteban

According to our database, Alex Coto-Santiesteban authored at least 6 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution).

Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

On Formal Choreographic Modelling: A Case Study in EU Business Processes.

Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2021

An abstract framework for choreographic testing.

Alex Coto, Roberto Guanciale, Emilio Tuosto

J. Log. Algebraic Methods Program., 2021

2020

On Testing Message-Passing Components.

Alex Coto, Roberto Guanciale, Emilio Tuosto

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Choreographic Development of Message-Passing Applications - A Tutorial.

Alex Coto, Roberto Guanciale, Emilio Tuosto

Proceedings of the Coordination Models and Languages, 2020

2019

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

Mario Alfonso Prado-Romero, Alessandro Celi, Giovanni Stilo, Alex Coto-Santiesteban

Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2019