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 | 25 | 2015 |
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 | 13 | 2016 |
Using Vampire in Soundness Proofs of Type Systems. S Grewe, S Erdweg, M Mezini Vampire Workshop, 33-51, 2015 | 8 | 2015 |
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. S Grewe, S Erdweg, M Mezini Vampire@ IJCAR, 33-45, 2016 | 7 | 2016 |
A formalization of declassification with what-and-where-security S Grewe, A Lux, H Mantel, J Sauer Archive of Formal Proofs 2014, 2014 | 5 | 2014 |
A formalization of assumptions and guarantees for compositional noninterference S Grewe, H Mantel, D Schoepe Archive of Formal Proofs 2014, 2014 | 5 | 2014 |
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 | 2 | 2016 |
Automating Type Soundness Proofs for Domain-Specific Languages S Grewe Technische Universität, 2019 | 1 | 2019 |
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 | 1 | 2018 |
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 | 1 | 2018 |
Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs S Grewe, A Pacak, M Mezini Vampire, 2017 | 1 | 2017 |
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 | | 2016 |
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 | | |