Christine M. Gerpheide

Publications

Citations

H-Index

2014

Active since

Affiliations

Eindhoven University of Technology(Current)

Christine M. Gerpheide is an author at Eindhoven University of Technology specializing in software architecture, automated reasoning, and formal methods.

Top concepts

DesignEngineeringFormal MethodsSocial SciencesSoftware DesignSystem SoftwareSoftware AnalysisAutomated ReasoningFormal VerificationSystem Architecture

Publications per year

2014–2015

Publications

Formalizing correspondence rules for automotive architecture views

Yanja Dajsuren, Christine M. Gerpheide, Alexander Serebrenik et al. · 2014 · 31 citations

Engineering, Software Engineering, Architecture Specification +18

Assessing and improving quality of QVTo model transformations

Christine M. Gerpheide, R.R.H. Schiffelers, Alexander Serebrenik · Software Quality Journal · 2015 · 27 citations · Full text

Rows per page

1–2 of 2