Ondřej Ryšavý

2024

JEŘÁBEK Kamil, HYNEK Karel and RYŠAVÝ Ondřej. Comparative Analysis of DNS over HTTPS Detectors. The International Journal of Computer and Telecommunications Networking, vol. 2024, no. 247, pp. 110452-110465. ISSN 1389-1286.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. In: Proceedings of 20th International Conference on Network and Service Management. Prague, 2024, pp. 1-5.
Detail

BURGETOVÁ Ivana, MATOUŠEK Petr and RYŠAVÝ Ondřej. Towards Identification of Network Applications in Encrypted Traffic. In: The Proceedings of the 8th Cyber Security in Networking Conference (CSNet 2024). IEEE Explore. Paris, 2024, pp. 1-10.
Detail

HRANICKÝ Radek, HORÁK Adam, POLIŠENSKÝ Jan, JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Unmasking the Phishermen: Phishing Domain Detection with Machine Learning and Multi-Source Intelligence. In: Proceedings of IEEE/IFIP Network Operations and Management Symposium 2024. Soul: Institute of Electrical and Electronics Engineers, 2024, pp. 1-5. ISBN 979-8-3503-2794-6.
Detail

2023

HAVLENA Vojtěch, MATOUŠEK Petr, RYŠAVÝ Ondřej and HOLÍK Lukáš. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, vol. 2023, no. 14, pp. 2352-2366. ISSN 1949-3053.
Detail

JEŘÁBEK Kamil, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Analysis of Well-Known DNS over HTTPS Resolvers. In: 2023 IEEE 13th Annual Computing and Communication Workshop and Conference (CCWC). Las Vegas, 2023, pp. 516-524. ISBN 979-8-3503-3286-5.
Detail

IMERI Arbnor and RYŠAVÝ Ondřej. Deep learning for predictive alerting and cyber-attack mitigation. In: IEEE 13th Annual Computing and Communication Workshop and Conference, CCWC 2023. Las Vegas: IEEE Computer Society, 2023, pp. 476-481. ISBN 978-3-319-93490-7.
Detail

RADER Roman, JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Detecting DoH-Based Data Exfiltration: FluBot Malware Case Study. In: IEEE 48th Conference on Local Computer Networks (LCN). Daytona Beach: IEEE Computer Society, 2023, pp. 50-54. ISBN 979-8-3503-0074-1.
Detail

JEŘÁBEK Kamil, HYNEK Karel, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. DNS over HTTPS Detection Using Standard Flow Telemetry. IEEE Access, vol. 2023, no. 11, pp. 50000-50012. ISSN 2169-3536.
Detail

YOUSSEF Sawsan and RYŠAVÝ Ondřej. Toward migration to SDN: Generating SDN Forwarding Rules by Decision Tree. In: 26th Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN). Paris: IEEE Computer Society, 2023, pp. 16-20. ISBN 979-8-3503-9804-5.
Detail

2022

JEŘÁBEK Kamil, HYNEK Karel, ČEJKA Tomáš and RYŠAVÝ Ondřej. Collection of Datasets with DNS over HTTPS Traffic. Data in Brief, vol. 2022, no. 42, pp. 1-13. ISSN 2352-3409.
Detail

JEŘÁBEK Kamil, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Measurement and characterization of DNS over HTTPS traffic. arXiv.org, vol. 2022, no. 2204, pp. 1-27. ISSN 2331-8422.
Detail

2021

RYŠAVÝ Ondřej and MATOUŠEK Petr. A Network Traffic Processing Library for ICS Anomaly Detection. In: ECBS '21: Proceedings of the 7th Conference on the Engineering of Computer Based Systems. Novi Sad: Association for Computing Machinery, 2021, pp. 144-151. ISBN 978-1-4503-9057-6.
Detail

BURGETOVÁ Ivana, MATOUŠEK Petr and RYŠAVÝ Ondřej. Anomaly Detection of ICS Communication Using Statistical Models. In: Proceedings of the 17th International Conference on Network Service Management (CNSM 2021). Izmir: Institute of Electrical and Electronics Engineers, 2021, pp. 166-172. ISBN 978-3-903176-36-2.
Detail

HOLKOVIČ Martin, BOHUŠ Michal and RYŠAVÝ Ondřej. Network Problem Diagnostics using Typographic Error Correction. In: Proceedings of the 17th International Conference on Network Service Management (CNSM 2021). Izmir: Institute of Electrical and Electronics Engineers, 2021, pp. 482-490. ISBN 978-3-903176-36-2.
Detail

MATOUŠEK Petr, BURGETOVÁ Ivana, RYŠAVÝ Ondřej and VICTOR Malombe. On Reliability of JA3 Hashes for Fingerprinting Mobile Applications. In: Digital Forensics and Cyber Crime. ICDF2C 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol. 351. Boston: Springer International Publishing, 2021, pp. 1-22. ISBN 978-3-030-68733-5.
Detail

MATOUŠEK Petr and RYŠAVÝ Ondřej. Teaching ICS Security in Blended Classroom Environment. In: Proceedings of the 2021 30th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE). Prague: Czech Technical University, 2021, pp. 148-153. ISBN 978-1-7281-9324-3.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej and POLČÁK Libor. Unified SNMP Interface for IoT Monitoring. In: Proceedings of the IM 2021 - 2021 IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021, pp. 938-943. ISBN 978-3-903176-32-4.
Detail

HRANICKÝ Radek, BREITINGER Frank, RYŠAVÝ Ondřej, SHEPPARD John, SCHAEDLER Florin, MORGENSTERN Holger and MALIK Simon. What do incident response practitioners need to know? A skillmap for the years ahead. Forensic Science International: Digital Investigation, vol. 37, no. 2, 2021, pp. 23-34. ISSN 2666-2825.
Detail

2020

HOLKOVIČ Martin, POLČÁK Libor and RYŠAVÝ Ondřej. Application Error Detection in Networks by Protocol Behavior Model. In: Communications in Computer and Information Science. Praha: Springer Verlag, 2020, pp. 3-28. ISBN 978-3-030-52685-6. ISSN 1865-0929.
Detail

YOUSSEF Sawsan and RYŠAVÝ Ondřej. Behavioral Anomaly Detection in Industrial Control Systems: An Evaluation of Flowmon ADS. FIT-TR-2020-02, Brno: Faculty of Information Technology BUT, 2020.
Detail

HRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej, KOLÁŘ Dušan and MIKUŠ Dávid. Distributed PCFG Password Cracking. In: Computer Security - ESORICS 2020. Lecture notes in Computer Science. Guildford: Springer Nature Switzerland AG, 2020, pp. 701-719. ISBN 978-3-030-58950-9.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej, HAVLENA Vojtěch and GRÉGR Matěj. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, vol. 2020, no. 54, pp. 102535-102535. ISSN 2214-2126.
Detail

POLČÁK Libor, RYŠAVÝ Ondřej and MATOUŠEK Petr. Identity Linking in Computer Networks. In: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, DCNET, OPTICS, SIGMAP and WINSYS. Setubal: SciTePress - Science and Technology Publications, 2020, pp. 45-52. ISBN 978-989-758-445-9.
Detail

PLUSKAL Jan, BREITINGER Frank and RYŠAVÝ Ondřej. Netfox Detective: A novel open-source Network Forensics Analysis Tool. Forensic Science International: Digital Investigation, vol. 35, no. 301019, 2020, pp. 1-13. ISSN 2666-2825.
Detail

HOLKOVIČ Martin, BOHUŠ Michal and RYŠAVÝ Ondřej. Pattern Detection Based Network Diagnostics. In: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications. Setubal: SciTePress - Science and Technology Publications, 2020, pp. 35-42. ISBN 978-989-758-445-9.
Detail

YOUSSEF Sawsan and RYŠAVÝ Ondřej. Proposed Method for Partial Node Replacement by Software Defined Network. In: Position Papers of the 2020 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, vol. 22. Warsaw: Polish Information Processing Society, 2020, pp. 11-14. ISBN 978-83-959183-0-8. ISSN 2300-5963.
Detail

HOLKOVIČ Martin and RYŠAVÝ Ondřej. Using Rule-Based Decision Trees for Automatic Passive Diagnostics of the Network Problems. International Journal on Advances in Networks and Services, vol. 2020, no. 1, pp. 1-10. ISSN 1942-2644.
Detail

2019

LETAVAY Viliam, PLUSKAL Jan and RYŠAVÝ Ondřej. A Scalable Architecture for Network Traffic Forensics. In: The Fifteenth International Conference on Networking and Services ICNS 2019. Athens: The International Academy, Research and Industry Association, 2019, pp. 32-36. ISBN 978-1-61208-711-5.
Detail

RYŠAVÝ Ondřej and MATOUŠEK Petr. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Faculty of Information Technology BUT, 2019.
Detail

HOLKOVIČ Martin, RYŠAVÝ Ondřej and DUDEK Jindřich. Automating Network Security Analysis at Packet-level by using Rule-based Engine. In: Proceedings of the Sixth European Conference on the Engineering of Computer-Based Systems. Bucharest: Association for Computing Machinery, 2019, pp. 1-8. ISBN 978-1-4503-7636-5.
Detail

JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Big Data Network Flow Processing Using Apache Spark. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bukurešť: Association for Computing Machinery, 2019, pp. 1-9. ISBN 978-1-4503-7636-5.
Detail

HRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej and KOLÁŘ Dušan. Distributed password cracking with BOINC and hashcat. Digital Investigation, vol. 30, no. 1, 2019, pp. 161-172. ISSN 1742-2876.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Extending Networking Curriculum with Applied Artificial Intelligence. In: Proceedings of EAEEIE 2019. Ruse: Institute of Electrical and Electronics Engineers, 2019, pp. 11-16. ISBN 978-1-7281-3222-8.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej and GRÉGR Matěj. Increasing Visibility of IEC 104 Communication in the Smart Grid. In: 6th International Symposium for ICS & SCADA Cyber Security Research 2019. Swindon: BCS Learning and Development Ltd., 2019, pp. 21-30. ISBN 978-1-78017-523-2.
Detail

HOLKOVIČ Martin and RYŠAVÝ Ondřej. Network Diagnostics Using Passive Network Monitoring and Packet Analysis. In: ICNS 2019. The Fifteenth International Conference on Networking and Services. Athens: The International Academy, Research and Industry Association, 2019, pp. 47-51. ISBN 978-1-61208-711-5.
Detail

LETAVAY Viliam, PLUSKAL Jan and RYŠAVÝ Ondřej. Network Forensic Analysis for Lawful Enforcement Steroids, Distributed and Scalable. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bucharest: Association for Computing Machinery, 2019, pp. 1-10. ISBN 978-1-4503-7636-5.
Detail

PLUSKAL Jan, KOUTENSKÝ Michal, VONDRÁČEK Martin and RYŠAVÝ Ondřej. Network Forensic Investigations of Tunneled Traffic: A Case Study. Revue roumaine des sciences techniques. Série électrotechnique et énergétique, vol. 64, no. 4, 2019, pp. 429-434. ISSN 0035-4066.
Detail

PLUSKAL Jan, VONDRÁČEK Martin and RYŠAVÝ Ondřej. Network Forensics in GSE Overlay Networks. In: ECBS '19: Proceedings of the 6th Conference on the Engineering of Computer Based Systems. Bukurešť: Association for Computing Machinery, 2019, pp. 1-10. ISBN 978-1-4503-7636-5.
Detail

HRANICKÝ Radek, LIŠTIAK Filip, MIKUŠ Dávid and RYŠAVÝ Ondřej. On Practical Aspects of PCFG Password Cracking. In: Data and Applications Security and Privacy. Charleston: Springer Nature Switzerland AG, 2019, pp. 43-60. ISBN 978-3-030-22478-3. ISSN 0302-9743.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej and GRÉGR Matěj. Security Monitoring of IoT Communication Using Flows. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems. ECBS '19. New York: Association for Computing Machinery, 2019, pp. 1-9. ISBN 978-1-4503-7636-5.
Detail

HOLKOVIČ Martin, RYŠAVÝ Ondřej and POLČÁK Libor. Using Network Traces to Generate Models for Automatic Network Application Protocols Diagnostics. In: Proceedings of the 16th International Joint Conference on e-Business and Telecommunications Volume 1: DCNET, ICE-B, OPTICS, SIGMAP and WINSYS. Praha: SciTePress - Science and Technology Publications, 2019, pp. 37-47. ISBN 978-989-758-378-0.
Detail

2018

VONDRÁČEK Martin, PLUSKAL Jan and RYŠAVÝ Ondřej. Automated Man-in-the-Middle Attack Against Wi-Fi Networks. The Journal of Digital Forensics, Security and Law, vol. 2018, no. 13, pp. 59-80. ISSN 1558-7215.
Detail

