Sylvia Grewe - Wissenschaftliche Veröffentlichungen

(1 - 21 von 21

)

PPDP 2018: Call for Participation - curry - lists.rwth-aachen.de

lists.rwth-aachen.de

Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks - Sylvia Grewe, Sebastian Erdweg, André Pacak and ...

dblp: BibTeX records: Sylvia Grewe

dblp.uni-trier.de

List of computer science publications by BibTeX records: Sylvia Grewe

Sylvia Grewe – Software Technology Group – TU Darmstadt

www.stg.tu-darmstadt.de

I am a doctoral researcher in the Software Technology Group. I currently work on automating soundness proofs for type systems of domain specific languages. For a good overview of my current research vision, see my short publication at the SPLASH Doctoral Symposium 2016, for which I also received the John Vlissides Award

dblp: SPLASH Companion

dblp.uni-trier.de

Bibliographic content of SPLASH Companion

dblp: Sylvia Grewe

dblp.org

List of computer science publications by Sylvia Grewe

dblp: Sebastian Erdweg

dblp.uni-trier.de

List of computer science publications by Sebastian Erdweg

Modeling and Analysis of Information Systems » Publications

www.mais.informatik.tu-darmstadt.de

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock and Markus Tasch. An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.In Archive of Formal Proofs, [ BibTeX entry ] Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel and Johannes Schickel. An Evaluation of Bucketing in Systems with Non-Deterministic Timing Behavior.

dblp: Heiko Mantel

dblp.uni-trier.de

List of computer science publications by Heiko Mantel

PPDP 2018

ppdp-lopstr-18.cs.uni-frankfurt.de

Sylvia Grewe, Sebastian Erdweg, André Pacak and Mira Mezini. An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers Gopalan Nadathur and Yuting Wang .

dblp: Alexander Lux

dblp.uni-trier.de

List of computer science publications by Alexander Lux

Publications | Programming Languageswww.pl.informatik.uni-mainz.de › publications

www.pl.informatik.uni-mainz.de

Sylvia Grewe, Sebastian Erdweg, André Pacak, and Mira Mezini. In Proceedings of International Symposium on Principles and Practice of Declarative ...

dblp: Michael Raulf

dblp.uni-trier.de

List of computer science publications by Michael Raulf

Team | Programming Languages

www.pl.informatik.uni-mainz.de

... Sylvia Grewe (PhD 2019, TU Darmstadt, co-supervised with Mira Mezini); Luís Eduardo Souza Amorim (PhD 2019, TU Delft, co-supervised with Eelco Visser) ...