Marcel Moosbrugger

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 18

Top Topics

Termination Analysis

Moment 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)
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. CoRR (2023)
Marcel Moosbrugger, Julian Müllner, Laura Kovács
Automated Sensitivity Analysis for Probabilistic Loops. CoRR (2023)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
(Un)Solvable Loop Analysis. 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)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. SAS (2022)
Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura
Distribution Estimation for Probabilistic Loops. QEST (2022)
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
This is the Moment for Probabilistic Loops. CoRR (2022)
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
This is the moment for probabilistic loops. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
The probabilistic termination tool amber. Formal Methods Syst. Des. 61 (1) (2022)
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. CoRR (2022)
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. QEST (2022)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. CoRR (2022)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
The Probabilistic Termination Tool Amber. CoRR (2021)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
The Probabilistic Termination Tool Amber. FM (2021)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP (2021)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Automated Termination Analysis of Polynomial Probabilistic Programs. CoRR (2020)