Sylvia Grewe
Sylvia Grewe
Bestätigte E-Mail-Adresse bei st.informatik.tu-darmstadt.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
162015
Exploration of language specifications by compilation to first-order logic
S Grewe, S Erdweg, A Pacak, M Raulf, M Mezini
Science of Computer Programming 155, 146-172, 2018
112018
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
52016
A formalization of assumptions and guarantees for compositional noninterference
S Grewe, H Mantel, D Schoepe
Archive of Formal Proofs 2014, 2014
52014
A formalization of declassification with what-and-where-security
S Grewe, A Lux, H Mantel, J Sauer
Archive of Formal Proofs 2014, 2014
42014
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 Bracevac, R Gay, S Grewe, H Mantel, H Sudbrock, M Tasch
Archive of Formal Proofs 2018, 2018
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15