Research DISC department ANDDistributed digital algorithms, mobile networks, distributed systems, verification and validation of software and embedded devicesYou are hereHomeResearch departmentsComputer Science (DISC)DISC Research teamsANDAND Publications AND Publications Search by year None2025202420232022202120202019201820172016201520142013201220112010200920082007200620052004200220001999 Search by category Nonearticlebookincollectioninproceedingsmiscphdthesisproceedingstechreport Search by author NoneFabrice AMBERTJean-claude CHARRRaphael COUTURIERKarine DESCHINKELStéphane DOMASArnaud GIERSCHChristophe GUYEUXMourad HAKEMDavid LAIYMANIAhmed MOSTEFAOUIGilles PERROTMichel SALOMONJoseph AZARHassan NOURASarad BASNETStéphane CUENATJacques BAHIMelvyn PIROLLEYKevin KANA NGUIMFACKJoe KHALILNicolas CARONNaoufal SIRRIAhmed HAMDIParesh MAHAPATRAThomas CHUThomas CHEVALIERJean-paul ABS YAACOUB