Sylvia Grewe

12 papers C 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2019 — —
Automating Type Soundness Proofs for Domain-Specific Languages.
Sylvia Grewe
2018 J jnl
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
Arch. Formal Proofs
Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch
2018 J jnl
Exploration of language specifications by compilation to first-order logic.
Sci. Comput. Program.
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini
2018 C conf
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.
PPDP
Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini
2016 — conf
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
Vampire@IJCAR
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
2016 C conf
Exploration of language specifications by compilation to first-order logic.
PPDP
Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini
2016 — conf
VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs.
SPLASH (Companion Volume)
Sylvia Grewe
2015 — conf
Type systems for the masses: deriving soundness proofs and efficient checkers.
Onward!
Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini
2015 — conf
Using Vampire in Soundness Proofs of Type Systems.
Vampire Workshop
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
2014 J jnl
A Formalization of Assumptions and Guarantees for Compositional Noninterference.
Arch. Formal Proofs
Sylvia Grewe, Heiko Mantel, Daniel Schoepe
2014 J jnl
A Formalization of Declassification with WHAT-and-WHERE-Security.
Arch. Formal Proofs
Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer
2014 J jnl
A Formalization of Strong Security.
Arch. Formal Proofs
Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer