Filip Konecný

According to our database, Filip Konecný authored at least 11 papers between 2009 and 2017.

Collaborative distances:

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

2017

Underapproximation of procedure summaries for integer programs.

Pierre Ganty, Radu Iosif, Filip Konecný

Int. J. Softw. Tools Technol. Transf., 2017

2016

PTIME Computation of Transitive Closures of Octagonal Relations.

Filip Konecný

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

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

Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2015

2014

Deciding Conditional Termination

Marius Bozga, Radu Iosif, Filip Konecný

Log. Methods Comput. Sci., 2014

Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops.

Marius Bozga, Radu Iosif, Filip Konecný

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

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ý

PhD thesis, 2012

A Verification Toolkit for Numerical Transition Systems - Tool Paper.

Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer

Proceedings of the FM 2012: Formal Methods, 2012

Accelerating Interpolants.

Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer

Proceedings of the Automated Technology for Verification and Analysis, 2012

2010

Fast Acceleration of Ultimately Periodic Relations.

Marius Bozga, Radu Iosif, Filip Konecný

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Tool Demonstration of the FLATA Counter Automata Toolset.

Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Automatic Verification of Integer Array Programs.

Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar

Proceedings of the Computer Aided Verification, 21st International Conference, 2009