Concepedia

Sergio Arévalo

SA

15

Publications

488

Citations

11

H-Index

1993

Active since

Affiliations

Universidad Rey Juan Carlos(Current)

Universidad Politécnica de Madrid

University of the Basque Country

Institut Universitaire de France

IMDEA Networks

Sergio Arévalo is an author at Universidad Rey Juan Carlos specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringVerificationFault ToleranceDistributed SystemsReliability EngineeringFormal MethodsReliability

Publications per year

1993–2015

15

Publications

15

Optimal implementation of the weakest failure detector for solving consensus

Mikel Larrea, Sergio Arévalo · 2002 · 115 citations

Cluster Computing, Engineering, Verification +18

Deterministic scheduling for transactional multithreaded replicas

Ricardo Jiménez, Marta Patiño-Martı́nez, Sergio Arévalo · 2000 · 70 citations

Cluster Computing, Availability, Engineering +20

Implementing unreliable failure detectors with unknown membership

Ernesto Jiménez, Sergio Arévalo, Antonio Fernández Anta · Information Processing Letters · 2006 · 63 citations

Reliability, Reliability Engineering, Engineering +9

On the implementation of unreliable failure detectors in partially synchronous systems

Mikel Larrea, Sergio Arévalo · IEEE Transactions on Computers · 2004 · 54 citations

Cluster Computing, Engineering, Verification +20

Optimal implementation of the weakest failure detector for solving consensus (brief announcement)

Mikel Larrea, Antonio Fernández Anta, Sergio Arévalo · 2000 · 33 citations · Full text

Engineering, Verification, Consensus Problem +18

Rows per page

1–5 of 15