Automated Reasoning with Theories and Induction for Software Technology

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan

Data management plan detailing collection/processing/storing project data

Veröffentlichungen

Program Synthesis in Saturation

Autoren: Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov
Veröffentlicht in: Proceedings of the 29th International Conference on Automated Deduction (CADE), 2023, Seite(n) 307-324
Herausgeber: Springer
DOI: 10.1007/978-3-031-38499-8_18

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

Autoren: George Kenison; Klara Nosan; Mahsa Shirmohammadi; James Worrell
Veröffentlicht in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (ISSAC), 2023, Seite(n) 407-416
Herausgeber: ACM
DOI: 10.1145/3597066.3597121

CheckMate: Automated Game-Theoretic Security Reasoning

Autoren: Lea Salome Brugger; Laura Kovács; Anja Petkovic Komel; Sophie Rain; Michael Rawson
Veröffentlicht in: CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, Seite(n) 1407–1421
Herausgeber: ACM
DOI: 10.1145/3576915.3623183

Saturating Sorting without Sorts

Autoren: Pamina Georgiou, Márton Hajdú, Laura Kovács
Veröffentlicht in: Proceedings of 25th Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-25), Ausgabe volume 100 of EPiC, 2024, Seite(n) 88-105
Herausgeber: EasyChair
DOI: 10.29007/rg9z

Superposition with Delayed Unification

Autoren: Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Veröffentlicht in: Proceedings of the 29th International Conference on Automated Deduction (CADE), 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-38499-8_2

The RAPID Software Verification Framework

Autoren: Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovacs, Giles Reger
Veröffentlicht in: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design (FMCAD), 2022, Seite(n) 255-260
Herausgeber: TU Wien Academic Press
DOI: 10.34727/2022/isbn.978-3-85448-053-2_32

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model

Autoren: Jeanteur, Simon; Kovács, Laura; Maffei, Matteo; Rawson, Michael
Veröffentlicht in: Proceedings of the 2024 IEEE Symposium on Security and Privacy (SP), 2024, ISBN 979-8-3503-3130-1
Herausgeber: IEEE
DOI: 10.48550/arxiv.2305.12173

Synthesis of Recursive Programs in Saturation

Autoren: Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner
Veröffentlicht in: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), Ausgabe volume 14739 of LNCS, 2024, Seite(n) 154-171
Herausgeber: Springer
DOI: 10.1007/978-3-031-63498-7_10

Rewriting and Inductive Reasoning

Autoren: Márton Hajdu, Laura Kovács, Michael Rawson
Veröffentlicht in: Proceedings of 25th Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-25), Ausgabe volume 100 of EPiC, 2024, Seite(n) 278-294
Herausgeber: EasyChair
DOI: 10.29007/vbfp

This Is the Moment for Probabilistic Loops

Autoren: Marcel Moosbrugger; Miroslav Stankovic; Laura Kovacs; Ezio Bartocci
Veröffentlicht in: Proceedings of the ACM on Programming Languages - OOPSLA, Ausgabe Volume 6, Ausgabe OOPSLA2, Article No.178, 2022, Seite(n) 1497-1525
Herausgeber: ACM
DOI: 10.48550/arxiv.2204.07185

Embedding the Connection Calculus in Satisfiability Modulo Theories

Autoren: Clemens Eisenhofer, Laura Kovacs and Michael Rawson
Veröffentlicht in: Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023), Ausgabe 3613, 2023, Seite(n) 54-63
Herausgeber: CEUR
DOI: 10.34726/5394

The Probabilistic Termination Tool Amber

Autoren: Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Veröffentlicht in: Proceedings of the 24th International Symposium on Formal Methods (FM), Ausgabe Lecture Notes in Computer Science, volume 13047, 2021, Seite(n) 667-675
Herausgeber: Springer
DOI: 10.1007/978-3-030-90870-6_36

Positivity Problems for Reversible Linear Recurrence Sequences

Autoren: George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell
Veröffentlicht in: Proceedings of the 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Ausgabe volume 261 of LIPIcs, 2023, Seite(n) 130:1-130:17
Herausgeber: LIPIcs
DOI: 10.4230/lipics.icalp.2023.130

From Polynomial Invariants to Linear Loops

