Concepedia

Armijn Hemel

AH

3

Publications

211

Citations

3

H-Index

2011

Active since

Affiliations

Delft University of Technology(Current)

Armijn Hemel is an author at Delft University of Technology specializing in system software, software design, and formal verification.

Top concepts

EngineeringSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware Maintenance

Publications per year

2011–2014

3

Publications

3

Finding software license violations through binary code clone detection

Armijn Hemel, Karl Trygve Kalleberg, Rob Vermaas et al. · 2011 · 146 citations

Software Maintenance, Engineering, Verification +22

Reverse Engineering Variability in Source Code Using Clone Detection: A Case Study for Linux Variants of Consumer Electronic Devices

Armijn Hemel, Rainer Koschke · 2012 · 33 citations

Software Maintenance, Engineering, Computer Architecture +30

Tracing software build processes to uncover license compliance inconsistencies

Sander van der Burg, Eelco Dolstra, Shane McIntosh et al. · 2014 · 32 citations

Software Maintenance, Engineering, Verification +20

Rows per page

1–3 of 3