Concepedia

Sascha Böhme

SB

6

Publications

284

Citations

6

H-Index

2009

Active since

Affiliations

Technical University of Munich(Current)

Max Planck Institute for Informatics

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Sascha Böhme is an author at Technical University of Munich specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationAutomated ReasoningProgram AnalysisProof ComplexitySoftware AnalysisSoftware Verification

Publications per year

2009–2017

6

Publications

6

Extending Sledgehammer with SMT Solvers

Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson · Journal of Automated Reasoning · 2013 · 157 citations

Mathematical Programming, Numerical Analysis, Computational Science +6

HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler

Sascha Böhme, Michał Moskal, Wolfram Schulte et al. · Journal of Automated Reasoning · 2009 · 33 citations

Engineering, Program Analysis, Compiler Technology +9

Semi-intelligible Isar Proofs from Machine-Generated Proofs

Jasmin Christian Blanchette, Sascha Böhme, Mathias Fleury et al. · Journal of Automated Reasoning · 2015 · 29 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +7

Encoding Monomorphic and Polymorphic Types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al. · Logical Methods in Computer Science · 2017 · 27 citations · Full text

Polymorphic Types, Representation Theory, Untyped Logics +14

A Framework for the Verification of Certifying Computations

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn et al. · Journal of Automated Reasoning · 2013 · 23 citations

Engineering, Automated Reasoning, Certifying Computations +7

Rows per page

1–5 of 6