Sarah Grebing

According to our database, Sarah Grebing authored at least 13 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Usability Recommendations for User Guidance in Deductive Program Verification.

Sarah Grebing, Mattias Ulbrich

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

2019

User Interaction in Deductive Interactive Program Verification.

Sarah Grebing

PhD thesis, 2019

Seamless Interactive Program Verification.

Sarah Grebing, Jonas Klamroth, Mattias Ulbrich

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2018

Debugging Program Verification Proof Scripts (Tool Paper).

Bernhard Beckert, Sarah Grebing, Alexander Weigl

CoRR, 2018

2017

An Interaction Concept for Program Verification Systems with Explicit Proof Object.

Bernhard Beckert, Sarah Grebing, Mattias Ulbrich

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Using the KeY Prover.

Wolfgang Ahrendt, Sarah Grebing

Proceedings of the Deductive Software Verification - The KeY Book, 2016

2015

Automating Regression Verification.

Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Interactive Theorem Proving - Modelling the User in the Proof Process.

Bernhard Beckert, Sarah Grebing

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2015

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

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 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, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.

Bernhard Beckert, Sarah Grebing, Florian Böhl

Proceedings of the Software Engineering and Formal Methods, 2014

2012

Evaluating the Usability of Interactive Verification Systems.

Bernhard Beckert, Sarah Grebing

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2010

Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).

Bernhard Beckert, Daniel Bruns, Sarah Grebing

Proceedings of the 6th International Verification Workshop, 2010