Concepedia

Cyril Grepet

CG

Statistics

Publications

5

Citations

70

H-Index

5

Active since

2004

Affiliations

Centre National de la Recherche Scientifique(Current)

CEA Paris-Saclay

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Cyril Grepet is an author at Centre National de la Recherche Scientifique specializing in computing, formal methods, and routing protocols.

Publications per year

2004–2010

5

Publications

5

A formal validation methodology for MANET routing protocols based on nodes’ self similarity

Stéphane Maag, Cyril Grepet, Ana Cavalli · Computer Communications · 2007 · 20 citations

Computing, Computer Science, Computer Systems +12

A validation model for the DSR protocol

Ana Cavalli, Cyril Grepet, Stéphane Maag et al. · 2004 · 17 citations

Computing, Computer Science, Computer Systems +17

Model-based security and dependability patterns in RCES

Brahim Hamid, Nicolas Desnos, Cyril Grepet et al. · 2010 · 13 citations

Computing, Computer Engineering, Computer Systems +17

Interoperability testing of a MANET routing protocol using a node self-similarity approach

Stéphane Maag, Cyril Grepet · 2008 · 10 citations

Computing, Computer Science, Computer Networks +16

A Methodology for Interoperability Testing of a MANET Routing Protocol

Koceilah Merouane, Cyril Grepet, Stéphane Maag · 2007 · 10 citations

Computing, Systems Engineering, Formal Methods +16

1–5 of 5