RYCHLÝ Marek and RYŠAVÝ Ondřej. Big Data Security Analysis with TARZAN Platform. Journal of Cyber Security and Mobility, vol. 8, no. 2, 2018, pp. 165-188. ISSN 2245-1439.
Detail

ASGARI Hamid, HAINES Sarah and RYŠAVÝ Ondřej. Identification of Threats and Security Risk Assessments for Recursive Internet Architecture. IEEE Systems Journal, vol. 12, no. 3, 2018, pp. 2437-2448. ISSN 1937-9234.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej, JAMES Joshua I. and JANG Yunsik J. Interconnecting Education and Research Through International Partnership: IoT Case Study. In: 2018 28th EAEEIE Annual Conference, EAEEIE 2018. Hafnarfjordur: Institute of Electrical and Electronics Engineers, 2018, pp. 1-6. ISBN 978-1-5386-7711-7.
Detail

PLUSKAL Jan, LICHTNER Ondrej and RYŠAVÝ Ondřej. Traffic Classification and Application Identification in Network Forensics. In: Fourteenth Annual IFIP WG 11.9 International Conference on Digital Forensics. New Delhi: Springer International Publishing, 2018, pp. 161-181. ISBN 978-3-319-99277-8. ISSN 1868-4238.
Detail

2017

RYŠAVÝ Ondřej. Analysis of Constrained Application Protocol. FIT-TR-2017-15, Brno: Faculty of Information Technology BUT, 2017.
Detail

VONDRÁČEK Martin, PLUSKAL Jan and RYŠAVÝ Ondřej. Automation of MitM Attack on Wi-Fi Networks. In: 9th International Conference on Digital Forensics & Cyber Crime. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST), vol. 2018. Prague: Springer International Publishing, 2017, pp. 207-220. ISBN 978-3-319-73696-9. ISSN 1867-8211.
Detail

MATOUŠEK Petr, ONYANGO Collins Oduor, RYŠAVÝ Ondřej and SEVILLA Joseph. Delivering ICT Security Courses over 5.944 km. In: Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Grenoble Institute of Technology, 2017, pp. 1-7. ISBN 978-1-7281-0907-7.
Detail

PLUSKAL Jan and RYŠAVÝ Ondřej. Detection, and Analysis of SIP Fraud Attack on 100Gb Ethernet with NEMEA System. Pristina, 2017.
Detail

VESELÝ Vladimír, HOLUŠA Jan and RYŠAVÝ Ondřej. First-hop Redundancy Protocols in OMNeT++. In: Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH. Madrid: SciTePress - Science and Technology Publications, 2017, pp. 331-339. ISBN 978-989-758-265-3.
Detail

PLUSKAL Jan, LICHTNER Ondrej and RYŠAVÝ Ondřej. Netfox Detective - Identifikace aplikačních protokolů pomocí algoritmů strojového učení. FIT-TR-2017-05, 2017.
Detail

RYCHLÝ Marek and RYŠAVÝ Ondřej. Platforma pro zpracovaní dat síťové forenzní analýzy. FIT-TR-2017-07, Brno, 2017.
Detail

RYŠAVÝ Ondřej. Security Monitoring of LwM2M communication. FIT-TR-2017-16, Brno: Faculty of Information Technology BUT, 2017.
Detail

RYCHLÝ Marek and RYŠAVÝ Ondřej. TARZAN: An Integrated Platform for Security Analysis. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, Volume 11. Praha: IEEE Computer Society, 2017, pp. 561-567. ISBN 978-83-946253-7-5.
Detail

MAREK Marcel, RYŠAVÝ Ondřej and VESELÝ Vladimír. Towards analysis of IP communication in a constrained environment of tactical radio networks. In: Proceedings of European Conference on the Engineering of Computer Based Systems. Larnaca: Association for Computing Machinery, 2017, pp. 50-57. ISBN 978-1-4503-4843-0.
Detail

2016

VESELÝ Vladimír, REK Vít and RYŠAVÝ Ondřej. Babel Routing Protocol for OMNeT++ - More than just a new simulation module for INET framework. In: Proceedings of 3rd OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2016, pp. 1-5. ISSN 2331-8422.
Detail