Autoren: George Kenison; Laura Kovács; Anton Varonka
Veröffentlicht in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (ISSAC), 2023, Seite(n) 398--406
Herausgeber: ACM
DOI: 10.1145/3597066.3597109

Integer Induction in Saturation

Autoren: Petra Hozzová, Laura Kovács, Andrei Voronkov
Veröffentlicht in: Proceedings of the 28th International Conference on Automated Deduction (CADE), Ausgabe Lecture Notes in Computer Science, volume 12699, 2021, Seite(n) 361-377
Herausgeber: Springer
DOI: 10.1007/978-3-030-79876-5_21

Linear Loop Synthesis for Quadratic Invariants

Autoren: S. Hitarth, George Kenison, Laura Kovacs, Anton Varonka
Veröffentlicht in: Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), Ausgabe Volume 289, 2024, Seite(n) 41:1-41:18
Herausgeber: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.4230/lipics.stacs.2024.41

SAT-Based Subsumption Resolution

Autoren: Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
Veröffentlicht in: Proceedings of the 29th International Conference on Automated Deduction (CADE), 2023, Seite(n) 190-206
Herausgeber: Springer
DOI: 10.1007/978-3-031-38499-8_11

Inductive Benchmarks for Automated Reasoning

Autoren: Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Veröffentlicht in: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM), Ausgabe Lecture Notes in Computer Science, volume 12833, 2021, Seite(n) 124-129
Herausgeber: Springer
DOI: 10.1007/978-3-030-81097-9_9

On the Skolem Problem for Reversible Sequences

Autoren: George Kenison
Veröffentlicht in: Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS), Ausgabe LIPIcs, volume 241, 2022, Seite(n) 61:1-61:15
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2022.61

Reshaping Unplugged Computer Science Workshops for Primary School Education

Autoren: Martina Landman, Sophie Rain, Laura Kovács, Gerald Futschek
Veröffentlicht in: Proceedings of the 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives (ISSEP), 2023, Seite(n) 139-151
Herausgeber: Springer
DOI: 10.1007/978-3-031-44900-0_11

Algebra-Based Loop Analysis

Autoren: Laura Kovács
Veröffentlicht in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (ISSAC), 2023, Seite(n) 41-42
Herausgeber: ACM
DOI: 10.1145/3597066.3597150

Distribution Estimation for Probabilistic Loops

Autoren: Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura
Veröffentlicht in: Proceedings of the 19th International Conference on Quantitative Evaluation of Systems (QEST), Ausgabe Lecture Notes in Computer Science, volume 13479, 2022, Seite(n) 26-42
Herausgeber: Springer
DOI: 10.1007/978-3-031-16336-4_2

Lemmaless Induction in Trace Logic

Autoren: Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
Veröffentlicht in: Proceedings of the 15th International Conference on Intelligent Computer Mathematics (CICM), Ausgabe Lecture Notes in Computer Science, volume 13467, 2022, Seite(n) 191-208
Herausgeber: Springer
DOI: 10.1007/978-3-031-16681-5_14

Induction with Recursive Definitions in Superposition

Autoren: Márton Hajdu, Petra Hozzová, Laura Kovács, Andrei Voronkov
Veröffentlicht in: Proceedings of the 21st International Conference on Formal Methods in Computer Aided Design (FMCAD), 2021, Seite(n) 1-10
Herausgeber: IEEE
DOI: 10.34727/2021/isbn.978-3-85448-046-4_34

Refining Unification with Abstraction

Autoren: Ahmed Bhayat; Konstantin Korovin; Laura Kovacs; Johannes Schoisswohl
Veröffentlicht in: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Ausgabe Volume 94, 2023, Seite(n) 36-47
Herausgeber: EasyChair
DOI: 10.29007/h65j

Non-Classical Logics in Satisfiability Modulo Theories

Autoren: Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács
Veröffentlicht in: Proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2023, Seite(n) 24-36
Herausgeber: Springer
DOI: 10.1007/978-3-031-43513-3_2

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

Autoren: Julian Müllner, Marcel Moosbrugger, Laura Kovács
Veröffentlicht in: Proceedings of the ACM on Programming Languages (POPL), Ausgabe Volume 8, 2024, Seite(n) 882-910
Herausgeber: ACM
DOI: 10.1145/3632872

