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

Am Fasanengarten 5, Gebäude 50.34


Projects

Publications

2016
Title Author(s) Source
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
2015
Title Author(s) Source
Interactive Theorem Proving - Modelling the User in the Proof ProcessBernhard Beckert
Sarah Grebing
Proceedings of the 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
Software Engineering and Formal Methods – SEFM 2014 Collocated Workshops
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem ProversBernhard Beckert
Sarah Grebing
Florian Böhl
Proceedings, Workshop on User Interfaces for Theorem Provers (UITP), Vienna, July 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)
2012
Title Author(s) Source
Evaluating and Improving the Usability of Interactive Verification SystemsSarah GrebingUniversität Koblenz-Landau
Evaluating the Usability of Interactive Verification SystemsBernhard Beckert
Sarah Grebing
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), Manchester, UK, June 30, 2012
Mind the Gap: Formal Verification and the Common CriteriaBernhard Beckert
Daniel Bruns
Sarah Grebing
6th International Verification Workshop, VERIFY-2010

Software Campus