Podstatou projektu je výzkum v oblasti návrhu spolehlivých, bezpečných a efektivních počítačových systémů. Za tím účelem projekt integruje zaměstnance a doktorandy z Ústavu inteligentních systémů FIT VUT v Brně, kteří svým výzkumem pokrývají různé aspekty zmíněné oblasti. Projekt zahrnuje teoretický výzkum i prototypovou implementaci a experimentální ověření navržených technik na vhodných případových studiích.

FIT-S-20-6427

čeština

Vojnar Tomáš, prof. Ing., Ph.D. - hlavní řešitel
Ambrožová Gabriela, Mgr., Ph.D. - spoluřešitel
Barabas Maroš, Ing., Ph.D. - spoluřešitel
Češka Milan, doc. RNDr., Ph.D. - spoluřešitel
Češka Milan, prof. RNDr., CSc. - spoluřešitel
Drahanský Martin, prof. Ing., Ph.D. - spoluřešitel
Dvořák Michal, Ing., Ph.D. - spoluřešitel
Fiedor Jan, Ing., Ph.D. - spoluřešitel
Fiedor Tomáš, Ing., Ph.D. - spoluřešitel
Goldmann Tomáš, Ing., Ph.D. - spoluřešitel
Hanáček Petr, doc. Dr. Ing. - spoluřešitel
Havlena Vojtěch, Ing., Ph.D. - spoluřešitel
Heidari Mona, Ph.D. - spoluřešitel
Hellebrandt Lukáš, Ing. - spoluřešitel
Holík Lukáš, doc. Mgr., Ph.D. - spoluřešitel
Holíková Lenka, Ing., Ph.D. - spoluřešitel
Homoliak Ivan, doc. Ing., Ph.D. - spoluřešitel
Hrubý Martin, Ing., Ph.D. - spoluřešitel
Hruška Martin, Ing., Ph.D. - spoluřešitel
Hujňák Ondřej, Ing., Ph.D. - spoluřešitel

Ústav inteligentních systémů
- interní (1.1.2020 - 31.12.2022)
Fakulta informačních technologií
- příjemce (1.1.2020 - 31.12.2022)

HARMIM, D.; MARCIN, V.; SVOBODOVÁ, L.; VOJNAR, T. Static Deadlock Detection in Low-Level C Code. In International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023. p. 267-276. ISBN: 978-3-031-25311-9.
Detail

RYDLO, Š.; DRAHANSKÝ, M.: ROTLIGHT_VEIN; Zařízení s rotujícím osvětlením okolo prstu pro pozorování viditelnosti krevního řečiště prstu. Zařízení je umístěné na Fakultě informačních technologíí. URL: https://www.fit.vut.cz/research/product/743/. (funkční vzorek)
Detail

KUČERA, R.; ŠÁTEK, V. Numerical solution of the Navier-Stokes system with the stick-slip boundary condition. In 19th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2023. p. 1-4. ISSN: 0094-243X.
Detail

NEČASOVÁ, G.; ŠÁTEK, V. Taylor series based parallel numerical solution of partial differential equations. In 19th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2023. p. 1-4. ISSN: 0094-243X.
Detail

HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023. p. 0-0.
Detail

HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word Equations in Synergy with Regular Constraints. In Proceedings of FM'23. Lecture Notes in Computer Science. Lübeck: Springer Verlag, 2023. p. 403-423. ISSN: 0302-9743.
Detail

HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions. JOURNAL OF SYSTEMS AND SOFTWARE, 2023, vol. 201, no. 201, p. 111673-111693. ISSN: 0164-1212.
Detail

HOMOLIAK, I. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Czech Open Systems User's Group, 2022. p. 185-210. ISBN: 978-80-86583-34-1.
Detail

ZBOŘIL, F.; DOKOUPIL, L.; VÍDEŇSKÝ, F.; BERAN, J. General deSouches commands multi-agent army for performing in Agents Assembe III scenario: FIT-BUT at MAPC 2022. In The Multi-Agent Programming Contest 2022 Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not. Lecture Notes in Computer Science. Lecture Notes of Artificial Intelligence. Berlin: Springer Nature Switzerland AG, 2023. p. 120-150. ISSN: 1611-3349.
Detail

FIEDOR, J.; KŘENA, B.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T. Integrating OSLC Services into Eclipse. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2023. p. 240-249. ISBN: 978-3-031-25311-9.
Detail

ZBOŘIL, J.; HUJŇÁK, O.; MALINKA, K. IoT Gateways Network Communication Analysis. In 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023. p. 334-339. ISBN: 978-1-6654-6268-6.
Detail

HUJŇÁK, O.; MALINKA, K.; HANÁČEK, P. Indirect Bluetooth Low Energy Connection Detection. In 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023. p. 328-333. ISBN: 978-1-6654-6268-6.
Detail

VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. Taylor Series Method in Numerical Integration: Linear and Nonlinear problems. In 2022 IEEE 16th International Scientific Conference on Informatics, Informatics 2022 - Proceedings. Poprad: IEEE Communications Society, 2023. p. 239-244. ISBN: 979-8-3503-1034-4.
Detail

HOLÍK, L.; ABDULLA, P.; ATIG, M.; BUI PHI, D.; CHEN, Y.; WU, Z. Solving Not-Substring Constraint with Flat Abstraction. In Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. 13008. Berlín: Springer International Publishing, 2021. p. 305-320. ISBN: 978-3-030-89051-3.
Detail

ŠŮSTEK, M.; SADHU, S.; HEŘMANSKÝ, H. Dealing with Unknowns in Continual Learning for End-to-end Automatic Speech Recognition. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Proceedings of Interspeech. Incheon: International Speech Communication Association, 2022. p. 1046-1050. ISSN: 1990-9772.
Detail

MALANÍK, P.; RYDLO, Š.; LÁZNIČKA, T.; LAZAR, V.; BARTONĚK, J.: BUTCube-Firmware; BUTCube - Microsatellite firmware. Firmware je přístupný z repozitáře výzkumné skupiny STRaDe: https://strade.fit.vutbr.cz/git/imalanik/BUTCube/src/branch/Camera_driver/resources/Camera_driver. URL: https://www.fit.vut.cz/research/product/765/. (software)
Detail

KOČÍ, R.; OSADSKÝ, L. On the Applicability of ALF Language in Real Software Projects. ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2022. p. 102-107. ISBN: 978-1-61208-997-3.
Detail

KAVETSKYI, A.; DRAHANSKÝ, M.; WEINBERG, K.; NÖTZEL, R.: AP_AkrylFrac_2022; Application for monitoring the shattering of acrylic glass. Software je umístěn na Fakultě informačních technologií VUT v Brně v datovém repozitáři výzkumné skupiny STRaDe.. URL: https://www.fit.vut.cz/research/product/763/. (software)
Detail

LA CAVA, S.; ORR, G.; GOLDMANN, T.; DRAHANSKÝ, M.; MARCIALIS, G. 3D Face Reconstruction for Forensic Recognition - A Survey. In 2022 26th International Conference on Pattern Recognition (ICPR). Manhattan, New York: 2022. p. 930-937. ISBN: 978-1-6654-9062-7.
Detail

VAŠÍČEK, O.; FIEDOR, J.; KRATOCHVÍLA, T.; KŘENA, B.; SMRČKA, A.; VOJNAR, T. Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC. In ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Singapore: Association for Computing Machinery, 2022. p. 1408-1418. ISBN: 978-1-4503-9413-0.
Detail

Odpovědnost: Vojnar Tomáš, prof. Ing., Ph.D.