Sascha Böhme

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 2

Top Venues

J. Autom. Reason.

CoRR

TACAS

Log. Methods Comput. Sci.

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Jasmin Christian Blanchette, Sascha Böhme, Mathias Fleury, Steffen Juilf Smolka, Albert Steckermeier
Semi-intelligible Isar Proofs from Machine-Generated Proofs. J. Autom. Reason. 56 (2) (2016)
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone
Encoding Monomorphic and Polymorphic Types. Log. Methods Comput. Sci. 12 (4) (2016)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
A Framework for the Verification of Certifying Computations. J. Autom. Reason. 52 (3) (2014)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
A Framework for the Verification of Certifying Computations CoRR (2013)
Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson
Extending Sledgehammer with SMT Solvers. J. Autom. Reason. 51 (1) (2013)
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone
Encoding Monomorphic and Polymorphic Types. TACAS (2013)
Sascha Böhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber
Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL. CPP (2011)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah, Pascal Schweitzer
An Introduction to Certifying Algorithms. it Inf. Technol. 53 (6) (2011)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
Verification of Certifying Computations. CAV (2011)
Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson
Extending Sledgehammer with SMT Solvers. CADE (2011)
Sascha Böhme, Michal Moskal
Heaps and Data Structures: A Challenge for Automated Provers. CADE (2011)
Sascha Böhme, Tjark Weber
Designing Proof Formats: A User's Perspective. PxTP (2011)
Sascha Böhme, Tjark Weber
Fast LCF-Style Proof Reconstruction for Z3. ITP (2010)
Sascha Böhme, Tobias Nipkow
Sledgehammer: Judgement Day. IJCAR (2010)
Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reason. 44 (1-2) (2010)
Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff
HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs (2008)
Sascha Böhme
Much Ado About Two. Arch. Formal Proofs 2007 (2007)

Sascha Böhme.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sascha Böhme