Friedrich Gretz

According to our database1, Friedrich Gretz authored at least 10 papers between 2012 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Extracting Mode Diagrams from Blech Code.
Proceedings of the 24th Forum on specification & Design Languages, 2021

2020
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech.
Proceedings of the Forum for Specification and Design Languages, 2020

2018
Blech, Imperative Synchronous Programming!
Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2016
Semantics and loop invariant synthesis for probabilistic programs.
PhD thesis, 2016

2015
Conditioning in Probabilistic Programming.
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Understanding Probabilistic Programs.
Proceedings of the Correct System Design, 2015

2014
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language.
Perform. Evaluation, 2014

Invariant Generation for Probabilistic Programs.
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.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2012
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012


  Loading...