Jiri Simacek

About Me

I've been a PhD student since 2008/2009. My supervisors are Radu Iosif (VERIMAG) and Tomas Vojnar (Faculty of Information Technology). I'm a member of the DCS group at VERIMAG and I'm also a member of the VeriFIT group at Faculty of Information Technology.

Research

I'm currently working on a new method for verification of programs manipulating complex data structures (pointers) using finite tree automata.

Recent Publications

[1]

Simacek Jiri, Sekanina Lukas, Starecek Lukas: Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time, In: Evolvable Systems: From Biology to Hardware, Berlin, DE, Springer, 2010, p. 214-225, ISBN 978-3-642-15322-8

[2]

Holik Lukas, Simacek Jiri: Optimizing an LTS-Simulation Algorithm, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, FI MU, 2009, s. 93-101, ISBN 978-80-8734-204-6

Contact

simacek AT imag.fr

VERIMAG
Centre Équation – 2, avenue de Vignate
38610 Gières
France

isimacek AT fit.vutbr.cz

Faculty of Information Technology
Bozetechova 2
612 66 Brno
Czech Republic