Concepedia

Marc Chérèque

MC

Statistics

Publications

2

Citations

120

H-Index

2

Active since

1991

Affiliations

Centre National de la Recherche Scientifique(Current)

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

Marc Chérèque is an author at Centre National de la Recherche Scientifique specializing in hardware systems, computer engineering, and verification.

Top concepts

EngineeringVerificationFormal MethodsFault ToleranceHardware SystemsFormal VerificationSystems EngineeringComputer EngineeringComputer ArchitectureStability

Publications per year

1991–2003

2

Publications

2

Active replication in Delta-4

Marc Chérèque, David Powell, Pierre-Alain Reynier et al. · 2003 · 84 citations

Availability, Engineering, Verification +21

Fault-tolerance in Delta-4

David Powell, Marc Chérèque, David Drackley · ACM SIGOPS Operating Systems Review · 1991 · 36 citations

Engineering, Verification, Computer Architecture +19

1–2 of 2