Concepedia

Carsten Fuhs

CF

Statistics

Publications

11

Citations

392

H-Index

10

Active since

2011

Affiliations

RWTH Aachen University(Current)

University of Southern Denmark

Birkbeck, University of London

University College London

Microsoft Research (United Kingdom)

Carsten Fuhs is an author at RWTH Aachen University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationAutomated ReasoningComputational ComplexityVerificationSoftware Testing

Publications per year

2011–2018

11

Publications

11

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

Analyzing Runtime and Size Complexity of Integer Programs

Marc Brockschmidt, Fabian Emmes, Stephan Falke et al. · ACM Transactions on Programming Languages and Systems · 2016 · 58 citations

Size Complexity, Symbolic Time Bounds, Engineering +20

A decision procedure for satisfiability in separation logic with inductive predicates

J G. Brotherston, Carsten Fuhs, Juan Antonio Pérez-Ortiz et al. · 2014 · 56 citations · Full text

Engineering, Certain Fixed Point, Satisfiability Problem +18

Verifying Procedural Programs via Constrained Rewriting Induction

Carsten Fuhs, Cynthia Kop, Naoki Nishida · ACM Transactions on Computational Logic · 2017 · 33 citations

Program Checking, Engineering, Verification +16

Symbolic evaluation graphs and term rewriting

Jürgen Giesl, Thomas Ströder, Peter Schneider–Kamp et al. · 2012 · 26 citations

Program Checking, Engineering, Verification +20

1–5 of 11