Sarah Grebing

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Bernhard Beckert

> Home > Persons > Sarah Grebing

Publications

2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-04402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04402
Bernhard Beckert, Sarah Grebing, Alexander Weigl:
Debugging Program Verification Proof Scripts (Tool Paper). CoRR abs/1804.04402 (2018)
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/BeckertGU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/BeckertGU17
Bernhard Beckert, Sarah Grebing, Mattias Ulbrich:
An Interaction Concept for Program Verification Systems with Explicit Proof Object. Haifa Verification Conference 2017: 163-178
2015
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/BeckertG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertG15
Bernhard Beckert, Sarah Grebing:
Interactive Theorem Proving - Modelling the User in the Proof Process. Bridging@CADE 2015: 60-73
2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeckertGB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeckertGB14
Bernhard Beckert, Sarah Grebing, Florian Böhl:
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. SEFM Workshops 2014: 3-19
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AhrendtBBBGGHHHKMSSU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AhrendtBBBGGHHHKMSSU14
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: 55-71
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeckertGB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeckertGB14
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: 4-13
2012
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/BeckertG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertG12
Bernhard Beckert, Sarah Grebing:
Evaluating the Usability of Interactive Verification Systems. COMPARE 2012: 3-17
2010
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertBG10
Bernhard Beckert, Daniel Bruns, Sarah Grebing:
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). VERIFY@IJCAR 2010: 4-12

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.