Friedrich Gretz

Photo of Friedrich Gretz

Email: fgretz at 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

2018
DOI	Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle Mciver. Conditioning in Probabilistic Programming, 4, Association for Computing Machinery, 2018.
2016
	Friedrich Gretz. Semantics and loop invariant synthesis for probabilistic programs, Publikationsserver der RWTH Aachen University, 2016.
	Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo Beron. On the Semantic Intricacies of Conditioning, [1st workshop on probabilistic programming semantics, PPS 2016, 20.01.2016-23.01.2016, st. Petersburg, florida, USA : Extended abstracts], 2 Seiten, 2016.
2015
DOI	Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver. Conditioning in Probabilistic Programming, 199-216, Elsevier Science, 2015.
DOI	Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo Beron. Understanding Probabilistic Programs, Correct system design : Symposium in honor of ernst-rüdiger olderog on the occasion of his 60th birthday, oldenburg, germany, september 8-9, 2015, proceedings / roland meyer, andré platzer, heike wehrheim (eds.), 15-32, Springer International Publishing, 2015.
2014
DOI	Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus weakest pre-expectation semantics for the probabilistic guarded command language, 110-132, Elsevier, 2014.
2013
DOI	Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. PRINSYS : - on a Quest for Probabilistic Loop Invariants, Quantitative evaluation of systems : 10th international conference, QEST 2013, buenos aires, argentina, august 27-30, 2013 ; proceedings / kaustubh joshi ... (ed.), 172-187, Springer, 2013.
2012
DOI	Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language, 2012 ninth international conference on quantitative evaluation of systems (QEST), london, UK 17-20 september 2012,, 168-177, IEEE CS Press, 2012.