Prof. Ing. Tomáš Vojnar, Ph.D.

2012VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty, software, 2012
Autoři: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš
2011Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
Autoři: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš
2010Forester: Nástroj pro verifikaci programů s ukazateli, software, 2010
Autoři: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
 Framework pro formální verifikaci asynchronních komponent, software, 2010
Autoři: Smrčka Aleš, Vojnar Tomáš
 libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty, software, 2010
Autoři: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš
 Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
Autoři: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš
 Predator: Nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice, software, 2010
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš
 Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu, software, 2010
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš
 Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software, 2010
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2009FLATA, software, 2009
Autoři: Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif Radu
 Nástroj pro výpočet simulací, software, 2009
Autoři: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš
2008Nástroj pro detekci a opravu chyb v atomicitě programů, software, 2008
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2007ARTMC - Abstraktní regulární stromový model checking, software, 2007
Autoři: Rogalewicz Adam, Vojnar Tomáš
 Nástroj pro detekci a opravu časově závislých chyb v Javě, software, 2007
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
 Překladač VHDL designu do čítačového automatu, software, 2007
Autoři: Smrčka Aleš, Vojnar Tomáš
2003PNtalk systém (v. 96), vyvíjený produkt, 2003
Autoři: Janoušek Vladimír, Vojnar Tomáš

Vaše IPv4 adresa: 38.107.179.212
Přepnout na IPv6 spojení

DNSSEC [dnssec]