Distribution Recovery for Invariant Generation of Probabilistic


Project Acronym Projekt Kurzbezeichnung
ProbInG
 
Project Title (de) Projekttitel (de)
Distribution Recovery for Invariant Generation of Probabilistic
 
Project Title (en) Projekttitel (en)
Distribution Recovery for Invariant Generation of Probabilistic Programs
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT19-018
 

Publications

Results 1-20 of 20 (Search time: 0.016 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Mining Specification Parameters for Multi-class ClassificationInproceedings Konferenzbeitrag 1-Oct-2023
2Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie Deductive Controller Synthesis for Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023
3Garlich, Lina ; Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Introducing Asynchronicity to Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023
4Chiari-2023-ACM Transactions on Programming Languages and Systems-vor.pdf.jpgChiari, Michele ; Mandrioli, Dino ; Pontiggia, Francesco ; Pradella, Matteo A model checker for operator precedence languagesArticle Artikel Sep-2023
5Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James The Membership Problem for Hypergeometric Sequences with Quadratic ParametersInproceedings Konferenzbeitrag 24-Jul-2023
6Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James Positivity Problems for Reversible Linear Recurrence SequencesInproceedings Konferenzbeitrag 5-Jul-2023
7Kenison, George James ; Kovacs, Laura ; Varonka, Anton From Polynomial Invariants to Linear LoopsInproceedings Konferenzbeitrag Jul-2023
8Song, Minsun ; Bura, Efstathia ; Parzer, Roman ; Pfeiffer, Ruth Structured time-dependent inverse regression (STIR)Article Artikel 14-Mar-2023
9Kovács, Laura Symbolic Computation in Automated Program ReasoningInproceedings Konferenzbeitrag 3-Mar-2023
10Kovacs, Laura Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)Inproceedings Konferenzbeitrag2023
11Kovács, Laura Algebra-Based Loop AnalysisInproceedings Konferenzbeitrag2023
12Kovács, Laura ; Varonka, Anton What Else is Undecidable About Loops?Inproceedings Konferenzbeitrag 2023
13Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia Distribution Estimation for Probabilistic LoopsInproceedings Konferenzbeitrag 12-Sep-2022
14Kenison, George On the Skolem Problem for Reversible SequencesInproceedings Konferenzbeitrag22-Aug-2022
15Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovacs, Laura The probabilistic termination tool amberArticle Artikel Aug-2022
16Brune, Barbara ; Scherrer, Wolfgang ; Bura, Efstathia A state-space approach to time-varying reduced-rank regressionArticle Artikel 28-May-2022
17Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura Algebra-Based Reasoning for Loop SynthesisArticle Artikel 1-Apr-2022
18Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsInproceedings Konferenzbeitrag 2022
19Fertl, Lukas ; Bura, Efstathia The ensemble conditional variance estimator for sufficient dimension reductionArticle Artikel 2022
20Kenison-2021-On Positivity and Minimality for Second-Order Holonomic Sequ...-vor.pdf.jpgKenison, George James ; Klurman, Oleksiy ; Lefaucheux, Engel ; Luca, Florian ; Moree, Pieter ; Ouaknine, Joël ; Whiteland, Markus ; Worrell, James On Positivity and Minimality for Second-Order Holonomic SequencesInproceedings Konferenzbeitrag 1-Aug-2021