18
Publications
1.1K
Citations
13
H-Index
2007
Active since
Johannes Kinder is an author at Royal Holloway University of London specializing in computer science, software analysis, and engineering.
Top concepts
EngineeringComputer ScienceSoftware AnalysisProgram AnalysisSoftware TestingSoftware EngineeringFormal MethodsSystem SoftwareFormal VerificationComputer Engineering
Publications per year
2007–2023
18
18
Guillermo Suárez‐Tangil, Santanu Kumar Dash, Mansour Ahmadi et al. · 2017 · 198 citations · Full text
Efficient state merging in symbolic execution
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur et al. · 2012 · 184 citations · Full text
DroidScribe: Classifying Android Malware Based on Runtime Behavior
Santanu Kumar Dash, Guillermo Suárez‐Tangil, Salahuddin J. Khan et al. · 2016 · 172 citations · Full text
Rows per page
1–5 of 18