Follow
Sylvia Grewe
Sylvia Grewe
Verified email at st.informatik.tu-darmstadt.de - Homepage
Title
Cited by
Cited by
Year
Type systems for the masses: Deriving soundness proofs and efficient checkers
S Grewe, S Erdweg, P Wittmann, M Mezini
2015 ACM International Symposium on New Ideas, New Paradigms, and†…, 2015
202015
Exploration of language specifications by compilation to first-order logic
S Grewe, S Erdweg, M Raulf, M Mezini
Proceedings of the 18th International Symposium on Principles and Practice†…, 2016
132016
Using Vampire in Soundness Proofs of Type Systems.
S Grewe, S Erdweg, M Mezini
Vampire Workshop, 33-51, 2015
92015
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
S Grewe, S Erdweg, M Mezini
Vampire@ IJCAR, 33-45, 2016
62016
A formalization of declassification with what-and-where-security
S Grewe, A Lux, H Mantel, J Sauer
Archive of Formal Proofs 2014, 2014
52014
A formalization of assumptions and guarantees for compositional noninterference
S Grewe, H Mantel, D Schoepe
Archive of Formal Proofs 2014, 2014
52014
Veritas: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs
S Grewe
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on†…, 2016
22016
Automating Type Soundness Proofs for Domain-Specific Languages
S Grewe
Technische Universitšt, 2019
12019
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers
S Grewe, S Erdweg, A Pacak, M Mezini
Proceedings of the 20th International Symposium on Principles and Practice†…, 2018
12018
Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
S Grewe, A Pacak, M Mezini
EPiC Series in Computing 53, 42-51, 2018
12018
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties
O Bračevac, R Gay, S Grewe, H Mantel, H Sudbrock, M Tasch
12018
I-MAKS
S Grewe, H Mantel, M Tasch, R Gay, H Sudbrock
2018
An Isabelle/HOL formalization of Strong Security
S Grewe, A Lux, H Mantel, J Sauer
2015
An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers
S Grewe, S Erdweg, A Pacak, M Mezini
VeriTaS: Verification of Type System Specifications
S Grewe
The system can't perform the operation now. Try again later.
Articles 1–15