Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). - Bernhard Beckert; Daniel Bruns; Sarah Grebing (VERIFY@IJCAR, 2010)

Evaluating the Usability of Interactive Verification Systems. - Bernhard Beckert; Sarah Grebing (COMPARE, 2012)

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. - Bernhard Beckert; Sarah Grebing; Florian Böhl (SEFM Workshops, 2014)

The KeY Platform for Verification and Analysis of Java Programs. - Wolfgang Ahrendt; Bernhard Beckert; Daniel Bruns; Richard Bubel; Christoph Gladisch; Sarah Grebing; Reiner Hähnle; Martin Hentschel 002; Mihai Herda; Vladimir Klebanov; Wojciech Mostowski; Christoph Scheben; et al. (VSTTE, 2014)

How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. - Bernhard Beckert; Sarah Grebing; Florian Böhl (UITP, 2014)

Interactive Theorem Proving - Modelling the User in the Proof Process. - Bernhard Beckert; Sarah Grebing (Bridging@CADE, 2015)

Automating Regression Verification. - Dennis Felsing; Sarah Grebing; Vladimir Klebanov; Philipp Rümmer; Mattias Ulbrich (Software Engineering & Management, 2015)

Using the KeY Prover. - Wolfgang Ahrendt; Sarah Grebing (Deductive Software Verification, 2016)

An Interaction Concept for Program Verification Systems with Explicit Proof Object. - Bernhard Beckert; Sarah Grebing; Mattias Ulbrich (Haifa Verification Conference, 2017)

Debugging Program Verification Proof Scripts (Tool Paper). - Bernhard Beckert; Sarah Grebing; Alexander Weigl (CoRR, 2018)

Seamless Interactive Program Verification. - Sarah Grebing; Jonas Klamroth; Mattias Ulbrich (VSTTE, 2019)

User Interaction in Deductive Interactive Program Verification. - Sarah Grebing (2019)

Usability Recommendations for User Guidance in Deductive Program Verification. - Sarah Grebing; Mattias Ulbrich (20 Years of KeY, 2020)