Dr. rer. nat. Sarah Grebing |
||
Researcher grebing∂ira uka de (my PGP Key) https://formal.kastel.kit.edu/~grebing |
|
Projects
- Lehre Hoch Forschung
- "Usability of Software Verification Systems: Evaluation and Improvement"
Cooperation with DATEV eG in the scope of Softwarecampus
(Project description in German) - The KeY-Project
Software
- Proof Script Debugger PSDBG for the KeY system.
- Dafny Interactive Verification Environment DIVE for Dafny programs.
Publications
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 |
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) |
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 |
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) |
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 |
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) |
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) |
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
- Article in the magazine I.T. Audimax (Page 18) about my project within Softwarecampus (in German)
- Report of my visit at the IT-Gipfel 2014 (in German)
- Article in the "Career Special IT & Software" of the magazine UNIGLOBALE (Page 4-5) about my project within Softwarecampus in cooperation with DATEV eG (in German)
- Link to the Software Campus Alumni Organisation
- Interview (in German) about my project within Software Campus at KIT