HOME | LEGALS | SITEMAP | KIT
Sarah
Grebing Dipl.-Inform. Sarah Grebing
Researcher / PhD student
Room: 202
Tel.: + 49 721 608 45253
Fax: + 49 721 608 44021
grebingFbp1∂ira uka de
https://formal.iti.kit.edu/~grebing

Am Fasanengarten 5, Gebäude 50.34


Projects

Publications

2017
Title Author(s) Source
An Interaction Concept for Program Verification Systems with Explicit Proof ObjectBernhard 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 ProverWolfgang 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 KITMatthias 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 SurgeryMattias 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 ProcessBernhard 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 VerificationDennis Felsing
Sarah Grebing
Vladimir Klebanov
Philipp Rümmer
Mattias Ulbrich
Multikonferenz Software Engineering und Management 2015
2014
Title Author(s) Source
The KeY Platform for Verification and Analysis of Java ProgramsWolfgang 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 GroupsBernhard 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 VerificationDennis 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 ProversBernhard 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 SystemsSarah GrebingUniversität Koblenz-Landau (August 2012)
Mind the Gap: Formal Verification and the Common CriteriaBernhard Beckert
Daniel Bruns
Sarah Grebing
6th International Verification Workshop (VERIFY 2010)
Evaluating the Usability of Interactive Verification SystemsBernhard Beckert
Sarah Grebing
1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012)

Software Campus