Andreas Humenberger

According to our database, Andreas Humenberger authored at least 8 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Algebra-Based Reasoning for Loop Synthesis.

Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács

Formal Aspects Comput., 2022

2021

Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper).

Andreas Humenberger, Laura Kovács

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Algebra-based Loop Synthesis.

Andreas Humenberger, Laura Kovács

CoRR, 2020

Algebra-Based Loop Synthesis.

Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2018

Invariant Generation for Multi-Path Loops with Polynomial Assignments.

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Aligator.jl - A Julia Package for Loop Invariant Generation.

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

2017

Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences.

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.

Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer

IEEE Trans. Comput. Intell. AI Games, 2016