Sylvia Grewe

According to our database, Sylvia Grewe authored at least 12 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Automating Type Soundness Proofs for Domain-Specific Languages.

Sylvia Grewe

PhD thesis, 2019

2018

Exploration of language specifications by compilation to first-order logic.

Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini

Sci. Comput. Program., 2018

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch

Arch. Formal Proofs, 2018

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2016

Exploration of language specifications by compilation to first-order logic.

Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs.

Sylvia Grewe

Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.

Sylvia Grewe, Sebastian Erdweg, Mira Mezini

Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

2015

Type systems for the masses: deriving soundness proofs and efficient checkers.

Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

Using Vampire in Soundness Proofs of Type Systems.

Sylvia Grewe, Sebastian Erdweg, Mira Mezini

Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015

2014

A Formalization of Assumptions and Guarantees for Compositional Noninterference.

Sylvia Grewe, Heiko Mantel, Daniel Schoepe

Arch. Formal Proofs, 2014

A Formalization of Strong Security.

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer

Arch. Formal Proofs, 2014

A Formalization of Declassification with WHAT-and-WHERE-Security.

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer

Arch. Formal Proofs, 2014