Concepedia

Florian Kübler

FK

3

Publications

71

Citations

3

H-Index

2018

Active since

Affiliations

Technical University of Darmstadt(Current)

Florian Kübler is an author at Technical University of Darmstadt specializing in formal methods, program analysis, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringData ScienceGraph TheoryVerificationSoftware Design

Publications per year

2018–2019

3

Publications

3

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

Systematic evaluation of the unsoundness of call graph construction algorithms for Java

Michael Reif, Florian Kübler, Michael Eichberg et al. · 2018 · 22 citations

Engineering, Reflective Method Calls, Call-graph Construction Algorithms +24

A unified lattice model and framework for purity analyses

Dominik Helm, Florian Kübler, Michael Eichberg et al. · 2018 · 10 citations

Engineering, Unified Lattice Model, Verification +22

Rows per page

1–3 of 3