Name Card

Full name Familienname, Vorname
Moosbrugger, Marcel
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-10 of 10 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Müllner, Julian ; Moosbrugger, Marcel ; Kovács, Laura Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) ProgramsArticle Artikel 5-Jan-2024
2Moosbrugger, Marcel ; Müllner, Julian ; Kovács, Laura Automated Sensitivity Analysis for Probabilistic LoopsInproceedings Konferenzbeitrag 6-Nov-2023
3Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura This Is the Moment for Probabilistic LoopsArticle Artikel 31-Oct-2022
4Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia Distribution Estimation for Probabilistic LoopsInproceedings Konferenzbeitrag 12-Sep-2022
5Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovacs, Laura The probabilistic termination tool amberArticle Artikel Aug-2022
6Amrollahi , Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovács, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav Solving Invariant Generation for Unsolvable LoopsInproceedings Konferenzbeitrag 2022
7Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsInproceedings Konferenzbeitrag 2022
8Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings2021
9Marcel Moosbrugger ; Ezio Bartocci ; Katoen, Joost-Pieter ; Laura Kovács The Probabilistic Termination Tool AmberInproceedings Konferenzbeitrag 2021
10Moosbrugger Marcel - 2020 - Automating termination analysis of probabilistic...pdf.jpgMoosbrugger, Marcel Automating termination analysis of probabilistic programsThesis Hochschulschrift 2020