Chris Ouwehand is an author at Leiden University specializing in formal verification, software analysis, and system software.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2017–2018
2
2
MARX: Uncovering Class Hierarchies in C++ Programs
Andre Pawlowski, Moritz Contag, Victor van der Veen et al. · 2017 · 32 citations
Erik van der Kouwe, Taddeus Kroes, Chris Ouwehand et al. · 2018 · 18 citations · Full text
Rows per page
1–2 of 2