Towards a Game-Theoretic Security Analysis of Off-Chain Protocols

Autoren: Rain, Sophie; Avarikioti, Georgia; Kovács, Laura; Maffei, Matteo
Veröffentlicht in: Proceedings of the 36th IEEE Computer Security Foundations Symposium (CSF), 2023, Seite(n) 107-122
Herausgeber: IEEE
DOI: 10.1109/csf57540.2023.00003

Solving Invariant Generation for Unsolvable Loops

Autoren: Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Veröffentlicht in: Proceedings of the 29th International Symposium on Static Analysis (SAS), Ausgabe Lecture Notes in Computer Science, volume 13790, 2022, Seite(n) 19-43
Herausgeber: Springer
DOI: 10.1007/978-3-031-22308-2_3

Summing Up Smart Transitions

Autoren: Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács and Mooly Sagiv
Veröffentlicht in: Proceedings of the 33rd International Conference on Computer Aided Verification (CAV), Ausgabe Lecture Notes in Computer Science, Volume 12759, 2021, Seite(n) 317-340
Herausgeber: Springer
DOI: 10.1007/978-3-030-81685-8_15

Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)

Autoren: Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
Veröffentlicht in: Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR), Ausgabe CEUR Workshop Proceedings, volume 3201, 2022
Herausgeber: CEUR-WS.org

Automated Sensitivity Analysis for Probabilistic Loops

Autoren: Moosbrugger, Marcel; Müllner, Julian; Kovács, Laura
Veröffentlicht in: Proceedings of the 18th International Conference on integrated Formal Methods (iFM), 2023, Seite(n) 21-39
Herausgeber: Springer
DOI: 10.1007/978-3-031-47705-8_2

A Formalization of Heisenbugs and Their Causes

Autoren: Sarah Sallinger, Georg Weissenbacher, Florian Zuleger
Veröffentlicht in: Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM), 2023, Seite(n) 282–300
Herausgeber: Springer
DOI: 10.1007/978-3-031-47115-5_16

ALASCA: Reasoning in Quantified Linear Arithmetic

Autoren: Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov
Veröffentlicht in: Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2023, Seite(n) 647-665
Herausgeber: Springer
DOI: 10.1007/978-3-031-30823-9_33

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters

Autoren: George Kenison
Veröffentlicht in: Proceedings of the 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Ausgabe Volume 297 of LIPIcs, 2024, Seite(n) 145:1-145:20
Herausgeber: LIPIcs
DOI: 10.4230/lipics.icalp.2024.145

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification

Autoren: Petra Hozzová; Jaroslav Bendík; Alexander Nutz; Yoav Rodeh
Veröffentlicht in: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Ausgabe Volume 94, 2023, Seite(n) 257--269
Herausgeber: EasyChair
DOI: 10.29007/h4p7

Getting Saturated with Induction

Autoren: Márton Hajdu, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
Veröffentlicht in: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, Ausgabe Lecture Notes in Computer Science, volume13660, 2022, Seite(n) 306-322
Herausgeber: Springer
DOI: 10.1007/978-3-031-22337-2_15

VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic

Autoren: Johannes Schoisswohl, Laura Kovács, Konstantin Korovin
Veröffentlicht in: Proceedings of 25th Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-25), Ausgabe volume 100 of EPiC, 2024, Seite(n) 147-164
Herausgeber: EasyChair
DOI: 10.29007/kg4v

Lazy Reimplication in Chronological Backtracking

Autoren: Robin Coutelier, Mathias Fleury, Laura Kovács
Veröffentlicht in: Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), Ausgabe 305, 2024, Seite(n) 9:1-9:19
Herausgeber: Leibniz International Proceedings in Informatics, Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2024.9

The Vampire Approach to Induction (short paper)

Autoren: Márton Hajdu, Laura Kovács, Michael Rawson, Andrei Voronkov
Veröffentlicht in: Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR), Ausgabe CEUR Workshop Proceedings, volume 3201, 2022
Herausgeber: CEUR-WS.org

Lemmas: Generation, Selection, Application