HRANICKÝ Radek, MATOUŠEK Petr, RYŠAVÝ Ondřej and VESELÝ Vladimír. Experimental Evaluation of Password Recovery in Encrypted Documents. In: Proceedings of ICISSP 2016. Roma: SciTePress - Science and Technology Publications, 2016, pp. 299-306. ISBN 978-989-758-167-0.
Detail

GRASA Eduard, RYŠAVÝ Ondřej, LICHTNER Ondrej, ASGARI Hamid, DAY John and CHITKUSHEV Lou. From protecting protocols to layers: designing, implementing and experimenting with security policies in RINA. In: 2016 IEEE International Conference on Communications (ICC). Kuala-Lumpur: Institute of Electrical and Electronics Engineers, 2016, pp. 736-742. ISBN 978-1-4799-6665-3.
Detail

PLUSKAL Jan and RYŠAVÝ Ondřej. Network Forensic Tool Netfox Detective. Pristina, 2016.
Detail

HRANICKÝ Radek, HOLKOVIČ Martin, MATOUŠEK Petr and RYŠAVÝ Ondřej. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law, vol. 11, no. 2, 2016, pp. 79-95. ISSN 1558-7215.
Detail

PLUSKAL Jan, RYŠAVÝ Ondřej and MATOUŠEK Petr. On the Identification of Applications from Captured Network Traffic. New York, 2016.
Detail

PLUSKAL Jan, VESELÝ Vladimír, GRÉGR Matěj and RYŠAVÝ Ondřej. TLS/SSL Decryption Workshop. Praha, 2016.
Detail

2015

MATOUŠEK Petr, PLUSKAL Jan, RYŠAVÝ Ondřej, VESELÝ Vladimír, KMEŤ Martin, KARPÍŠEK Filip and VYMLÁTIL Martin. Advanced Techniques for Reconstruction of Incomplete Network Data. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol. 2015, no. 157, pp. 69-84. ISSN 1867-8211.
Detail

PLUSKAL Jan and RYŠAVÝ Ondřej. Concepts of Intercepted Communication Processing with Netfox Detective. Praha, 2015.
Detail

VESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš, RYŠAVÝ Ondřej and LICHTNER Ondrej. Deliverable 2.4: RINASim - basic functionality. Brno, 2015.
Detail

VESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš, RYŠAVÝ Ondřej, LICHTNER Ondrej and JEŘÁBEK Kamil. Deliverable 2.6: RINASim - advanced functionality. Brno, 2015.
Detail

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, VESELÝ Vladimír, GRÉGR Matěj, PODERMAŃSKI Tomáš, HALFAR Patrik and MAREK Marcel. Design of Computer Networks Concerning Network Applications Support. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria: University of Las Palmas, 2015, pp. 23-24. ISBN 978-84-606-5438-4.
Detail

VESELÝ Vladimír, REK Vít and RYŠAVÝ Ondřej. Enhanced Interior Gateway Routing Protocol with IPv4 and IPv6 Support for OMNeT++. Advances in Intelligent Systems and Computing, vol. 402, no. 1, 2015, pp. 65-82. ISSN 2194-5357.
Detail

RYŠAVÝ Ondřej. Formal Logic Based Framework for Network Configuration Analysis. Brno: Faculty of Information Technology BUT, 2015.
Detail

VESELÝ Vladimír and RYŠAVÝ Ondřej. Locator/Id Split Protocol Improvement for High-Availability Environment. In: Proceedings of The Eleventh International Conference on Networking and Services ICNS 2015. Roma: The International Academy, Research and Industry Association, 2015, pp. 61-67. ISBN 978-1-61208-404-6.
Detail

VESELÝ Vladimír and RYŠAVÝ Ondřej. Map-Cache Synchronization and Merged RLOC Probing Study for LISP. The International Journal on Advances in Intelligent Systems, vol. 2015, no. 34, pp. 494-506. ISSN 1942-2679.
Detail

PLUSKAL Jan, MATOUŠEK Petr, RYŠAVÝ Ondřej, KMEŤ Martin, VESELÝ Vladimír, KARPÍŠEK Filip and VYMLÁTIL Martin. Netfox Detective: A tool for advanced network forensics analysis. In: Proceedings of Security and Protection of Information (SPI) 2015. Brno: University of Defence in Brno, 2015, pp. 147-163. ISBN 978-80-7231-997-8.
Detail

VESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš and RYŠAVÝ Ondřej. Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator. In: Proceedings of 2nd OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2015, pp. 1-4. ISSN 2331-8422.
Detail

2014

GREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., MAYR Richard, PYLE Ian, ROZENBLIT Jerzy, RYŠAVÝ Ondřej, ŠVÉDA Miroslav, ZHANG Le and ZHANG Le. Proceedings of the International workshop on Cyber-Physical Systems. 2013 Federated Conference on Computer Science and Information Systems. Krakow: Elsevier Science, 2014, pp. 1-200. ISBN 978-1-4673-4471-5.
Detail

VESELÝ Vladimír, BLOUDÍČEK Jan and RYŠAVÝ Ondřej. Enhanced Interior Gateway Routing Protocol for OMNeT++. In: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014). Wien: SciTePress - Science and Technology Publications, 2014, pp. 50-58. ISBN 978-989-758-045-1.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej and KMEŤ Martin. Fast RTP Detection and Codecs Classification in Internet Traffic. The Journal of Digital Forensics, Security and Law, vol. 2014, no. 2, pp. 99-110. ISSN 1558-7215.
Detail

VESELÝ Vladimír, MAREK Marcel, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. Multicast, TRILL and LISP Extensions for INET. International Journal on Advances in Networks and Services, vol. 2014, no. 4, pp. 240-251. ISSN 1942-2644.
Detail

PLUSKAL Jan, RYŠAVÝ Ondřej and VESELÝ Vladimír. NetFox - The network forensic extandable analysis tool. In: 6th AFCEA Student Conference Future of Information and Communication Technology. Bucharest: University Politehnica of Bucharest, 2014, pp. 68-71. ISBN 978-606-551-047-0.
Detail

VESELÝ Vladimír, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. Protocol Independent Multicast in OMNeT++. In: The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: The International Academy, Research and Industry Association, 2014, pp. 132-137. ISBN 978-1-61208-330-8.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej, GRÉGR Matěj and VYMLÁTIL Martin. Towards Identification of Operating Systems from the Internet Traffic. IPFIX Monitoring with Fingerprinting and Clustering. In: DCNET2014. Proceedings of the 5th International Conference on Data Communication Networking. Wien: SciTePress - Science and Technology Publications, 2014, pp. 21-27. ISBN 978-989-758-042-0.
Detail

2013

ŠVÉDA Miroslav and RYŠAVÝ Ondřej. Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. In: Programmable Devices and Embedded Systems. Volume #12, vol. 2013. Laxenburg: IFAC, 2013, pp. 1-4. ISBN 978-3-902823-21-2. ISSN 1474-6670.
Detail

RYŠAVÝ Ondřej, RÁB Jaroslav and ŠVÉDA Miroslav. Improving security in SCADA systems through firewall policy analysis. In: Proceedings of the Federated Conference on Computer Science and Information Systems. Krakow: IEEE Computer Society, 2013, pp. 1435-1440. ISBN 978-1-4673-4471-5.
Detail

VESELÝ Vladimír, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. IPv6 Unicast and IPv4 Multicast Routing in OMNeT++. In: Proceedings of the IEEE 6th International ICST Conference on Simulation Tools and Techniques. Cannes: International Communication Sciences and Technology Association, 2013, pp. 1-4. ISBN 978-1-936968-47-3.
Detail

DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr and ŠVÉDA Miroslav. On formal reachability analysis in networks with dynamic behavior. Telecommunication Systems, vol. 52, no. 2, 2013, pp. 919-929. ISSN 1018-4864.
Detail

PACNER Jan, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. On the Evaluation of Clock Synchronization Methods for Networked Control Systems. In: 3rd Eastern European Regional Conference on the Engineering of Computer-Based Systems. New York: IEEE Computer Society, 2013, pp. 10-12. ISBN 978-0-7695-3759-7.
Detail

2012

HALFAR Patrik, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Authorization Framework for Networked SCADA Systems. In: Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012, pp. 298-302. ISBN 978-0-7695-4664-3.
Detail

RYŠAVÝ Ondřej, ŠVÉDA Miroslav and VRBA Radimír. A Framework for Cyber-Physical Systems Design - A Concept Study. In: Proceedings ICONS 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012, pp. 79-82. ISBN 978-1-61208-184-7.
Detail

