Friedrich Gretz

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 7

Top Venues

FDL

QEST

CoRR

Joint Workshop of the German Research Training Groups in Computer Science

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch
Extracting Mode Diagrams from Blech Code. FDL (2021)
Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. FDL (2020)
Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver
Conditioning in Probabilistic Programming. ACM Trans. Program. Lang. Syst. 40 (1) (2018)
Friedrich Gretz, Franz-Josef Grosch
Blech, Imperative Synchronous Programming! FDL (2018)
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo
Conditioning in Probabilistic Programming. CoRR (2015)
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver
Conditioning in Probabilistic Programming. MFPS (2015)
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
Understanding Probabilistic Programs. Correct System Design (2015)
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language. Perform. Evaluation 73 (2014)
Friedrich Gretz
Invariant Generation for Probabilistic Programs. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
Prinsys - On a Quest for Probabilistic Loop Invariants. QEST (2013)
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. QEST (2012)

Friedrich Gretz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Friedrich Gretz