Autoren: Rawson, Michael; Wernhard, Christoph; Zombori, Zsolt; Bibel, Wolfgang
Veröffentlicht in: Proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2023, Seite(n) 153-174
Herausgeber: Springer
DOI: 10.1007/978-3-031-43513-3_9

Induction in Saturation

Autoren: Laura Kovács, Petra Hozzová, Márton Hajdú, Andrei Voronkov
Veröffentlicht in: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), Ausgabe volume 14739 of LNCS, 2023, Seite(n) 21-29
Herausgeber: Springer
DOI: 10.1007/978-3-031-63498-7_2

What’s decidable about linear loops?

Autoren: Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe volume 6, number POPL, 2022, Seite(n) 1-25
Herausgeber: ACM
DOI: 10.1145/3498727

Satisfiability Modulo Custom Theories in Z3

Autoren: Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
Veröffentlicht in: Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), Ausgabe Lecture Notes in Computer Science, volume 13881, 2023, Seite(n) 91-105
Herausgeber: Springer
DOI: 10.1007/978-3-031-24950-1_5

User-Propagators for Custom Theories in SMT Solving

Autoren: Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
Veröffentlicht in: Proceedings of the 20th International Workshop on Satisfiability Modulo Theories (SMT_, Ausgabe CEUR Workshop Proceedings, volume 3185, 2022, Seite(n) 71-79
Herausgeber: CEUR-WS.org

On Positivity and Minimality for Second-Order Holonomic Sequences

Autoren: George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
Veröffentlicht in: Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Ausgabe LIPIcs, volume 202, 2021, Seite(n) 67:1--67:15
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2021.67

An SMT Approach for Solving Polynomials over Finite Fields

Autoren: Thomas Hader and Laura Kovács
Veröffentlicht in: Proceedings of the 20th International Workshop on Satisfiability Modulo Theories (SMT), Ausgabe CEUR Workshop Proceedings, volume 3185, 2022, Seite(n) 90-98
Herausgeber: CEUR-WS.org

Automating Induction by Reflection

Autoren: Johannes Schoisswohl, Laura Kovács
Veröffentlicht in: Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), Ausgabe EPTCS volume 337, 2021, Seite(n) 39-54
Herausgeber: EPTCS
DOI: 10.4204/eptcs.337.4

Reducibility Constraints in Superposition

Autoren: Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
Veröffentlicht in: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), Ausgabe volume 14739 of LNCS, 2024, Seite(n) 115-132
Herausgeber: Springer
DOI: 10.1007/978-3-031-63498-7_8

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments

Autoren: Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Veröffentlicht in: Proceedings of the 19th International Conference on Quantitative Evaluation of Systems (QEST), Ausgabe Lecture Notes in Computer Science, volume 13479, 2022, Seite(n) 3-25
Herausgeber: Springer
DOI: 10.1007/978-3-031-16336-4_1

Automated Generation of Exam Sheets for Automated Deduction

Autoren: Petra Hozzová, Laura Kovács, Jakob Rath
Veröffentlicht in: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM), Ausgabe Lecture Notes in Computer Science, volume 12833, 2021, Seite(n) 185-196
Herausgeber: Springer
DOI: 10.1007/978-3-030-81097-9_15

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper)

Autoren: Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
Veröffentlicht in: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), Ausgabe volume 14739 of LNCS, 2024, Seite(n) 386-395
Herausgeber: Springer
DOI: 10.1007/978-3-031-63498-7_23

Deductive Controller Synthesis for Probabilistic Hyperproperties

Autoren: Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Veröffentlicht in: Proceedings of the 20th International Conference on Quantitative Evaluation of Systems, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-43835-6_20

Scaling CheckMate for Game-Theoretic Security

Autoren: Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson
Veröffentlicht in: Proceedings of 25th Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-25), Ausgabe volume 100 or EPiC, 2024, Seite(n) 222-231
Herausgeber: EasyChair
DOI: 10.29007/llnq

SMT Solving over Finite Field Arithmetic

Autoren: Hader, Thomas; Kaufmann, Daniela; Kovács, Laura
Veröffentlicht in: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Ausgabe Volume 94, 2023, Seite(n) 238-256
Herausgeber: EasyChair
DOI: 10.29007/4n6w

Discrete & Computational Geometry / Lonely Points in Simplices

