| 2016 | TACAS | PTIME Computation of Transitive Closures of Octagonal Relations. | Filip Konecn |
| 2014 | VMCAI | Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. | Marius Bozga, Radu Iosif, Filip Konecn |
| 2013 | TACAS | Underapproximation of Procedure Summaries for Integer Programs. | Pierre Ganty, Radu Iosif, Filip Konecn |
| 2012 | ATVA | Accelerating Interpolants. | Hossein Hojjat, Radu Iosif, Filip Konecn, Viktor Kuncak, Philipp Rmmer |
| 2012 | FM | A Verification Toolkit for Numerical Transition Systems - Tool Paper. | Hossein Hojjat, Filip Konecn, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rmmer |
| 2012 | TACAS | Deciding Conditional Termination. | Marius Bozga, Radu Iosif, Filip Konecn |
| 2010 | CADE | Tool Demonstration of the FLATA Counter Automata Toolset. | Marius Bozga, Radu Iosif, Filip Konecn, Toms Vojnar |
| 2010 | CAV | Fast Acceleration of Ultimately Periodic Relations. | Marius Bozga, Radu Iosif, Filip Konecn |
| 2009 | CAV | Automatic Verification of Integer Array Programs. | Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecn, Toms Vojnar |