Sascha Böhme

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