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

2017Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
Autoři: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš
2015dWiNA - Implementace rozhodovací procedury pro WS1S, software, 2015
Autoři: Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar Tomáš
 INCLUDER (tracer): Nástroj pro rozhodování běhové inkluze pro automaty nad daty, software, 2015
Autoři: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš
2014HADES (Hazard Detection System), software, 2014
Autoři: Charvát Lukáš, Smrčka Aleš, Vojnar Tomáš
 SLIDE: Separační logika s induktivními definicemi, software, 2014
Autoři: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš
 SPEN - Rozhodovací procedura pro separační logiku, software, 2014
Autoři: Enea Constantin, Lengál Ondřej, Sighireanu Mihaela, Vojnar Tomáš
2013CPAlien: Konfigurovatelná analýza programů nad symbolickými paměťovými grafy, software, 2013
Autoři: Müller Petr, Vojnar Tomáš
2012Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, software, 2012
Autoři: Fiedor Jan, Vojnar Tomáš
 VATA: 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: Dudka Vendula, Fiedor Jan, 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: Dudka Vendula, Fiedor Jan, 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: 54.163.209.109
Přepnout na IPv6 spojení

DNSSEC [dnssec]