Brno University of Technology - Vnitřní projekty VUT

- whole funder (2019-01-01 - 2020-12-31)

FEKT/FIT-J-19-5906

Czech

Blažek Petr, Ing. - fellow researcher
Fujdiak Radek, doc. Ing., Ph.D. - fellow researcher
Holík Lukáš, doc. Mgr., Ph.D. - fellow researcher
Mlýnek Petr, doc. Ing., Ph.D. - fellow researcher
Sláčik Ján, Ing. - fellow researcher
Vargovčík Pavol, Ing. - fellow researcher
Vojnar Tomáš, prof. Ing., Ph.D. - fellow researcher
Janků Petr, Ing. - principal person responsible

Department of Intelligent Systems
- internal (2019-01-01 - 2019-12-31)
Department of Telecommunications
- internal (2019-01-01 - 2019-12-31)
Faculty of Electrical Engineering and Communication
- internal (2019-01-01 - 2019-12-31)
Faculty of Information Technology
- beneficiary (2019-01-01 - 2019-12-31)

FUJDIAK, R.; MLÝNEK, P.; MRNUSTIK, P.; BARABAS, M.; BLAŽEK, P.; BORCIK, F.; MIŠUREC, J. Managing the Secure Software Development. In 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS). 2019. p. 1-4. ISBN: 978-1-7281-1542-9.
Detail

HOLÍKOVÁ, L.; JANKŮ, P. Solving String Constraints with Approximate Parikh Image. In Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019. p. 1-8. ISBN: 978-3-030-45092-2.
Detail

MLÝNEK, P.; MIŠUREC, J.; ŠILHAVÝ, P.; FUJDIAK, R.; SLÁČIK, J.; HASIRCI, Z. Simulation of Achievable Data Rates of Broadband Power Line Communication for Smart Metering. Applied Sciences - Basel, 2019, vol. 9, no. 8, p. 1-22. ISSN: 2076-3417.
Detail

SLÁČIK, J.; MLÝNEK, P.; FUJDIAK, R.; MUSIL, P.; VOZNAK, M.; ORGON, M.; HLAVNICKA, J. Capabilities and Visions of Broadband Power-Line in Smart Grids Applications. In 2019 20th International Scientific Conference on Electric Power Engineering (EPE). 2019. p. 595-599. ISBN: 978-1-7281-1334-0.
Detail

FUJDIAK, R.; MLÝNEK, P.; SLÁČIK, J.; MIŠUREC, J.; VOZNAK, M.; ORGON, M. Investigating the Suitability of Blockchain for Smart Grid. In 2019 20th International Scientific Conference on Electric Power Engineering (EPE). 2019. p. 225-230. ISBN: 978-1-7281-1334-0.
Detail

FUJDIAK, R.; BLAŽEK, P.; MLÝNEK, P.; MIŠUREC, J. Developing Battery of Vulnerability Tests for Industrial Control Systems. In 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS). 2019. p. 1-5. ISBN: 978-1-7281-1542-9.
Detail

VARGOVČÍK, P.; HOLÍK, L. Verification of String Programs via Automata. PEFnet 2019 Extended Abstracts. Brno: Mendel University in Brno, 2019. p. 155-156. ISBN: 978-80-7509-692-0.
Detail

FUJDIAK, R.; BLAŽEK, P.; APVRILLE, L.; MARTINÁSEK, Z.; MLÝNEK, P.; PACALET, R.; SMÉKAL, D.; MRNUSTIK, P.; BARABAS, M.; ZOOR, M. Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle. In 2019 8th Mediterranean Conference on Embedded Computing (MECO). 2019. p. 92-97. ISBN: 978-1-7281-1740-9.
Detail

ABDULLA, P.; ATIG, M.; BUI PHI, D.; HOLÍK, L.; JANKŮ, P. Chain-Free String Constraints. In Proceedings of ATVA'19. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. p. 277-293. ISBN: 978-3-030-31783-6.
Detail

HOLÍKOVÁ, L.; JANKŮ, P.: PICoSo; PICoSo: An SMT Solver for String Constraints. Nástroj a dodatečné informace se nacházejí na .... URL: https://www.fit.vut.cz/research/product/620/. (software)
Detail

FUJDIAK, R.; MAŠEK, P.; HANÁK, P.; ŠTŮSEK, M.; KRAJSA, O.; POKORNÝ, J.; MLÝNEK, P.; MIŠUREC, J.: G-KS-2018-1; Prototyp NB-IoT senzoru pro kontrolu katodické ochrany plynovodu u kontrolních bodů. SE5-118. (prototyp)
Detail