Publikace
-
2024
HRANICKÝ Radek, HORÁK Adam, POLIŠENSKÝ Jan, JEŘÁBEK Kamil a 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, 2024, s. 1-5.
Detail -
2023
HAVLENA Vojtěch, MATOUŠEK Petr, RYŠAVÝ Ondřej a HOLÍK Lukáš. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, roč. 2023, č. 14, s. 2352-2366. ISSN 1949-3053.
DetailJEŘÁBEK Kamil, RYŠAVÝ Ondřej a 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, s. 516-524. ISBN 979-8-3503-3286-5.
DetailIMERI Arbnor a 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, s. 476-481. ISBN 978-3-319-93490-7.
DetailRADER Roman, JEŘÁBEK Kamil a 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, s. 50-54. ISBN 979-8-3503-0074-1.
DetailJEŘÁBEK Kamil, HYNEK Karel, RYŠAVÝ Ondřej a BURGETOVÁ Ivana. DNS over HTTPS Detection Using Standard Flow Telemetry. IEEE Access, roč. 2023, č. 11, s. 50000-50012. ISSN 2169-3536.
Detail -
2022
JEŘÁBEK Kamil, HYNEK Karel, ČEJKA Tomáš a RYŠAVÝ Ondřej. Collection of Datasets with DNS over HTTPS Traffic. Data in Brief, roč. 2022, č. 42, s. 1-13. ISSN 2352-3409.
DetailJEŘÁBEK Kamil, RYŠAVÝ Ondřej a BURGETOVÁ Ivana. Measurement and characterization of DNS over HTTPS traffic. arXiv.org, roč. 2022, č. 2204, s. 1-27. ISSN 2331-8422.
Detail -
2021
RYŠAVÝ Ondřej a 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, s. 144-151. ISBN 978-1-4503-9057-6.
DetailBURGETOVÁ Ivana, MATOUŠEK Petr a 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, s. 166-172. ISBN 978-3-903176-36-2.
DetailHOLKOVIČ Martin, BOHUŠ Michal a 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, s. 482-490. ISBN 978-3-903176-36-2.
DetailMATOUŠEK Petr, BURGETOVÁ Ivana, RYŠAVÝ Ondřej a 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, roč. 351. Boston: Springer International Publishing, 2021, s. 1-22. ISBN 978-3-030-68733-5.
DetailMATOUŠEK Petr a 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: České vysoké učení technické, 2021, s. 148-153. ISBN 978-1-7281-9324-3.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej a 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, s. 938-943. ISBN 978-3-903176-32-4.
DetailHRANICKÝ Radek, BREITINGER Frank, RYŠAVÝ Ondřej, SHEPPARD John, SCHAEDLER Florin, MORGENSTERN Holger a MALIK Simon. What do incident response practitioners need to know? A skillmap for the years ahead. Forensic Science International: Digital Investigation, roč. 37, č. 2, 2021, s. 23-34. ISSN 2666-2825.
Detail -
2020
HOLKOVIČ Martin, POLČÁK Libor a RYŠAVÝ Ondřej. Application Error Detection in Networks by Protocol Behavior Model. In: Communications in Computer and Information Science. Praha: Springer Verlag, 2020, s. 3-28. ISBN 978-3-030-52685-6. ISSN 1865-0929.
DetailYOUSSEF Sawsan a RYŠAVÝ Ondřej. Behavioral Anomaly Detection in Industrial Control Systems: An Evaluation of Flowmon ADS. FIT-TR-2020-02, Brno: Fakulta informačních technologií VUT v Brně, 2020.
DetailHRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej, KOLÁŘ Dušan a MIKUŠ Dávid. Distributed PCFG Password Cracking. In: Computer Security - ESORICS 2020. Lecture notes in Computer Science. Guildford: Springer Nature Switzerland AG, 2020, s. 701-719. ISBN 978-3-030-58950-9.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej, HAVLENA Vojtěch a GRÉGR Matěj. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, roč. 2020, č. 54, s. 102535-102535. ISSN 2214-2126.
DetailPOLČÁK Libor, RYŠAVÝ Ondřej a 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, s. 45-52. ISBN 978-989-758-445-9.
DetailPLUSKAL Jan, BREITINGER Frank a RYŠAVÝ Ondřej. Netfox Detective: A novel open-source Network Forensics Analysis Tool. Forensic Science International: Digital Investigation, roč. 35, č. 301019, 2020, s. 1-13. ISSN 2666-2825.
DetailHOLKOVIČ Martin, BOHUŠ Michal a 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, s. 35-42. ISBN 978-989-758-445-9.
DetailYOUSSEF Sawsan a 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, roč. 22. Warsaw: Polish Information Processing Society, 2020, s. 11-14. ISBN 978-83-959183-0-8. ISSN 2300-5963.
DetailHOLKOVIČ Martin a 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, roč. 2020, č. 1, s. 1-10. ISSN 1942-2644.
Detail -
2019
LETAVAY Viliam, PLUSKAL Jan a 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, s. 32-36. ISBN 978-1-61208-711-5.
DetailRYŠAVÝ Ondřej a MATOUŠEK Petr. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Fakulta informačních technologií VUT v Brně, 2019.
DetailHOLKOVIČ Martin, RYŠAVÝ Ondřej a 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, s. 1-8. ISBN 978-1-4503-7636-5.
DetailJEŘÁBEK Kamil a 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, s. 1-9. ISBN 978-1-4503-7636-5.
DetailHRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej a KOLÁŘ Dušan. Distributed password cracking with BOINC and hashcat. Digital Investigation, roč. 30, č. 1, 2019, s. 161-172. ISSN 1742-2876.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej a BURGETOVÁ Ivana. Extending Networking Curriculum with Applied Artificial Intelligence. In: Proceedings of EAEEIE 2019. Ruse: Institute of Electrical and Electronics Engineers, 2019, s. 11-16. ISBN 978-1-7281-3222-8.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej a 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, s. 21-30. ISBN 978-1-78017-523-2.
DetailHOLKOVIČ Martin a 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, s. 47-51. ISBN 978-1-61208-711-5.
DetailLETAVAY Viliam, PLUSKAL Jan a 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, s. 1-10. ISBN 978-1-4503-7636-5.
DetailPLUSKAL Jan, KOUTENSKÝ Michal, VONDRÁČEK Martin a RYŠAVÝ Ondřej. Network Forensic Investigations of Tunneled Traffic: A Case Study. Revue roumaine des sciences techniques. Série électrotechnique et énergétique, roč. 64, č. 4, 2019, s. 429-434. ISSN 0035-4066.
DetailPLUSKAL Jan, VONDRÁČEK Martin a 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, s. 1-10. ISBN 978-1-4503-7636-5.
DetailHRANICKÝ Radek, LIŠTIAK Filip, MIKUŠ Dávid a RYŠAVÝ Ondřej. On Practical Aspects of PCFG Password Cracking. In: Data and Applications Security and Privacy. Charleston: Springer Nature Switzerland AG, 2019, s. 43-60. ISBN 978-3-030-22478-3. ISSN 0302-9743.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej a 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, s. 1-9. ISBN 978-1-4503-7636-5.
DetailHOLKOVIČ Martin, RYŠAVÝ Ondřej a 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, s. 37-47. ISBN 978-989-758-378-0.
Detail -
2018
VONDRÁČEK Martin, PLUSKAL Jan a RYŠAVÝ Ondřej. Automated Man-in-the-Middle Attack Against Wi-Fi Networks. The Journal of Digital Forensics, Security and Law, roč. 2018, č. 13, s. 59-80. ISSN 1558-7215.
DetailRYCHLÝ Marek a RYŠAVÝ Ondřej. Big Data Security Analysis with TARZAN Platform. Journal of Cyber Security and Mobility, roč. 8, č. 2, 2018, s. 165-188. ISSN 2245-1439.
DetailASGARI Hamid, HAINES Sarah a RYŠAVÝ Ondřej. Identification of Threats and Security Risk Assessments for Recursive Internet Architecture. IEEE Systems Journal, roč. 12, č. 3, 2018, s. 2437-2448. ISSN 1937-9234.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej, JAMES Joshua I. a 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, s. 1-6. ISBN 978-1-5386-7711-7.
DetailPLUSKAL Jan, LICHTNER Ondrej a 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, s. 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: Fakulta informačních technologií VUT v Brně, 2017.
DetailVONDRÁČEK Martin, PLUSKAL Jan a 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), roč. 2018. Prague: Springer International Publishing, 2017, s. 207-220. ISBN 978-3-319-73696-9. ISSN 1867-8211.
DetailMATOUŠEK Petr, ONYANGO Collins Oduor, RYŠAVÝ Ondřej a SEVILLA Joseph. Delivering ICT Security Courses over 5.944 km Experience of Czech-Kenyan Co-operation. In: Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Institut polytechnique de Grenoble, 2017, s. 1-7. ISBN 978-1-7281-0907-7.
DetailPLUSKAL Jan a RYŠAVÝ Ondřej. Detection, and Analysis of SIP Fraud Attack on 100Gb Ethernet with NEMEA System. Pristina, 2017.
DetailVESELÝ Vladimír, HOLUŠA Jan a 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, s. 331-339. ISBN 978-989-758-265-3.
DetailPLUSKAL Jan, LICHTNER Ondrej a RYŠAVÝ Ondřej. Netfox Detective - Identifikace aplikačních protokolů pomocí algoritmů strojového učení. FIT-TR-2017-05, 2017.
DetailRYCHLÝ Marek a RYŠAVÝ Ondřej. Platforma pro zpracovaní dat síťové forenzní analýzy. FIT-TR-2017-07, Brno, 2017.
DetailRYŠAVÝ Ondřej. Security Monitoring of LwM2M communication. FIT-TR-2017-16, Brno: Fakulta informačních technologií VUT v Brně, 2017.
DetailRYCHLÝ Marek a 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, s. 561-567. ISBN 978-83-946253-7-5.
DetailMAREK Marcel, RYŠAVÝ Ondřej a 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, s. 50-57. ISBN 978-1-4503-4843-0.
Detail -
2016
VESELÝ Vladimír, REK Vít a 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, s. 1-5. ISSN 2331-8422.
DetailHRANICKÝ Radek, MATOUŠEK Petr, RYŠAVÝ Ondřej a VESELÝ Vladimír. Experimental Evaluation of Password Recovery in Encrypted Documents. In: Proceedings of ICISSP 2016. Roma: SciTePress - Science and Technology Publications, 2016, s. 299-306. ISBN 978-989-758-167-0.
DetailGRASA Eduard, RYŠAVÝ Ondřej, LICHTNER Ondrej, ASGARI Hamid, DAY John a 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, s. 736-742. ISBN 978-1-4799-6665-3.
DetailPLUSKAL Jan a RYŠAVÝ Ondřej. Síťový forenzní nástroj Netfox Detective. Pristina, 2016.
DetailHRANICKÝ Radek, HOLKOVIČ Martin, MATOUŠEK Petr a RYŠAVÝ Ondřej. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law, roč. 11, č. 2, 2016, s. 79-95. ISSN 1558-7215.
DetailPLUSKAL Jan, RYŠAVÝ Ondřej a MATOUŠEK Petr. On the Identification of Applications from Captured Network Traffic. New York, 2016.
DetailPLUSKAL Jan, VESELÝ Vladimír, GRÉGR Matěj a 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 a VYMLÁTIL Martin. Advanced Techniques for Reconstruction of Incomplete Network Data. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, roč. 2015, č. 157, s. 69-84. ISSN 1867-8211.
DetailPLUSKAL Jan a RYŠAVÝ Ondřej. Concepts of Intercepted Communication Processing with Netfox Detective. Praha, 2015.
DetailVESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš, RYŠAVÝ Ondřej a LICHTNER Ondrej. Deliverable 2.4: RINASim - basic functionality. Brno, 2015.
DetailVESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš, RYŠAVÝ Ondřej, LICHTNER Ondrej a 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 a MAREK Marcel. Design of Computer Networks Concerning Network Applications Support. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2015, s. 23-24. ISBN 978-84-606-5438-4.
DetailVESELÝ Vladimír, REK Vít a RYŠAVÝ Ondřej. Enhanced Interior Gateway Routing Protocol with IPv4 and IPv6 Support for OMNeT plus. Advances in Intelligent Systems and Computing, roč. 402, č. 1, 2015, s. 65-82. ISSN 2194-5357.
DetailRYŠAVÝ Ondřej. Formal Logic Based Framework for Network Configuration Analysis. Brno: Fakulta informačních technologií VUT v Brně, 2015.
DetailVESELÝ Vladimír a 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, s. 61-67. ISBN 978-1-61208-404-6.
DetailVESELÝ Vladimír a RYŠAVÝ Ondřej. Map-Cache Synchronization and Merged RLOC Probing Study for LISP. The International Journal on Advances in Intelligent Systems, roč. 2015, č. 34, s. 494-506. ISSN 1942-2679.
DetailPLUSKAL Jan, MATOUŠEK Petr, RYŠAVÝ Ondřej, KMEŤ Martin, VESELÝ Vladimír, KARPÍŠEK Filip a VYMLÁTIL Martin. Netfox Detective: A tool for advanced network forensics analysis. In: Proceedings of Security and Protection of Information (SPI) 2015. Brno: Univerzita Obrany, 2015, s. 147-163. ISBN 978-80-7231-997-8.
DetailVESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš a 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, s. 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 a ZHANG Le. 2013 Federated Conference on Computer Science and Information Systems - International workshop on Cyber-Physical Systems. 2013 Federated Conference on Computer Science and Information Systems. Krakow: Elsevier Science, 2014, s. 1-200. ISBN 978-1-4673-4471-5.
DetailVESELÝ Vladimír, BLOUDÍČEK Jan a 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, s. 50-58. ISBN 978-989-758-045-1.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej a KMEŤ Martin. Fast RTP Detection and Codecs Classification in Internet Traffic. The Journal of Digital Forensics, Security and Law, roč. 2014, č. 2, s. 99-110. ISSN 1558-7215.
DetailVESELÝ Vladimír, MAREK Marcel, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. Multicast, TRILL and LISP Extensions for INET. International Journal on Advances in Networks and Services, roč. 2014, č. 4, s. 240-251. ISSN 1942-2644.
DetailPLUSKAL Jan, RYŠAVÝ Ondřej a 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, s. 68-71. ISBN 978-606-551-047-0.
DetailVESELÝ Vladimír, RYŠAVÝ Ondřej a Š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, s. 132-137. ISBN 978-1-61208-330-8.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej, GRÉGR Matěj a 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, s. 21-27. ISBN 978-989-758-042-0.
Detail -
2013
ŠVÉDA Miroslav a 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, roč. 2013. Laxenburg: IFAC, 2013, s. 1-4. ISBN 978-3-902823-21-2. ISSN 1474-6670.
DetailRYŠAVÝ Ondřej, RÁB Jaroslav a Š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, s. 1435-1440. ISBN 978-1-4673-4471-5.
DetailVESELÝ Vladimír, RYŠAVÝ Ondřej a Š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, s. 1-4. ISBN 978-1-936968-47-3.
DetailDE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr a ŠVÉDA Miroslav. On Formal Reachability Analysis in Networks with Dynamic Behavior. Telecommunication Systems, roč. 52, č. 2, 2013, s. 919-929. ISSN 1018-4864.
DetailPACNER Jan, RYŠAVÝ Ondřej a Š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, s. 10-12. ISBN 978-0-7695-3759-7.
Detail -
2012
HALFAR Patrik, RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Formal Authorization Framework for Networked SCADA Systems. In: Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012, s. 298-302. ISBN 978-0-7695-4664-3.
DetailRYŠAVÝ Ondřej, ŠVÉDA Miroslav a VRBA Radimír. A Framework for Cyber-Physical Systems Design - A Concept Study. In: Proceedings ICONS 2012. Saint Gilles, Reunion Island: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 79-82. ISBN 978-1-61208-184-7.
DetailŠVÉDA Miroslav, SEKLETÁR Michal, FIDLER Tomáš a RYŠAVÝ Ondřej. A High-level Network-wide Router Configuration Language. In: Proceedings ICN 2012. Saint Gilles, Reunion Island: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 18-21. ISBN 978-1-61208-183-0.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr a RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. LNCS CCIS, Vol.222, roč. 2012. Heidelberg: Springer Science+Business Media B.V.,, 2012, s. 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 a RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, s. 197-205. ISBN 978-0-7695-4379-6.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej a MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 22-23. ISBN 978-84-693-9560-8.
Detail -
2010
ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr a 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, s. 294-299. ISBN 978-0-7695-3979-9.
DetailMATOUŠEK Petr, RYŠAVÝ Ondřej, DE Silva Gayan a 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, s. 6. ISBN 978-963-9799-87-5.
DetailDE Silva Gayan, MATOUŠEK Petr, RYŠAVÝ Ondřej a Š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, s. 545-551. ISBN 978-1-4244-7285-7.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav a Č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, s. 5-11. ISBN 978-989-8425-25-6.
DetailKORNECKI Andrew J., GREGA Wojciech, HILBURN Thomas B., THIRIET Jean-Marc, ŠVÉDA Miroslav, RYŠAVÝ Ondřej a 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, s. 65-84. ISBN 978-953-307-012-4.
Detail -
2009
KOLLÁR Matej, PETERKA Ondřej, RYŠAVÝ Ondřej a ŠKARVADA Libor. A Calculus of Coercive Subtyping. Brno: Masarykova universita, 2009.
DetailŠKARVADA Libor, PETERKA Ondřej, RYŠAVÝ Ondřej a 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, s. 182-192.
DetailRYŠAVÝ Ondřej a RÁB Jaroslav. A Formal Model of Composing Components: The TLA+ Approach. Innovations in Systems and Software Engineering, roč. 5, č. 2, 2009, s. 139-149. ISSN 1614-5046.
DetailRYŠAVÝ Ondřej, ŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, PILAT Adam a 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, s. 71-76. ISBN 978-0-7695-3759-7.
DetailPILAT Adam, KORNECKI Andrew J., THIRIET Jean-Marc, GREGA Wojciech a 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, s. 1248-1253. ISBN 978-1-4244-4602-5.
DetailGREGA Wojciech, HILBURN Thomas B., KORNECKI Andrew J., RYŠAVÝ Ondřej, ŠVÉDA Miroslav a 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: Universidad Politécnica de Valencia, 2009, s. 5. ISBN 978-84-8363-428-8.
DetailRÁB Jaroslav, RYŠAVÝ Ondřej a Š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, s. 151-156. ISBN 978-83-60810-22-4.
DetailŠVÉDA Miroslav, KORNECKI Andrew J., HILBURN Thomas B., GREGA Wojciech, THIRIET Jean-Marc a 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: Universidad Politécnica de Valencia, 2009, s. 6. ISBN 978-84-8363-428-8.
Detail -
2008
RYŠAVÝ Ondřej a 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, s. 719-725. ISBN 978-83-60810-14-9.
DetailČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Fakulta informačních technologií VUT v Brně, 2008.
DetailMATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej a Š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, s. 171-181. ISBN 0-7695-3141-5.
DetailŠVÉDA Miroslav, RYŠAVÝ Ondřej a 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, s. 151-164. ISBN 978-953-7619-17-6.
Detail -
2007
MATOUŠEK Petr a RYŠAVÝ Ondřej. A Path to Become a Skillful CCNP Expert During your University Studies. Istanbul, 2007.
DetailPETERKA Ondřej, RYŠAVÝ Ondřej, LORENC Václav, OSOVSKÝ Martin a Š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, s. 173-180. ISBN 978-80-7355-077-6.
DetailŠVÉDA Miroslav a 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, s. 7. ISBN 972-8865-86-4.
DetailŠVÉDA Miroslav, VRBA Radimír a 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, s. 8. ISBN 972-8865-84-8.
Detail -
2006
RYŠAVÝ Ondřej, ŠČUGLÍK František a Š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, s. 159-163. ISBN 0-7695-2546-6.
DetailRYŠAVÝ Ondřej. Inheritance of specifications in the calculus of functional objects. Brno: Fakulta informačních technologií VUT v Brně, 2006.
Detail -
2005
BUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František a Š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, s. 323-330. ISBN 0-7695-2308-0.
DetailRYŠAVÝ Ondřej a ŠČUGLÍK František. Design and development of a library for formal verification: an overview. Brno: Fakulta informačních technologií VUT v Brně, 2005.
Detail -
2004
BUREŠ František a 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, s. 5. ISBN 960-8052-95-5.
DetailRYŠAVÝ Ondřej a BUREŠ František. A Graph Representation for Use Case Specifications. WSEAS Transactions on Computers, roč. 2004, č. 3, s. 686-690. ISSN 1109-2750.
DetailRYŠAVÝ Ondřej a 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, s. 203-211. ISBN 0-7695-21258.
DetailRYŠAVÝ Ondřej, BUREŠ František, ŠČUGLÍK František a Š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, s. 57-63. ISBN 1-85769-1970.
Detail -
2003
RYŠAVÝ Ondřej a Š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, s. 35-40. ISBN 1-85769-189X.
DetailRYŠAVÝ Ondřej. A Survey on Formal Representation of UML. Brno, 2003.
DetailBUREŠ František a RYŠAVÝ Ondřej. Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1. ElectronicsLetters.com, roč. 2003, č. 6, s. 6. ISSN 1213-161X.
DetailBUREŠ František a 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, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2002, s. 8. ISBN 80-214-2116-9.
DetailRYŠAVÝ Ondřej. XML constraint specification language. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Vysoké učení technické v Brně, 2002, s. 4. ISBN 80-214-2180-0.
Detail