Concepedia

Michael Reif

MR

10

Publications

386

Citations

10

H-Index

2009

Active since

Affiliations

Technical University of Darmstadt(Current)

Michael Reif is an author at Technical University of Darmstadt specializing in engineering, software analysis, and program analysis.

Top concepts

EngineeringProgram AnalysisSoftware AnalysisComputer ScienceSoftware EngineeringFormal MethodsSoftware SecurityCryptographyData ScienceGraph Theory

Publications per year

2009–2020

10

Publications

10

CogniCrypt: Supporting developers in using cryptography

Stefan Krüger, Sarah Nadi, Michael Reif et al. · 2017 · 107 citations

Engineering, Usable Security, Video Demo +18

CodeMatch: obfuscation won't conceal your repackaged app

Leonid Glanz, Sven Amann, Michael Eichberg et al. · 2017 · 53 citations

Engineering, App Developers, Information Security +16

The effect of long‐term repeated burning and fire exclusion on above‐ and below‐ground Blackbutt (<i>Eucalyptus pilularis</i>) forest vegetation assemblages

Tom Lewis, Michael Reif, ELLY PRENDERGAST et al. · Austral Ecology · 2012 · 43 citations

Vegetation Composition, Fire Treatments, Engineering +12

Call graph construction for Java libraries

Michael Reif, Michael Eichberg, Ben Hermann et al. · 2016 · 42 citations

Software Libraries, Engineering, Call Graphs +19

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs

Michael Reif, Florian Kübler, Michael Eichberg et al. · 2019 · 39 citations

Engineering, Call Graphs, Compiler Technology +22

Rows per page

1–5 of 10