4
Publications
247
Citations
4
H-Index
2005
Active since
Affiliations
Delft University of Technology(Current)
Rob Vermaas is an author at Delft University of Technology specializing in software design, engineering, and formal verification.
Top concepts
EngineeringSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringVerificationFormal Methods
Publications per year
2005–2011
4
4
Finding software license violations through binary code clone detection
Armijn Hemel, Karl Trygve Kalleberg, Rob Vermaas et al. · 2011 · 146 citations
Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas et al. · 2006 · 60 citations
Integrated language definition testing
Lennart C.L. Kats, Rob Vermaas, Eelco Visser · 2011 · 22 citations
Components for Transformation Systems
Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas et al. · 2005 · 19 citations
Rows per page
1–4 of 4