Friedrich Gretz

According to our database, Friedrich Gretz authored at least 11 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech.

Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele

ACM Trans. Embed. Comput. Syst., September, 2024

2021

Extracting Mode Diagrams from Blech Code.

Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch

Proceedings of the 24th Forum on specification & Design Languages, 2021

2020

Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech.

Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele

Proceedings of the Forum for Specification and Design Languages, 2020

2018

Blech, Imperative Synchronous Programming!

Friedrich Gretz, Franz-Josef Grosch

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2016

Semantics and loop invariant synthesis for probabilistic programs.

Friedrich Gretz

PhD thesis, 2016

2015

Conditioning in Probabilistic Programming.

Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Understanding Probabilistic Programs.

Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo

Proceedings of the Correct System Design, 2015

2014

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language.

Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver

Perform. Evaluation, 2014

Invariant Generation for Probabilistic Programs.

Friedrich Gretz

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

Prinsys - On a Quest for Probabilistic Loop Invariants.

Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2012

Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language.

Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012