Search dblp for Publications

• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 2024
• 
  Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura:
  Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. ACM Trans. Model. Comput. Simul. 34(3): 18:1-18:25 (2024)
• 
  Miroslav Stankovic, Ezio Bartocci:
  Probabilistic Loop Synthesis from Sequences of Moments. QEST+FORMATS 2024: 233-248
• 2023
• 
  Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
  (Un)Solvable Loop Analysis. CoRR abs/2306.01597 (2023)
• 
  Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura:
  Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. CoRR abs/2306.07072 (2023)
• 2022
• 
  Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
  This is the moment for probabilistic loops. Proc. ACM Program. Lang. 6(OOPSLA2): 1497-1525 (2022)
• 
  Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
  Moment-based analysis of Bayesian network properties. Theor. Comput. Sci. 903: 113-133 (2022)
• 
  Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura:
  Distribution Estimation for Probabilistic Loops. QEST 2022: 26-42
• 
  Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura:
  Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. QEST 2022: 3-25
• 
  Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
  Solving Invariant Generation for Unsolvable Loops. SAS 2022: 19-43
• 
  Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
  This is the Moment for Probabilistic Loops - Artifact (Polar). Version 4. Zenodo, 2022 [all versions] 
• 
  Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
  This is the Moment for Probabilistic Loops - Artifact (Polar). Version 3. Zenodo, 2022 [all versions] 
• 
  Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
  This is the Moment for Probabilistic Loops - Artifact (Polar). Version 2. Zenodo, 2022 [all versions] 
• 
  Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
  This is the Moment for Probabilistic Loops - Artifact (Polar). Version 1. Zenodo, 2022 [all versions] 
• 
  Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
  This is the Moment for Probabilistic Loops - Artifact (Polar). Multiple versions. Zenodo, 2022 [all versions] 
• 
  Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
  This is the Moment for Probabilistic Loops. CoRR abs/2204.07185 (2022)
• 
  Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura:
  Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. CoRR abs/2205.02577 (2022)
• 
  Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
  Solving Invariant Generation for Unsolvable Loops. CoRR abs/2206.06943 (2022)
• 2021
• 
  Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
  MORA - Automatic Generation of Moment-Based Invariants. CoRR abs/2103.03908 (2021)
• 2020
• 
  Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
  Analysis of Bayesian Networks via Prob-Solvable Loops. ICTAC 2020: 221-241
• 
  Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
  Mora - Automatic Generation of Moment-Based Invariants. TACAS (1) 2020: 492-498
• 
  Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
  Analysis of Bayesian Networks via Prob-Solvable Loops. CoRR abs/2007.09450 (2020)
• 2019
• 
  Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
  Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA 2019: 255-276
• 
  Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
  Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. CoRR abs/1905.02835 (2019)