Login / Signup
Alex Coto
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 6
Top Topics
Belief Propagation
Approximate Inference
Distributed Shared Memory
Sum Product
Top Venues
ISoLA (1)
J. Log. Algebraic Methods Program.
COORDINATION
TACAS (2)
</>
Publications
</>
Alex Coto
,
Franco Barbanera
,
Ivan Lanese
,
Davide Rossi
,
Emilio Tuosto
On Formal Choreographic Modelling: A Case Study in EU Business Processes.
ISoLA (1)
(2022)
Alex Coto
,
Omar Inverso
,
Emerson Sales
,
Emilio Tuosto
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution).
TACAS (2)
(2022)
Alex Coto
,
Roberto Guanciale
,
Emilio Tuosto
An abstract framework for choreographic testing.
J. Log. Algebraic Methods Program.
123 (2021)
Alex Coto
,
Roberto Guanciale
,
Emilio Tuosto
On Testing Message-Passing Components.
ISoLA (1)
(2020)
Alex Coto
,
Roberto Guanciale
,
Emilio Tuosto
An Abstract Framework for Choreographic Testing.
ICE
(2020)
Alex Coto
,
Roberto Guanciale
,
Emilio Tuosto
Choreographic Development of Message-Passing Applications - A Tutorial.
COORDINATION
(2020)