Marcel Moosbrugger

According to our database, Marcel Moosbrugger authored at least 15 papers between 2021 and 2025.

Collaborative distances:

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

2025

(Un)Solvable loop analysis.

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic

Formal Methods Syst. Des., April, 2025

2024

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.

Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura

ACM Trans. Model. Comput. Simul., July, 2024

Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs.

Julian Müllner, Marcel Moosbrugger, Laura Kovács

Proc. ACM Program. Lang., January, 2024

Polar: An Algebraic Analyzer for (Probabilistic) Loops.

Marcel Moosbrugger, Julian Müllner, Ezio Bartocci, Laura Kovács

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Automated Sensitivity Analysis for Probabilistic Loops.

Marcel Moosbrugger, Julian Müllner, Laura Kovács

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

The probabilistic termination tool amber.

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

Formal Methods Syst. Des., August, 2022

This is the Moment for Probabilistic Loops - Artifact (Polar).

Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács

Dataset, July, 2022

This is the Moment for Probabilistic Loops - Artifact (Polar).

Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács

Dataset, July, 2022

This is the Moment for Probabilistic Loops - Artifact (Polar).

Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács

Dataset, July, 2022

This is the Moment for Probabilistic Loops - Artifact (Polar).

Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács

Dataset, July, 2022

This is the moment for probabilistic loops.

Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács

Proc. ACM Program. Lang., 2022

Solving Invariant Generation for Unsolvable Loops.

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic

Proceedings of the Static Analysis - 29th International Symposium, 2022

Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments.

Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Distribution Estimation for Probabilistic Loops.

Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Automated Termination Analysis of Polynomial Probabilistic Programs.

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

Proceedings of the Programming Languages and Systems, 2021