M. Ángeles López Aguera

MÁ

Publications

699

Citations

H-Index

1990

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire d'Analyse et d'Architecture des Systèmes

M. Ángeles López Aguera is an author at Centre National de la Recherche Scientifique specializing in computer science, systems engineering, and reliability engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringReliability EngineeringReliabilitySystem SoftwareProgram AnalysisSoftware Systems

Publications per year

1990–2002

Publications

Fault injection for dependability validation: a methodology and some applications

Jean Arlat, M. Ángeles López Aguera, L. Amat et al. · IEEE Transactions on Software Engineering · 1990 · 551 citations

Software Maintenance, Engineering, Verification +26

SURF-2: A program for dependability evaluation of complex hardware and software systems

C. Beounes, M. Ángeles López Aguera, Jean Arlat et al. · 2002 · 92 citations

Software Maintenance, Engineering, Software Systems +24

Experimental evaluation of the fault tolerance of an atomic multicast system

Jean Arlat, M. Ángeles López Aguera, Yves Crouzet et al. · IEEE Transactions on Reliability · 1990 · 56 citations

Cluster Computing, Engineering, Fault Tolerance +22

Rows per page

1–3 of 3