Jan Havlcek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2007–2013
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CAV | DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. | Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlcek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimr Still, Jir Weiser |
| 2009 | IVA | Extensions and Applications of Pogamut 3 Platform. | Rudolf Kadlec, Jakub Gemrot, Michal Bda, Ondrej Burkert, Jan Havlcek, Luks Zemck, Radek Pbil, Radim Vansa, Cyril Brom |
| 2007 | IVA | Towards Fast Prototyping of IVAs Behavior: Pogamut 2. | Ondrej Burkert, Rudolf Kadlec, Jakub Gemrot, Michal Bda, Jan Havlcek, Martin Drfler, Cyril Brom |