Michel Raynal

Statistics

Publications

Citations

144

H-Index

Active since

1995

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Michel Raynal is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceVerificationFormal VerificationParallel ComputingParallel ProgrammingData ScienceFault ToleranceProgram Analysis

Publications per year

1995–2013

Publications

Preventing useless checkpoints in distributed computations

Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer et al. · 2002 · 60 citations

Cluster Computing, Engineering, Verification +17

No Hot Spot Non-blocking Skip List

Tyler Crain, Vincent Gramoli, Michel Raynal · 2013 · 46 citations

Engineering, Program Analysis, Lazy Selective Adaptation +13

Specification and Verification of Dynamic Properties in Distributed Computations

Özalp Babaoğlu, Michel Raynal · Journal of Parallel and Distributed Computing · 1995 · 27 citations

Formal Specification, Engineering, Verification +6

Token-based sequential consistency.

Michel Raynal · Computer Systems: Science & Engineering · 2002 · 11 citations

Data Consistency, Engineering, Data Science +9

1–4 of 4