ŠVÉDA Miroslav, SEKLETÁR Michal, FIDLER Tomáš and RYŠAVÝ Ondřej. A High-level Network-wide Router Configuration Language. In: Proceedings ICN 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012, pp. 18-21. ISBN 978-1-61208-183-0.
Detail

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr and RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. LNCS CCIS, Vol.222, vol. 2012. Heidelberg: Springer Science+Business Media B.V., 2012, pp. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
Detail

2011

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr and RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, pp. 197-205. ISBN 978-0-7695-4379-6.
Detail

ŠVÉDA Miroslav, RYŠAVÝ Ondřej and MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 22-23. ISBN 978-84-693-9560-8.
Detail

2010

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr and RÁB Jaroslav. An Approach for Automated Network-Wide Security Analysis. In: Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010, pp. 294-299. ISBN 978-0-7695-3979-9.
Detail

MATOUŠEK Petr, RYŠAVÝ Ondřej, DE Silva Gayan and DANKO Martin. Combination of Simulation and Formal Methods to Analyse Network Survivability. In: Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques. Malaga: International Communication Sciences and Technology Association, 2010, p. 6. ISBN 978-963-9799-87-5.
Detail

DE Silva Gayan, MATOUŠEK Petr, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. Formal Analysis Approach on Networks with Dynamic Behaviours. In: 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 2010, pp. 545-551. ISBN 978-1-4244-7285-7.
Detail

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav and ČEJKA Rudolf. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. In: Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 5-11. ISBN 978-989-8425-25-6.
Detail

KORNECKI Andrew J., GREGA Wojciech, HILBURN Thomas B., THIRIET Jean-Marc, ŠVÉDA Miroslav, RYŠAVÝ Ondřej and PILAT Adam. Transatlantic Engineering Programs: An Experience in International Cooperation. Safeeullah Soomro (Editor): Engineering the Computer Science and IT. 2010. Vienna: IN-TECH Education and Publishing, 2010, pp. 65-84. ISBN 978-953-307-012-4.
Detail

2009

KOLLÁR Matej, PETERKA Ondřej, RYŠAVÝ Ondřej and ŠKARVADA Libor. A Calculus of Coercive Subtyping. Brno: Masaryk University, 2009.
Detail

ŠKARVADA Libor, PETERKA Ondřej, RYŠAVÝ Ondřej and KOLÁŘ Dušan. A Calculus of Coercive Subtyping. In: Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages. SHU-TR-CS-2009-09-01. South Orange: Seton Hall University, 2009, pp. 182-192.
Detail

RYŠAVÝ Ondřej and RÁB Jaroslav. A Formal Model of Composing Components: The TLA+ Approach. Innovations in Systems and Software Engineering, vol. 5, no. 2, 2009, pp. 139-149. ISSN 1614-5046.
Detail

RYŠAVÝ Ondřej, ŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, PILAT Adam and THIRIET Jean-Marc. Designing and Implementing International RSIC Engineering Curriculum. In: 1st Eastern European Regional Conference on the Engineering of Computer-Based Systems. Novi Sad: IEEE Computer Society, 2009, pp. 71-76. ISBN 978-0-7695-3759-7.
Detail

PILAT Adam, KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech and RYŠAVÝ Ondřej. Inter-university Project Based on LEGO NXT. In: 18th IEEE International Conference on Control Applications. Saint Petersburg: IEEE Computer Society, 2009, pp. 1248-1253. ISBN 978-1-4244-4602-5.
Detail

GREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., RYŠAVÝ Ondřej, ŠVÉDA Miroslav and THIRIET Jean-Marc. Methodology for Creation of Multidisciplinary, Transatlantic Engineering Program in Information Technology. In: Proceedings of the European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009, p. 5. ISBN 978-84-8363-428-8.
Detail

RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. On the Implementation of State-space Exploration Procedure in a Relational Database Management System. In: 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software. Mragowo: IEEE Computer Society, 2009, pp. 151-156. ISBN 978-83-60810-22-4.
Detail

ŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc and RYŠAVÝ Ondřej. Real-Time Software-Intensive Systems Engineering: An International Perspective. In: European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009, p. 6. ISBN 978-84-8363-428-8.
Detail

2008

