Filip Konecný

ORCID

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 3

Top Venues

CoRR

TACAS

VMCAI

Int. J. Softw. Tools Technol. Transf.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Pierre Ganty, Radu Iosif, Filip Konecný
Underapproximation of procedure summaries for integer programs. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Filip Konecný
PTIME Computation of Transitive Closures of Octagonal Relations. TACAS (2016)
Kyle Fricke, Filip Konecný, Alexander El-Warrak, Chad Hodgson, Heather Cadieux-Pitre, Tracy Hill, Robert Sobot
Real-time telemetric physiologic recordings of ventricle pressure-volume in an awake swine model with histopathological evaluation. BioCAS (2015)
Marius Bozga, Radu Iosif, Filip Konecný
Deciding Conditional Termination Log. Methods Comput. Sci. 10 (3) (2014)
Marius Bozga, Radu Iosif, Filip Konecný
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. VMCAI (2014)
Filip Konecný
PTIME Computation of Transitive Closures of Octagonal Relations. CoRR (2014)
Marius Bozga, Radu Iosif, Filip Konecný
Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops. CoRR (2013)
Pierre Ganty, Radu Iosif, Filip Konecný
Underapproximation of Procedure Summaries for Integer Programs. TACAS (2013)
Marius Bozga, Radu Iosif, Filip Konecný
Deciding Conditional Termination. TACAS (2012)
Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer
Accelerating Interpolants. ATVA (2012)
Pierre Ganty, Radu Iosif, Filip Konecný
Underapproximation of Procedure Summaries for Integer Programs CoRR (2012)
Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer
A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM (2012)
Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar
Tool Demonstration of the FLATA Counter Automata Toolset. WING@ETAPS/IJCAR (2010)
Marius Bozga, Radu Iosif, Filip Konecný
Fast Acceleration of Ultimately Periodic Relations. CAV (2010)
Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar
Automatic Verification of Integer Array Programs. CAV (2009)

Filip Konecný.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Filip Konecný