Concepedia

Florian Frohn

FF

Statistics

Publications

5

Citations

178

H-Index

5

Active since

2016

Affiliations

RWTH Aachen University(Current)

Birkbeck, University of London

University of Southern Denmark

Microsoft Research (United Kingdom)

Florian Frohn is an author at RWTH Aachen University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisComputational ComplexityComplexitySoftware TestingSoftware Engineering

Publications per year

2016–2020

5

Publications

5

Analyzing Program Termination and Complexity Automatically with AProVE

Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 124 citations · Full text

Software Maintenance, Program Checking, Engineering +10

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 21 citations · Full text

Memory Safety, Program Checking, Engineering +14

Lower Bounds for Runtime Complexity of Term Rewriting

Florian Frohn, Jürgen Giesl, Jera Hensel et al. · Journal of Automated Reasoning · 2016 · 13 citations

Engineering, Regulated Rewriting, Rewriting System +5

Analyzing Runtime Complexity via Innermost Runtime Complexity

Florian Frohn, Jürgen Giesl · EPiC series in computing · 2018 · 10 citations · Full text

Engineering, Software Engineering, Computational Complexity +19

Polynomial Loops: Beyond Termination

Marcel Hark, Florian Frohn, Jürgen Giesl · EPiC series in computing · 2020 · 10 citations · Full text

Mathematical Programming, Polynomial Loops, Engineering +13

1–5 of 5