research
∙
05/21/2019
Lonely Points in Simplices
Given a lattice L in Z^m and a subset A of R^m, we say that a point in A...
share
research
∙
08/16/2018
Aligator.jl - A Julia Package for Loop Invariant Generation
We describe the Aligator.jl software package for automatically generatin...
research
∙
02/04/2018
Desingularization of First Order Linear Difference Systems with Rational Function Coefficients
It is well known that for a first order system of linear difference equa...
research
∙
01/11/2018
Invariant Generation for Multi-Path Loops with Polynomial Assignments
Program analysis requires the generation of program properties expressin...
research
∙
05/08/2017
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences
Analyzing and reasoning about safety properties of software systems beco...
research
∙
11/03/2015
Improved Polynomial Remainder Sequences for Ore Polynomials
Polynomial remainder sequences contain the intermediate results of the E...
research
∙
10/31/2015