Sylvia Grewe

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 8

Top Venues

Arch. Formal Proofs

PPDP

SPLASH (Companion Volume)

Sci. Comput. Program.

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

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

Sylvia Grewe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sylvia Grewe