RYŠAVÝ Ondřej and RÁB Jaroslav. A Component-based Approach to Verification of Embedded Control Systems using TLA+. In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology. Wisla: IEEE Computer Society Press, 2008, pp. 719-725. ISBN 978-83-60810-14-9.
Detail

ČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Faculty of Information Technology BUT, 2008.
Detail

MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Model for Network-wide Security Analysis. In: Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems. Belfast: University of Ulster, 2008, pp. 171-181. ISBN 0-7695-3141-5.
Detail

ŠVÉDA Miroslav, RYŠAVÝ Ondřej and VRBA Radimír. Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design. Frontiers in Robotics, Automation and Control. Vienna: IN-TECH Education and Publishing, 2008, pp. 151-164. ISBN 978-953-7619-17-6.
Detail

2007

MATOUŠEK Petr and RYŠAVÝ Ondřej. A Path to Become a Skillful CCNP Expert During your University Studies. Istanbul, 2007.
Detail

PETERKA Ondřej, RYŠAVÝ Ondřej, LORENC Václav, OSOVSKÝ Martin and ŠKARVADA Libor. Can Objects Have Dependent Types?. In: Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 173-180. ISBN 978-80-7355-077-6.
Detail

ŠVÉDA Miroslav and RYŠAVÝ Ondřej. Industrial Application Development using Case-based Reasoning. In: Proceedings of International Workshop on Artificial Neural Networks and Intelligent Information Processing. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, p. 7. ISBN 972-8865-86-4.
Detail

ŠVÉDA Miroslav, VRBA Radimír and RYŠAVÝ Ondřej. Pattern-Driven Reuse of Embedded Control Design. In: Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, p. 8. ISBN 972-8865-84-8.
Detail

2006

RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. Designing Algorithm-oriented Generic Library on .NET Framework. In: Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006. Los Alamitos, CA: IEEE Computer Society, 2006, pp. 159-163. ISBN 0-7695-2546-6.
Detail

RYŠAVÝ Ondřej. Inheritance of specifications in the calculus of functional objects. Brno: Faculty of Information Technology BUT, 2006.
Detail

2005

BUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. A Framework for Formal Specification of Embedded Systems. In: Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, California: IEEE Computer Society, 2005, pp. 323-330. ISBN 0-7695-2308-0.
Detail

RYŠAVÝ Ondřej and ŠČUGLÍK František. Design and development of a library for formal verification: an overview. Brno: Faculty of Information Technology BUT, 2005.
Detail

2004

BUREŠ František and RYŠAVÝ Ondřej. A Graph Representation for Use Case Specifications. In: Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004, p. 5. ISBN 960-8052-95-5.
Detail

RYŠAVÝ Ondřej and BUREŠ František. A Graph Representation for Use Case Specifications. WSEAS Transactions on Computers, vol. 2004, no. 3, pp. 686-690. ISSN 1109-2750.
Detail

RYŠAVÝ Ondřej and BUREŠ František. Formal Abstract Architecture for Use Case Specifications. In: Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society Press, 2004, pp. 203-211. ISBN 0-7695-21258.
Detail

RYŠAVÝ Ondřej, BUREŠ František, ŠČUGLÍK František and ŠVÉDA Miroslav. Integration of Formal Methods in a Specification Framework for Embedded Systems. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: IEEE Computer Society, 2004, pp. 57-63. ISBN 1-85769-1970.
Detail

2003

RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Minimal Formal Language for Object-Oriented Specifications. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003, pp. 35-40. ISBN 1-85769-189X.
Detail

RYŠAVÝ Ondřej. A Survey on Formal Represenation of UML. Brno, 2003.
Detail

BUREŠ František and RYŠAVÝ Ondřej. Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1. ElectronicsLetters.com, vol. 2003, no. 6, p. 6. ISSN 1213-161X.
Detail

BUREŠ František and RYŠAVÝ Ondřej. Formal specification of IEEE1451.1 fragments. In: 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003, pp. 282-287. ISBN 953-6114-64-X.
Detail

2002

RYŠAVÝ Ondřej. Semantics of UML diagrams: A Case Study. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno, CZ: Faculty of Electrical Engineering and Communication BUT, 2002, p. 8. ISBN 80-214-2116-9.
Detail

RYŠAVÝ Ondřej. XML constraint specification language. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002, p. 4. ISBN 80-214-2180-0.
Detail