Concepedia

Ken Vanherpen

KV

Statistics

Publications

3

Citations

49

H-Index

3

Active since

2015

Affiliations

University of Antwerp(Current)

McGill University

Ken Vanherpen is an author at University of Antwerp specializing in design, systems engineering, and engineering.

Top concepts

DesignEngineeringSystems EngineeringFormal MethodsSoftware DesignAutomated ReasoningFormal VerificationComputer EngineeringSoftware EngineeringAutomation

Publications per year

2015–2019

3

Publications

3

Ontological reasoning for consistency in the design of cyber-physical systems

Ken Vanherpen, Joachim Denil, István Dávid et al. · 2016 · 25 citations

Engineering, Conceptual Design, Ontology Engineering +18

Model transformations for round-trip engineering in control deployment co-design

Ken Vanherpen, Joachim Denil, Hans Vangheluwe et al. · 2015 · 12 citations

Hardware Modeling, Engineering, Computer Architecture +16

Validating Industrial Requirements with a Contract-Based Approach

Matthias Bernaerts, Bentley James Oakes, Ken Vanherpen et al. · 2019 · 12 citations

Engineering, Industrial Engineering, Verification +21

1–3 of 3