Autoren: Kauers, Manuel; Jaroschek, Maximilian; Kovács, Laura
Veröffentlicht in: Discrete and Computaational Geometry, Ausgabe Volume 69, Number 1, 2022, Seite(n) 4-25, ISSN 0179-5376
Herausgeber: Springer Verlag

(Un)Solvable Loop Analysis

Autoren: Amrollahi, Daneshvar; Bartocci, Ezio; Kenison, George; Kovács, Laura; Moosbrugger, Marcel; Stankovič, Miroslav
Veröffentlicht in: Formal Methods in System Design - FMSD, 2024, ISSN 1572-8102
Herausgeber: Springer
DOI: 10.1007/s10703-024-00455-0

The probabilistic termination tool amber

Autoren: Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
Veröffentlicht in: Formal methods in system design, Ausgabe 61(1), 2023, ISSN 0925-9856
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10703-023-00424-z

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

Autoren: Kofnov, Andrey; Moosbrugger, Marcel; Stankovič, Miroslav; Bartocci, Ezio; Bura, Efstathia
Veröffentlicht in: ACM Transactions on Modeling and Computer Simulation - TOMACS, Ausgabe Volume 34, Ausgabe 3, Article No. 18, 2024, Seite(n) 1-25, ISSN 1049-3301
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3641545

Moment-based analysis of Bayesian network properties

Autoren: Miroslav Stankovic, Ezio Bartocci, Laura Kovács
Veröffentlicht in: J. of Theoretical Computer Science, Ausgabe Volume 903, 2022, Seite(n) 113-133, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2021.12.021

Algebra-Based Reasoning for Loop Synthesis

Autoren: Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
Veröffentlicht in: Formal Aspects of Computing, Ausgabe volume 34, number 1, 2022, Seite(n) 1-31, ISSN 0934-5043
Herausgeber: Springer Verlag
DOI: 10.1145/3527458

Lonely Points in Simplices

Autoren: Maximilian Jaroschek, Manuel Kauers, Laura Kovács
Veröffentlicht in: Discrete and Computational Geometry, Ausgabe volume 69, number 1, 2023, Seite(n) 4-25, ISSN 0179-5376
Herausgeber: Springer Verlag
DOI: 10.1007/s00454-022-00428-2

Non-Linear SMT-Reasoning over Finite Fields

Autoren: Hader, Thomas
Veröffentlicht in: 2022
Herausgeber: TU Wien
DOI: 10.34726/hss.2022.89445

Non-Linear Reasoning in the Superposition Calculus

Autoren: Lackner, Andreas
Veröffentlicht in: 2022
Herausgeber: TU Wien
DOI: 10.34726/hss.2022.90765

Automating Proofs of Game-Theoretic Security Properties of Off-Chain Protocols

Autoren: Brugger, Lea Salome
Veröffentlicht in: 2022
Herausgeber: TU Wien
DOI: 10.34726/hss.2022.104340

Towards Automating Induction for Software Verification - Guiding Inductive Reasoning in Superposition-based Theorem Proving

Autoren: Pamina Georgiou
Veröffentlicht in: 2024
Herausgeber: TU Wien
DOI: 10.34726/hss.2024.123801

Moment-Based Loop Analysis

Autoren: Stankovic, Miroslav
Veröffentlicht in: 2023
Herausgeber: TU Wien
DOI: 10.34726/hss.2023.113863

Exact Inference for Probabilistic Loops

Autoren: Müllner, Julian
Veröffentlicht in: 2023
Herausgeber: TU Wien
DOI: 10.34726/hss.2023.107471

User propagators for satisfiability modulo custom theories

Autoren: Clemens Eisenhofer
Veröffentlicht in: 2022
Herausgeber: TU Wien
DOI: 10.34726/hss.2022.100221

Automated Analysis of Probabilistic Loops

Autoren: Marcel Moosbrugger
Veröffentlicht in: 2024
Herausgeber: TU Wien
DOI: 10.34726/hss.2024.123240

Suche nach OpenAIRE-Daten ...

Leistungen

Veröffentlichungen

Diese Seite teilen Diese Seite in sozialen Netzwerken teilen

Herunterladen Den Inhalt der Seite herunterladen