Alex Coto-Santiesteban

Orcid: 0000-0003-1427-4099

Affiliations:
  • University of Havana, Cuba


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution).
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2021
An abstract framework for choreographic testing.
J. Log. Algebraic Methods Program., 2021

2020
On Testing Message-Passing Components.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Choreographic Development of Message-Passing Applications - A Tutorial.
Proceedings of the Coordination Models and Languages, 2020

2019
TSTM: A Model to Predict Topics' Popularity in News Providers.
Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2019


  Loading...