Automatic Verification of Integer Array Programs. - Marius Bozga; Peter Habermehl; Radu Iosif; Filip Konecný; Tomás Vojnar (CAV, 2009)

Tool Demonstration of the FLATA Counter Automata Toolset. - Marius Bozga; Radu Iosif; Filip Konecný; Tomás Vojnar (WING@ETAPS/IJCAR, 2010)

Fast Acceleration of Ultimately Periodic Relations. - Marius Bozga; Radu Iosif; Filip Konecný (CAV, 2010)

Accelerating Interpolants. - Hossein Hojjat; Radu Iosif; Filip Konecný; Viktor Kuncak; Philipp Rümmer (ATVA, 2012)

A Verification Toolkit for Numerical Transition Systems - Tool Paper. - Hossein Hojjat; Filip Konecný; Florent Garnier; Radu Iosif; Viktor Kuncak; Philipp Rümmer (FM, 2012)

Relační verifikace programů s celočíselnými daty (Relational Verification of Programs with Integer Data; Vérification relationnelle pour des programmes avec des données entières). - Filip Konecný (2012)

Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. - Marius Bozga; Radu Iosif; Filip Konecný (VMCAI, 2014)

Deciding Conditional Termination - Marius Bozga; Radu Iosif; Filip Konecný (Log. Methods Comput. Sci., 2014)

Real-time telemetric physiologic recordings of ventricle pressure-volume in an awake swine model with histopathological evaluation. - Kyle Fricke; Filip Konecný; Alexander El-Warrak; Chad Hodgson; Heather Cadieux-Pitre; Tracy Hill; Robert Sobot (BioCAS, 2015)

PTIME Computation of Transitive Closures of Octagonal Relations. - Filip Konecný (TACAS, 2016)

Underapproximation of procedure summaries for integer programs. - Pierre Ganty; Radu Iosif; Filip Konecný (Int. J. Softw. Tools Technol. Transf., 2017)