Home  |  Legals  |  Privacy Policy  |  Sitemap  |  KIT
Sarah Grebing

Dr. rer. nat. Sarah Grebing
Researcher



grebing∂mail informatik kit edu (my PGP Key)
https://formal.kastel.kit.edu/~grebing

Am Fasanengarten 5, Gebäude 50.34

Projects

Software

  • Proof Script Debugger PSDBG for the KeY system.
  • Dafny Interactive Verification Environment DIVE for Dafny programs.

Publications

2020
Title Author(s) Source
Usability Recommendations for User Guidance in Deductive Program Verification Sarah Grebing
Mattias Ulbrich 		Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY, Part IV: Feasibility and Usability
2019
Title Author(s) Source
User Interaction in Deductive Interactive Program Verification Sarah Caecilia Grebing Karlsruhe Institute of Technology (October 2019)
Seamless Interactive Program Verification Sarah Grebing
Jonas Klamroth
Mattias Ulbrich 		11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019)
2018
Title Author(s) Source
Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification – Lessons Learned Sarah Grebing
An Thuy Tien Luong
Alexander Weigl 		13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)
Debugging Program Verification Proof Scripts (Tool Paper) Bernhard Beckert
Sarah Grebing
Alexander Weigl 		CoRR abs/1804.04402
2017
Title Author(s) Source
An Interaction Concept for Program Verification Systems with Explicit Proof Object Bernhard Beckert
Sarah Grebing
Mattias Ulbrich 		Hardware and Software: Verification and Testing - 13th Haifa Verification Conference (HVC 2017)
2016
Title Author(s) Source
Using the KeY Prover Wolfgang Ahrendt
Sarah Grebing 		Deductive Software Verification - The KeY Book: From Theory to Practice, Part IV: The KeY System in Action
Praxis der Forschung: Eine Lehrveranstaltung des forschungsnahen Lehrens und Lernens in der Informatik am KIT Matthias Budde
Sarah Grebing
Erik Burger
Max Kramer
Bernhard Beckert
Michael Beigl
Ralf Reussner 		Neues Handbuch Hochschullehre 74, Volume A: Lehren und Lernen, Part 3: Neue Lehr- und Lernkonzepte
2015
Title Author(s) Source
A Concept for Multi-Phase Incremental Formal Verification in Robotic Guided Surgery Mattias Ulbrich
Luzie Schreiter
Sarah Grebing
Jörg Raczkowsky
Heinz Wörn
Bernhard Beckert 		4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2015)
Interactive Theorem Proving - Modelling the User in the Proof Process Bernhard Beckert
Sarah Grebing 		Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25)
Automating Regression Verification Dennis Felsing
Sarah Grebing
Vladimir Klebanov
Philipp Rümmer
Mattias Ulbrich 		Multikonferenz Software Engineering und Management 2015: Fachtagung Software Engineering (SE 2015)
2014
Title Author(s) Source
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 		6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014)
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups Bernhard Beckert
Sarah Grebing
Florian Böhl 		12th International Conference on Software Engineering and Formal Methods (SEFM 2014) – Collocated Workshops: Human-Oriented Formal Methods (HOFM 2014)
Automating Regression Verification Dennis Felsing
Sarah Grebing
Vladimir Klebanov
Philipp Rümmer
Mattias Ulbrich 		29th IEEE/ACM International Conference on Automated Software Engineering (ASE 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 		Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014)
2012
Title Author(s) Source
Evaluating and Improving the Usability of Interactive Verification Systems Sarah Grebing Universität Koblenz-Landau (August 2012)
Mind the Gap: Formal Verification and the Common Criteria Bernhard Beckert
Daniel Bruns
Sarah Grebing 		6th~International Verification Workshop (VERIFY-2010)
Evaluating the Usability of Interactive Verification Systems Bernhard Beckert
Sarah Grebing 		1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012)
2010
Title Author(s) Source
Mind the Gap: Formal Verification and the Common Criteria Bernhard Beckert
Daniel Bruns
Sarah Grebing 		6th International Verification Workshop (VERIFY 2010)

Software Campus

to top