2 citations · 2 across the 6 of their papers we have counts for
7 papers
On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +2
This paper studies the decidability of task problems, i.e., distributed problems expressed as sets of distributed tasks. Specifically, we introduce a new class of task problems cal…
Tight Conditions for Binary-Output Tasks under Crashes
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +2
This paper explores necessary and sufficient system conditions to solve distributed tasks with binary outputs (\textit{i.e.}, tasks with output values in ). We focus on th…
Ares II: Tracing the Flaws of a (Storage) God
Chryssis Georgiou, Nicolas Nicolaou, Andria Trigeorgi
Ares is a modular framework, designed to implement dynamic, reconfigurable, fault-tolerant, read/write and strongly consistent distributed shared memory objects. Recent enhancement…
AMECOS: A Modular Event-based Framework for Concurrent Object Specification
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +3
In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential sp…
Validated Objects: Specification, Implementation, and Applications
Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou +1
Guaranteeing the validity of concurrent operations on distributed objects is a key property for ensuring reliability and consistency in distributed systems. Usually, the methods fo…
Estimating Active Cases of COVID-19
Javier Álvarez, Carlos Baquero, Elisa Cabana +17
Having accurate and timely data on confirmed active COVID-19 cases is challenging, since it depends on testing capacity and the availability of an appropriate infrastructure to per…
CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
Oluwasegun Ojo, Augusto García-Agundez, Benjamin Girault +22
The world is suffering from a pandemic called COVID-19, caused by the SARS-CoV-2 virus. National governments have problems evaluating the reach of the epidemic, due to having limit…