Friedrich Gretz

13 papers B 1C 3Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech.
ACM Trans. Embed. Comput. Syst.
Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele
2021 C conf
Extracting Mode Diagrams from Blech Code.
FDL
Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch
2020 C conf
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech.
FDL
Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele
2018 C conf
Blech, Imperative Synchronous Programming!
FDL
Friedrich Gretz, Franz-Josef Grosch
2018 J jnl
Conditioning in Probabilistic Programming.
ACM Trans. Program. Lang. Syst.
Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver
2016 — —
Semantics and loop invariant synthesis for probabilistic programs.
Friedrich Gretz
2015 J jnl
Conditioning in Probabilistic Programming.
CoRR
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo
2015 B conf
Conditioning in Probabilistic Programming.
MFPS
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver
2015 — conf
Understanding Probabilistic Programs.
Correct System Design
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
2014 — conf
Invariant Generation for Probabilistic Programs.
Joint Workshop of the German Research Training Groups in Computer Science
Friedrich Gretz
2014 J jnl
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language.
Perform. Evaluation
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2013 — conf
Prinsys - On a Quest for Probabilistic Loop Invariants.
QEST
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2012 — conf
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language.
QEST
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver