Marcel Moosbrugger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Correction to: ``(Un)solvable loop analysis'' Formal Methods in System Design	2025-12-09	Paper
(Un)solvable loop analysis Formal Methods in System Design	2025-05-07	Paper
Exact and approximate moment derivation for probabilistic loops with non-polynomial assignments ACM Transactions on Modeling and Computer Simulation	2024-11-15	Paper
The probabilistic termination tool amber Formal Methods in System Design	2024-01-08	Paper
Solving invariant generation for unsolvable loops Static Analysis	2023-07-28	Paper
Moment-based invariants for probabilistic loops with non-polynomial assignments Quantitative Evaluation of Systems	2023-06-02	Paper
Distribution estimation for probabilistic loops Quantitative Evaluation of Systems	2023-06-02	Paper
Automated termination analysis of polynomial probabilistic programs (available as arXiv preprint)	2021-10-18	Paper
Encoding structural information uniquely with polynomial-based descriptors by employing the Randić matrix Applied Mathematics and Computation	2019-03-18	Paper

Research outcomes over time

This page was built for person: Marcel Moosbrugger