Friedrich Gretz

Photo of Friedrich Gretz

Email: fgretz@cs.rwth-aachen.de
Address: Room 4210
Ahornstraße 55
D-52074 Aachen
Phone: +49 241 80 21203

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

Formal methods for qualitative and quantitative systems
Deductive reasoning methods for quantitative systems
Formal semantics of high level specification languages

Publications

2016

Conference paper
On the Semantic Intricacies of Conditioning
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo Beron
[1st Workshop on Probabilistic Programming Semantics, PPS 2016, 20.01.2016-23.01.2016, St. Petersburg, Florida, USA
PDF of On the Semantic Intricacies of Conditioning RWTH record for On the Semantic Intricacies of Conditioning BibTeX for On the Semantic Intricacies of Conditioning
PhD thesis
Semantics and loop invariant synthesis for probabilistic programs
Friedrich Gretz
Aachen, Techn. Hochsch.
Advisers: Joost-Pieter Katoen, Sriram Sankaranarayanan
PDF of Semantics and loop invariant synthesis for probabilistic programs RWTH record for Semantics and loop invariant synthesis for probabilistic programs BibTeX for Semantics and loop invariant synthesis for probabilistic programs

2015

Conference paper
Understanding Probabilistic Programs
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo Beron
Correct system design
RWTH record for Understanding Probabilistic Programs BibTeX for Understanding Probabilistic Programs
Journal article
Conditioning in Probabilistic Programming
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver
Electronic notes in theoretical computer science
PDF of Conditioning in Probabilistic Programming RWTH record for Conditioning in Probabilistic Programming BibTeX for Conditioning in Probabilistic Programming

2014

Journal article
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
Performance evaluation
RWTH record for Operational versus weakest pre-expectation semantics for the probabilistic guarded command language BibTeX for Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

2013

Conference paper
PRINSYS : - on a Quest for Probabilistic Loop Invariants
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
Quantitative evaluation of systems
RWTH record for PRINSYS : - on a Quest for Probabilistic Loop Invariants BibTeX for PRINSYS : - on a Quest for Probabilistic Loop Invariants

2012

Conference paper
Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST), London, UK 17-20 September 2012,
RWTH record for Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language BibTeX for Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language

All records on RWTH Publications