Automated Reasoning with Theories and Induction for Software Technologies


Project Acronym Projekt Kurzbezeichnung
ARTIST
 
Project Title (de) Projekttitel (de)
Automated Reasoning with Theories and Induction for Software Technologies
 
Project Title (en) Projekttitel (en)
Automated Reasoning with Theories and Induction for Software Technologies
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
ERC Consolidator Grant 2020
 

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

PreviewAuthor(s)TitleTypeIssue Date
1Sochor, Hannes ; Ferrarotti, Flavio ; Kaufmann, Daniela Fuzzing-based grammar learning from a minimal set of seed inputsArticle Artikel Mar-2024
2Eisenhofer-2024-Embedding the Connection Calculus in Satisfiability Modul...-vor.pdf.jpgEisenhofer, Clemens ; Kovacs, Laura ; Rawson, Michael Embedding the Connection Calculus in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag Jan-2024
3Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian A Formalization of Heisenbugs and Their CausesInproceedings Konferenzbeitrag 31-Oct-2023
4Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang Lemmas: Generation, Selection, ApplicationInproceedings Konferenzbeitrag 14-Sep-2023
5Eisenhofer-2023-Non-Classical Logics inSatisfiability Modulo Theories-vor.pdf.jpgEisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura Non-Classical Logics in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag 14-Sep-2023
6Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael Superposition with Delayed UnificationInproceedings Konferenzbeitrag 2-Sep-2023
7Hozzová, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei Program Synthesis in SaturationInproceedings Konferenzbeitrag 2-Sep-2023
8Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James The Membership Problem for Hypergeometric Sequences with Quadratic ParametersInproceedings Konferenzbeitrag 24-Jul-2023
9Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James Positivity Problems for Reversible Linear Recurrence SequencesInproceedings Konferenzbeitrag 5-Jul-2023
10Kenison, George James ; Kovacs, Laura ; Varonka, Anton From Polynomial Invariants to Linear LoopsInproceedings Konferenzbeitrag Jul-2023
11Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav Overapproximation of Non-Linear Integer Arithmetic for Smart Contract VerificationInproceedings Konferenzbeitrag 3-Jun-2023
12Bhayat, Ahmed ; Korovin, Konstantin ; Kovacs, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023
13Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura SMT Solving over Finite Field ArithmeticInproceedings Konferenzbeitrag Jun-2023
14Kovács, Laura Symbolic Computation in Automated Program ReasoningInproceedings Konferenzbeitrag 3-Mar-2023
15Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura Satisfiability Modulo Custom Theories in Z3Inproceedings Konferenzbeitrag Jan-2023
16Kovacs, Laura Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)Inproceedings Konferenzbeitrag2023
17Kovács, Laura Algebra-Based Loop AnalysisInproceedings Konferenzbeitrag2023
18Korovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei ALASCA: Reasoning in Quantified Linear ArithmeticInproceedings Konferenzbeitrag 2023
19Kovács, Laura ; Varonka, Anton What Else is Undecidable About Loops?Inproceedings Konferenzbeitrag 2023
20Kovacs, Laura First-Order Theorem Proving and VampirePresentation Vortrag6-Dec-2022