Sarah Grebing

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 5

Top Venues

VSTTE

CoRR

COMPARE

Software Engineering & Management

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Sarah Grebing, Jonas Klamroth, Mattias Ulbrich
Seamless Interactive Program Verification. VSTTE (2019)
Bernhard Beckert, Sarah Grebing, Alexander Weigl
Debugging Program Verification Proof Scripts (Tool Paper). CoRR (2018)
Bernhard Beckert, Sarah Grebing, Mattias Ulbrich
An Interaction Concept for Program Verification Systems with Explicit Proof Object. Haifa Verification Conference (2017)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating Regression Verification. Software Engineering & Management (2015)
Bernhard Beckert, Sarah Grebing
Interactive Theorem Proving - Modelling the User in the Proof Process. Bridging@CADE (2015)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating regression verification. ASE (2014)
Bernhard Beckert, Sarah Grebing, Florian Böhl
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. UITP (2014)
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
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Bernhard Beckert, Sarah Grebing, Florian Böhl
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. SEFM Workshops (2014)
Bernhard Beckert, Sarah Grebing
Evaluating the Usability of Interactive Verification Systems. COMPARE (2012)
Bernhard Beckert, Daniel Bruns, Sarah Grebing
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). VERIFY@IJCAR (2010)

Sarah Grebing.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sarah Grebing