Vojtěch Havlena

Vojtěch Havlena

Brno University of Technology - Brno / Czech Republic
Others
AD Scientific Index ID: 5644741
Vysoké ucení technické v Brne
person_outline Vojtěch Havlena's MOST POPULAR ARTICLES
1-) Flow based monitoring of ICS communication in the smart gridP Matoušek, O Ryšavý, M Grégr, V HavlenaJournal of Information Security and Applications 54, 102535, 2020312020
2-) Approximate reduction of finite automata for high-speed network intrusion detectionM Češka, V Havlena, L Holík, O Lengál, T VojnarInternational Journal on Software Tools for Technology Transfer 22 (5), 523-539, 2020302020
3-) Deep packet inspection in FPGAs via approximate nondeterministic automataM Ceška, V Havlena, L Holík, J Korenek, O Lengál, D Matoušek, ...2019 IEEE 27th Annual International Symposium on Field-Programmable Custom …, 2019252019
4-) Efficient modelling of ICS communication for anomaly detection using probabilistic automataP Matoušek, V Havlena, L Holík2021 IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2021232021
5-) Word equations in synergy with regular constraintsF Blahoudek, YF Chen, D Chocholatý, V Havlena, L Holík, O Lengál, J SíčInternational Symposium on Formal Methods, 403-423, 2023112023