Marcel Moosbrugger

23 papers A 1B 3Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Polar: An Algebraic Analyzer for (Probabilistic) Loops.
CoRR
Marcel Moosbrugger, Julian Müllner, Ezio Bartocci, Laura Kovács
2025 J jnl
(Un)Solvable loop analysis.
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2025 J jnl
Correction: (Un)Solvable loop analysis.
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2024 J jnl
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.
ACM Trans. Model. Comput. Simul.
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2024 — conf
Polar: An Algebraic Analyzer for (Probabilistic) Loops.
Principles of Verification (1)
Marcel Moosbrugger, Julian Müllner, Ezio Bartocci, Laura Kovács
2024 J jnl
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs.
Proc. ACM Program. Lang.
Julian Müllner, Marcel Moosbrugger, Laura Kovács
2023 J jnl
(Un)Solvable Loop Analysis.
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2023 B conf
Automated Sensitivity Analysis for Probabilistic Loops.
iFM
Marcel Moosbrugger, Julian Müllner, Laura Kovács
2023 J jnl
Automated Sensitivity Analysis for Probabilistic Loops.
CoRR
Marcel Moosbrugger, Julian Müllner, Laura Kovács
2023 J jnl
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.
CoRR
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2023 J jnl
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs.
CoRR
Julian Müllner, Marcel Moosbrugger, Laura Kovács
2022 — conf
Distribution Estimation for Probabilistic Loops.
QEST
Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura
2022 — conf
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments.
QEST
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2022 J jnl
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.
CoRR
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2022 B conf
Solving Invariant Generation for Unsolvable Loops.
SAS
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2022 J jnl
Solving Invariant Generation for Unsolvable Loops.
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2022 J jnl
The probabilistic termination tool amber.
Formal Methods Syst. Des.
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2022 J jnl
This is the Moment for Probabilistic Loops.
CoRR
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
2022 J jnl
This is the moment for probabilistic loops.
Proc. ACM Program. Lang.
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
2021 A conf
Automated Termination Analysis of Polynomial Probabilistic Programs.
ESOP
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2021 B conf
The Probabilistic Termination Tool Amber.
FM
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2021 J jnl
The Probabilistic Termination Tool Amber.
CoRR
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2020 J jnl
Automated Termination Analysis of Polynomial Probabilistic Programs.
CoRR
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács