Jean‐Christophe Deprez

Statistics

Publications

Citations

218

H-Index

Active since

1998

Affiliations

Centre d'Excellence en Technologies de l'Information et de la Communication(Current)

Jean‐Christophe Deprez is an author at Centre d'Excellence en Technologies de l'Information et de la Communication specializing in engineering, software engineering, and formal verification.

ORCID

Top concepts

EngineeringSoftware EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal MethodsSoftware DesignSoftware TestingComputer Engineering

Publications per year

1998–2016

Publications

Restructuring programs by tucking statements into functions

Arun Lakhotia, Jean‐Christophe Deprez · Information and Software Technology · 1998 · 100 citations

Engineering, Program Analysis, Automated Reasoning +9

Restructuring functions with low cohesion

Arun Lakhotia, Jean‐Christophe Deprez · 2003 · 26 citations

Mathematical Programming, Software Maintenance, Engineering +23

Energy efficiency embedded service lifecycle: Towards an energy efficient cloud computing architecture

Karim Djemame, Django Armstrong, Richard Kavanagh et al. · RECERCAT (Consorci de Serveis Universitaris de Catalunya) · 2014 · 25 citations · Full text

A formalism to automate mapping from program features to code

Jean‐Christophe Deprez, Arun Lakhotia · 2002 · 20 citations

Software Maintenance, Engineering, Verification +24

Defining Software Evolvability from a Free/Open-Source Software

Jean‐Christophe Deprez, Fredédéric Fleurial Monfils, Marcus Ciolkowski et al. · 2007 · 13 citations

Software Maintenance, Total Quality Management, Software Evolvability +20

1–5 of 8