Julian Müllner

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Sensitivity Analysis

Projective Invariants

Top Venues

Proc. ACM Program. Lang.

Publications

Julian Müllner, Marcel Moosbrugger, Laura Kovács
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Marcel Moosbrugger, Julian Müllner, Laura Kovács
Automated Sensitivity Analysis for Probabilistic Loops. CoRR (2023)
Marcel Moosbrugger, Julian Müllner, Laura Kovács
Automated Sensitivity Analysis for Probabilistic Loops. iFM (2023)
Julian Müllner, Marcel Moosbrugger, Laura Kovács
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. CoRR (2023)