Concepedia

Stefan Berghofer

SB

8

Publications

252

Citations

8

H-Index

2004

Active since

Affiliations

Technical University of Munich(Current)

University of Edinburgh

Stefan Berghofer is an author at Technical University of Munich specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceProgram AnalysisVerificationSoftware AnalysisLanguageSemantics

Publications per year

2004–2012

8

Publications

8

Random testing in Isabelle/HOL

Stefan Berghofer, Tobias Nipkow · Software Engineering and Formal Methods · 2004 · 83 citations

Engineering, Isabelle Theorem Prover, Verification +17

Program Extraction from Normalization Proofs

Ulrich Berger, Stefan Berghofer, Pierre Letouzey et al. · Studia Logica · 2006 · 51 citations · Full text

Engineering, Program Analysis, Automated Reasoning +8

A Head-to-Head Comparison of de Bruijn Indices and Names

Stefan Berghofer, Christian Urban · Electronic Notes in Theoretical Computer Science · 2007 · 38 citations · Full text

Informal Proofs, Engineering, Semantics +19

Mechanizing the Metatheory of LF

Christian Urban, James Cheney, Stefan Berghofer · Proceedings - Symposium on Logic in Computer Science · 2008 · 19 citations

Metatheory, Engineering, Lf Relies +15

First-Order Logic According to Fitting.

Stefan Berghofer · Archive of formal proofs · 2007 · 19 citations

Applied Logic, Engineering, Automated Reasoning +4

Rows per page

1–5 of 8