Filip Konecny

Contact

filip.konecny AT imag.fr

VERIMAG

2, avenue de Vignate

38610 GIERES

FRANCE

ikonecny AT fit.vutbr.cz

Faculty of Information Technology

Bozetechova 2

612 66 BRNO

CZECH REPUBLIC

tel: +420 541 141 331

fax: +420 541 141 270

Since January 2009, I have been a PhD student at VERIMAG laboratory in Grenoble in the DCS group under the supervision of Radu Iosif. The study is done under the cotutelle program, the partner institution being the FIT faculty at the Brno University of Technology, where my supervisor is Tomas Vojnar. The topic of my thesis is Symbolic Verification of Programs Using Counter Automata and Related Formalisms.

Publications

Marius Bozga, Radu Iosif and Filip Konecny: Fast Acceleration of Ultimately Periodic Relations. In Proc. of CAV'10 volume 6174 of LNCS, pages 227-242, 2010. Springer-Verlag
[ bib | pdf | ps | springerlink | techreport ]

Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecny and Tomas Vojnar: Automatic Verification of Integer Array Programs. In Proc. of CAV'09 volume 5643 of LNCS, pages 157-172, 2009. Springer-Verlag
[ bib | pdf | ps | springerlink ]

Tools

FLATA - tool for analysis of counter automata

Education

2008 Ing. (Master's degree, equivalent to BAC+5) at the Faculty of Information Technology, Brno University of Technology.
2005 Bc. (Bachelor's degree, equivalent to BAC+3) at the Faculty of Information Technology, Brno University of Technology.
2003 Baccalaureate at the Gymnazium Brno, trida Kapitana Jarose 14