Sarah Grebing

14 papers A* 1Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2020 — ch.
Usability Recommendations for User Guidance in Deductive Program Verification.
20 Years of KeY
Sarah Grebing, Mattias Ulbrich
2019 — conf
Seamless Interactive Program Verification.
VSTTE
Sarah Grebing, Jonas Klamroth, Mattias Ulbrich
2019 — —
User Interaction in Deductive Interactive Program Verification.
Sarah Grebing
2018 J jnl
Debugging Program Verification Proof Scripts (Tool Paper).
CoRR
Bernhard Beckert, Sarah Grebing, Alexander Weigl
2017 — conf
An Interaction Concept for Program Verification Systems with Explicit Proof Object.
Haifa Verification Conference
Bernhard Beckert, Sarah Grebing, Mattias Ulbrich
2016 — ch.
Using the KeY Prover.
Deductive Software Verification
Wolfgang Ahrendt, Sarah Grebing
2015 — conf
Automating Regression Verification.
Software Engineering & Management
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
2015 — conf
Interactive Theorem Proving - Modelling the User in the Proof Process.
Bridging@CADE
Bernhard Beckert, Sarah Grebing
2014 — conf
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.
SEFM Workshops
Bernhard Beckert, Sarah Grebing, Florian Böhl
2014 A* conf
Automating regression verification.
ASE
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
2014 — conf
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers.
UITP
Bernhard Beckert, Sarah Grebing, Florian Böhl
2014 — conf
The KeY Platform for Verification and Analysis of Java Programs.
VSTTE
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
2012 — conf
Evaluating the Usability of Interactive Verification Systems.
COMPARE
Bernhard Beckert, Sarah Grebing
2010 — conf
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).
VERIFY@IJCAR
Bernhard Beckert, Daniel Bruns, Sarah Grebing