Department of Intelligent Systems
Products, prototypes and software
| 2012 | HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012
Authors: Šimková Marcela, Lengál Ondřej, Kajan Michal |
| | Prototypes-2012, software, 2012
Authors: Janoušek Vladimír |
| | The probe for angle of attack measurement, specimen, 2012
Authors: Marvan Aleš, Navrátil Jan, Zikmund Pavel |
| | VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software, 2012
Authors: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš |
| 2011 | A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš |
| | Control touch unit RF Touch, prototype, 2011
Authors: Konečný Jiří, Holain Martin, Vávra Milan, Ticháček Jan, Drahanský Martin, Orság Filip |
| | OCRP Solver: A Tool for Solving the OCRP Problem, software, 2011
Authors: Fiedor Jan |
| | Rasters for GRASS 7, software, 2011
Authors: Hrubý Martin |
| | RF transmitter: Wireless temperature sensor RFTI-10B, prototype, 2011
Authors: 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
Authors: Janoušek Vladimír |
| | Switching actor with temperature sensor RFTSI-11B, prototype, 2011
Authors: Konečný Jiří, Vávra Milan, Kolář Zdeněk, Drahanský Martin, Orság Filip, Marvan Aleš, Hájek Josef |
| 2010 | An Easy to Use Infrastructure for Building Static Analysis Tools, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomáš |
| | AnalyzeThis: Protocol Analyzer, software, 2010
Authors: Jurnečka Peter, Hanáček Petr |
| | ContextGraph: Simulation tool for Hierarchical Model of Trust In Contexts, software, 2010
Authors: Samek Jan, Zbořil František, Malačka Ondřej |
| | Forester: A Tool for Verification of Programs with Pointers, software, 2010
Authors: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš |
| | Framework for Formal Verification of Clock Domain Crossing, software, 2010
Authors: Smrčka Aleš, Vojnar Tomáš |
| | GSegmentator, software, 2010
Authors: Doležel Michal |
| | GUI for dactyloscopy, software, 2010
Authors: Lodrová Dana |
| | GUI for fast fingerprinting, software, 2010
Authors: Dluhoš Ondřej, Doležel Michal, Lodrová Dana |
| | libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software, 2010
Authors: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš |
| | Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomáš |
| | Replay Tracer & BMC, software, 2010
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš |
| | ReTIN: Real-Time Indexing, software, 2010
Authors: Chmelař Petr, Šebek Michal, Zendulka Jaroslav, Drozd Michal |
| | Search-based Testing Environment (SearchBestie), software, 2010
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav |
| | T-Mass(X), A Tool for Multi-agent System Simulation, software, 2010
Authors: Zbořil František, Horáček Jan, Samek Jan |
| | Tool for simulation of Queuing systems by Petri nets, software, 2010
Authors: Drozdová Martina, Zbořil František V. |
| | Tool for verification of systems described using the Modechart formalism, software, 2010
Authors: Gach Marek, Fiedor Jan, Češka Milan |
| | Tool for verification of systems specified in RT-Logic language, software, 2010
Authors: Fiedor Jan, Gach Marek, Češka Milan |
| | WSageNt, software, 2010
Authors: Horáček Jan, Zbořil František |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)