Ústav inteligentních systémů
Produkty, prototypy a software
| 2012 | HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA, software, 2012
Autoři: Šimková Marcela, Lengál Ondřej, Kajan Michal |
| | Prototypes 2012, software, 2012
Autoři: Janoušek Vladimír |
| | Sonda pro měření úhlu náběhu, funkční vzorek, 2012
Autoři: Marvan Aleš, Navrátil Jan, Zikmund Pavel |
| | 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áš |
| 2011 | Nástroj pro řešení problému s ordinálním hodnocením alternativ, software, 2011
Autoři: Fiedor Jan |
| | Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
Autoři: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš |
| | Ovládací dotyková jednotka RF Touch, prototyp, 2011
Autoři: Konečný Jiří, Holain Martin, Vávra Milan, Ticháček Jan, Drahanský Martin, Orság Filip |
| | Rastrová knihovna pro GIS systém GRASS 7, software, 2011
Autoři: Hrubý Martin |
| | RF vysílač: Bezdrátový teplotní senzor RFTI-10B, prototyp, 2011
Autoři: Konečný Jiří, Kolář Zdeněk, Vávra Milan, Drahanský Martin, Orság Filip, Váňa Jan, Dvořák Radim |
| | SmallDEVS for Squeak 4.3, software, 2011
Autoři: Janoušek Vladimír |
| | Spínací aktor s teplotním senzorem RFTSI-11B, prototyp, 2011
Autoři: Konečný Jiří, Vávra Milan, Kolář Zdeněk, Drahanský Martin, Orság Filip, Marvan Aleš, Hájek Josef |
| 2010 | AnalyzeThis: Analyzátor protokolů řízený pravidly, software, 2010
Autoři: Jurnečka Peter, Hanáček Petr |
| | ContextGraph: Simulační nástroj pro hierarchický model důvěry s kontexty, software, 2010
Autoři: Samek Jan, Zbořil František, Malačka Ondřej |
| | Forester: 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áš |
| | GSegmentator, software, 2010
Autoři: Doležel Michal |
| | GUI pro daktyloskopii, software, 2010
Autoři: Lodrová Dana |
| | GUI pro rychlé snímání otisků prstů, software, 2010
Autoři: Dluhoš Ondřej, Doležel Michal, Lodrová Dana |
| | 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áš |
| | Nástroj pro simulaci systémů hromadné obsluhy pomocí Petriho sítí, software, 2010
Autoři: Drozdová Martina, Zbořil František V. |
| | Nástroj pro verifikaci systémů popsaných formalismem Modechart, software, 2010
Autoři: Gach Marek, Fiedor Jan, Češka Milan |
| | Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software, 2010
Autoři: Fiedor Jan, Gach Marek, Češka Milan |
| | 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áš |
| | ReTIN: Real-Time Indexing - Indexování v reálném čase, software, 2010
Autoři: Chmelař Petr, Šebek Michal, Zendulka Jaroslav, Drozd Michal |
| | 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 |
| | T-Mass(X), Nástroj pro provádění multiagentních simulačních modelů, software, 2010
Autoři: Zbořil František, Horáček Jan, Samek Jan |
| | WSageNt, software, 2010
Autoři: Horáček Jan, Zbořil František |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)