BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Konecn=yacute=:Filip

Contributed to:

VMCAI 20142014
TACAS 20132013
FM 20122012
TACAS 20122012
CAV 20102010
CAV 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.