TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

Bračevac, Oliver and Gay, Richard and Grewe, Sylvia and Mantel, Heiko and Sudbrock, Henning and Tasch, Markus :
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018
[Article] , (2018)

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovacs, Laura and Voronkov, Andrei (eds.) :

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
[Online-Edition: http://easychair.org/publications/paper/Automating_Proof_Ste...]
In: Vampire 2016. Proceedings of the 3rd Vampire Workshop. EPiC Series in Computing, 44. , pp. 33-45.
[Book Section] , (2017)

Grewe, Sylvia :
VeriTaS: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs.
[Online-Edition: http://doi.acm.org/10.1145/2984043]
In: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016. Amsterdam, Netherlands , pp. 12-14.
[Book Section] , (2016)

Grewe, Sylvia and Erdweg, Sebastian and Raulf, Michael and Mezini, Mira :
Exploration of language specifications by compilation to first-order logic.
[Online-Edition: http://doi.acm.org/10.1145/2967973.2968606]
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. ACM , pp. 104-117.
[Book Section] , (2016)

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovács, Laura and Voronkov, Andrei (eds.) :

Using Vampire in Soundness Proofs of Type Systems.
[Online-Edition: http://easychair.org/publications/paper/Using_Vampire_in_Sou...]
In: EPiC Series in Computing .
[Conference or Workshop Item] , (2016)

Grewe, Sylvia and Erdweg, Sebastian and Wittmann, Pascal and Mezini, Mira :
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
[Online-Edition: http://doi.acm.org/10.1145/2814228.2814239]
In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015. ACM , pp. 137-150.
[Book Section] , (2015)

This list was generated on Sat Apr 20 00:51:19 2019 CEST.