Travelled to:1 × Estonia
1 × Italy
1 × USA
1 × United Kingdom
2 × France
Collaborated with:R.Iosif M.Bozga P.Ganty P.Habermehl T.Vojnar H.Hojjat F.Garnier V.Kuncak P.Rümmer
Talks about:program (3) integ (3) verif (2) underapproxim (1) procedur (1) transit (1) toolkit (1) summari (1) problem (1) octagon (1)
Person: Filip Konecný
DBLP: Konecn=yacute=:Filip
Contributed to:
2014
2013
20122012
20102009Wrote 6 papers:
- VMCAI-2014-BozgaIK #integer #problem #safety #source code
- Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.
- TACAS-2013-GantyIK #approximate #integer #source code #summary
- Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.
- FM-2012-HojjatKGIKR #tool support #verification
- A Verification Toolkit for Numerical Transition Systems — Tool Paper (HH, FK, FG, RI, VK, PR), pp. 247–251.
- TACAS-2012-BozgaIK #termination
- Deciding Conditional Termination (MB, RI, FK), pp. 252–266.
- CAV-2010-BozgaIK #performance
- Fast Acceleration of Ultimately Periodic Relations (MB, RI, FK), pp. 227–242.
- CAV-2009-BozgaHIKV #array #automation #integer #source code #verification
- Automatic Verification of Integer Array Programs (MB, PH, RI, FK, TV), pp. 157–172.