Concepedia

Jean‐Claude Geffroy

JG

2

Publications

37

Citations

2

H-Index

1974

Active since

Affiliations

Sorbonne Université(Current)

Jean‐Claude Geffroy is an author at Sorbonne Université specializing in computer science, engineering, and hardware security.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSystem SoftwareHardware SecurityFormal VerificationSystems EngineeringComputer EngineeringComputer Architecture

Publications per year

1974–2002

2

Publications

2

On-Set Realization of Fail-Safe Sequential Machines

María Díaz, Jean‐Claude Geffroy, M. Courvoisier · IEEE Transactions on Computers · 1974 · 26 citations

Engineering, Verification, Formal Verification +16

Dependable computing: an overview

Gilles Motet, Jean‐Claude Geffroy · Theoretical Computer Science · 2002 · 11 citations

Engineering, Dependable Computing, Computer Architecture +5

Rows per page

1–2 of 2