X. Delord

Publications

Citations

H-Index

1998

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

X. Delord is an author at Institut national de recherche en sciences et technologies du numérique specializing in hardware security, computer engineering, and system software.

Top concepts

EngineeringVerificationSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationComputer Engineering

Publications per year

1998–2005

Publications

Formalizing Signature Analysis for Control Flow Checking of Pipelined RISC Microprocessors

X. Delord, G. Saucier · 2005 · 21 citations

Engineering, Hardware Verification Language, Verification +25

Efficient mobile access to the WWW over GSM

X. Delord, Stéphane Perret, Andrzej Duda · 1998 · 14 citations

Mobile Data Offloading, Edge Computing, Efficient Mobile Access +3

Control flow checking in pipelined RISC microprocessors: the Motorola MC88100 case study

X. Delord, G. Saucier · 2002 · 10 citations

Engineering, Hardware Verification Language, Verification +24

Rows per page

1–3 of 3