Filip Konecný

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