Sylvia Grewe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2015–2018
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | PPDP | System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. | Sylvia Grewe, Sebastian Erdweg, Andr Pacak, Mira Mezini |
| 2016 | CADE | Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. | Sylvia Grewe, Sebastian Erdweg, Mira Mezini |
| 2016 | OOPSLA | VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs. | Sylvia Grewe |
| 2016 | PPDP | Exploration of language specifications by compilation to first-order logic. | Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini |
| 2015 | CADE | Using Vampire in Soundness Proofs of Type Systems. | Sylvia Grewe, Sebastian Erdweg, Mira Mezini |
| 2015 | OOPSLA | Type systems for the masses: deriving soundness proofs and efficient checkers. | Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini |