Formal Abstract Architecture for Use Case Specifications. - Ondrej Rysavý; Frantisek Bures (ECBS, 2004)

A Framework for Formal Specification of Embedded Systems. - Frantisek Bures; Ondrej Rysavý; Frantisek Scuglik; Miroslav Svéda (ECBS, 2005)

Designing algorithm-oriented generic library on .NET framework. - Ondrej Rysavý; Frantisek Scuglik; Miroslav Svéda (ECBS, 2006)

Industrial application development using case-based reasoning. - Miroslav Svéda; Ondrej Rysavý (ANNIIP, 2007)

Pattern-driven reuse of embedded control design - behavioral and architectural specifications in embedded control system designs. - Miroslav Svéda; Ondrej Rysavý; Radimir Vrba (ICINCO-ICSO, 2007)

A Formal Model for Network-Wide Security Analysis. - Petr Matousek; Jaroslav Ráb; Ondrej Rysavý; Miroslav Svéda (ECBS, 2008)

A component-based approach to verification of embedded control systems using TLA+. - Ondrej Rysavý; Jaroslav Ráb (IMCSIT, 2008)

Inter-university project based on LEGO NXT. - Adam Pilat; Andrew J. Kornecki; Jean-Marc Thiriet; Wojciech Grega; Ondrej Rysavý (CCA/ISIC, 2009)

Designing and Implementing International RSIC Engineering Curriculum. - Ondrej Rysavý; Miroslav Svéda; Andrew J. Kornecki; Thomas B. Hilburn; Wojciech Grega; Adam Pilat; Jean-Marc Thiriet (ECBS-EERC, 2009)

A formal model of composing components: the TLA+ approach. - Ondrej Rysavý; Jaroslav Ráb (Innov. Syst. Softw. Eng., 2009)

Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. - Miroslav Svéda; Ondrej Rysavý; Petr Matousek; Jaroslav Ráb; Rudolf Cejka (DCNET/OPTICS, 2010)

Static Analysis of Routing and Firewall Policy Configurations. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ICETE (Selected Papers), 2010)

Formal analysis approach on networks with dynamic behaviours. - Gayan de Silva; Petr Matousek; Ondrej Rysavý; Miroslav Svéda (ICUMT, 2010)

Combination of simulation and formal methods to analyse network survivability. - Petr Matousek; Ondrej Rysavý; Gayan de Silva; Martin Danko (SimuTools, 2010)

Reachability Analysis in Dynamically Routed Networks. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ECBS, 2011)

A Formal Authorization Framework for Networked SCADA Systems. - Ondrej Rysavý; Jaroslav Ráb; Patrik Halfar; Miroslav Svéda (ECBS, 2012)

Improving security in SCADA systems through firewall policy analysis. - Ondrej Rysavý; Jaroslav Ráb; Miroslav Svéda (FedCSIS, 2013)

Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. - Miroslav Svéda; Ondrej Rysavý (PDeS, 2013)

IPv6 unicast and IPv4 multicast routing in OMNeT++. - Vladimír Veselý; Ondrej Rysavý; Miroslav Svéda (SimuTools, 2013)

On formal reachability analysis in networks with dynamic behavior. - Gayan de Silva; Ondrej Rysavý; Petr Matousek; Miroslav Svéda (Telecommun. Syst., 2013)

Towards Identification of Operating Systems from the Internet Traffic - IPFIX Monitoring with Fingerprinting and Clustering. - Petr Matousek; Ondrej Rysavý; Matej Grégr; Martin Vymlátil (DCNET, 2014)

Enhanced interior gateway routing protocol for OMNeT++. - Vladimír Veselý; Jan Bloudicek; Ondrej Rysavý (SIMULTECH, 2014)

Enhanced Interior Gateway Routing Protocol with IPv4 and IPv6 Support for OMNeT++. - Vladimír Veselý; Vít Rek; Ondrej Rysavý (SIMULTECH (Selected Papers), 2014)

Fast RTP Detection and Codecs Classification in Internet Traffic. - Petr Matousek; Ondrej Rysavý; Martin Kmet (J. Digit. Forensics Secur. Law, 2014)

Advanced Techniques for Reconstruction of Incomplete Network Data. - Petr Matousek; Jan Pluskal; Ondrej Rysavý; Vladimír Veselý; Martin Kmet; Filip Karpísek; Martin Vymlátil (ICDF2C, 2015)

Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator. - Vladimír Veselý; Marcel Marek; Tomas Hykel; Ondrej Rysavý (CoRR, 2015)

From protecting protocols to layers: Designing, implementing and experimenting with security policies in RINA. - Eduard Grasa; Ondrej Rysavý; Ondrej Lichtner; Hamid Asgari; John Day 001; Lou Chitkushev (ICC, 2016)

Experimental Evaluation of Password Recovery in Encrypted Documents. - Radek Hranicky; Petr Matousek; Ondrej Rysavý; Vladimír Veselý (ICISSP, 2016)

Babel Routing Protocol for OMNeT++ - More than just a new simulation module for INET framework. - Vladimír Veselý; Vít Rek; Ondrej Rysavý (CoRR, 2016)

On Efficiency of Distributed Password Recovery. - Petr Matousek; Radek Hranicky; Martin Holkovic; Ondrej Rysavý (J. Digit. Forensics Secur. Law, 2016)

Towards analysis of IP communication in a constrained environment of tactical radio networks. - Marcel Marek; Ondrej Rysavý; Vladimír Veselý (ECBS, 2017)

TARZAN: An Integrated Platform for Security Analysis. - Marek Rychlý; Ondrej Rysavý (FedCSIS, 2017)

Automation of MitM Attack on Wi-Fi Networks. - Martin Vondrácek; Jan Pluskal; Ondrej Rysavý (ICDF2C, 2017)

First-hop Redundancy Protocols in Omnet++. - Vladimír Veselý; Jan Holusa; Ondrej Rysavý (SIMULTECH, 2017)

Traffic Classification and Application Identification in Network Forensics. - Jan Pluskal; Ondrej Lichtner; Ondrej Rysavý (IFIP Int. Conf. Digital Forensics, 2018)

Automated Man-in-the-Middle Attack Against Wi‑Fi Networks. - Martin Vondrácek; Jan Pluskal; Ondrej Rysavý (J. Digit. Forensics Secur. Law, 2018)

Identification of Threats and Security Risk Assessments for Recursive Internet Architecture. - Hamid Asgari; Sarah Haines; Ondrej Rysavý (IEEE Syst. J., 2018)

On Practical Aspects of PCFG Password Cracking. - Radek Hranický; Filip Listiak; Dávid Mikus; Ondrej Rysavý (DBSec, 2019)

Automating Network Security Analysis at Packet-level by using Rule-based Engine. - Martin Holkovic; Ondrej Rysavý; Jindrich Dudek (ECBS, 2019)

Big Data Network Flow Processing Using Apache Spark. - Kamil Jerábek; Ondrej Rysavý (ECBS, 2019)

Network Forensic Analysis for Lawful Enforcement on Steroids, Distributed and Scalable. - Viliam Letavay; Jan Pluskal; Ondrej Rysavý (ECBS, 2019)

Security Monitoring of IoT Communication Using Flows. - Petr Matousek; Ondrej Rysavý; Matej Grégr (ECBS, 2019)

Network Forensics in GSE Overlay Networks. - Jan Pluskal; Martin Vondrácek; Ondrej Rysavý (ECBS, 2019)

Application Error Detection in Networks by Protocol Behavior Model. - Martin Holkovic; Libor Polcák; Ondrej Rysavý (ICETE (Selected Papers), 2019)

Using Network Traces to Generate Models for Automatic Network Application Protocols Diagnostics. - Martin Holkovic; Ondrej Rysavý; Libor Polcák (ICETE (1), 2019)

Distributed password cracking with BOINC and hashcat. - Radek Hranický; Lukás Zobal; Ondrej Rysavý; Dusan Kolár (Digit. Investig., 2019)

Big Data Security Analysis withTARZAN Platform. - Marek Rychlý; Ondrej Rysavý (J. Cyber Secur. Mobil., 2019)

Distributed PCFG Password Cracking. - Radek Hranický; Lukás Zobal; Ondrej Rysavý; Dusan Kolár; Dávid Mikus (ESORICS (1), 2020)

Proposed Method for Partial Node Replacement by Software Defined Network. - Sawsan Youssef; Ondrej Rysavý (FedCSIS (Position Papers), 2020)

On Reliability of JA3 Hashes for Fingerprinting Mobile Applications. - Petr Matousek; Ivana Burgetova; Ondrej Rysavý; Malombe Victor (ICDF2C, 2020)

Pattern Detection based Network Diagnostics. - Martin Holkovic; Michal Bohus; Ondrej Rysavý (ICETE (1), 2020)

Identity Linking in Computer Networks. - Libor Polcák; Ondrej Rysavý; Petr Matousek (ICETE (1), 2020)

Netfox detective: A novel open-source network forensics analysis tool. - Jan Pluskal; Frank Breitinger; Ondrej Rysavý (Digit. Investig., 2020)

Flow based monitoring of ICS communication in the smart grid. - Petr Matousek; Ondrej Rysavý; Matej Grégr; Vojtech Havlena (J. Inf. Secur. Appl., 2020)

Anomaly Detection of ICS Communication Using Statistical Models. - Ivana Burgetova; Petr Matousek; Ondrej Rysavý (CNSM, 2021)

Network Problem Diagnostics using Typographic Error Correction. - Martin Holkovic; Michal Bohus; Ondrej Rysavý (CNSM, 2021)

A Network Traffic Processing Library for ICS Anomaly Detection. - Ondrej Rysavý; Petr Matousek (ECBS, 2021)

Unified SNMP Interface for IoT Monitoring. - Petr Matousek; Ondrej Rysavý; Libor Polcák (IM, 2021)

What do incident response practitioners need to know? A skillmap for the years ahead. - Radek Hranický; Frank Breitinger; Ondrej Rysavý; John Sheppard 002; Florin Schaedler; Holger Morgenstern; Simon Malik (Digit. Investig., 2021)

Measurement and characterization of DNS over HTTPS traffic. - Kamil Jerábek; Ondrej Rysavý; Ivana Burgetova (CoRR, 2022)

ICS Dataset for Smart Grid Anomaly Detection. - Petr Matousek; Ondrej Rysavý; Peter Grofcík (IEEE DataPort, 2022)

Modbus Dataset for ICS Anomaly Detection. - Ondrej Rysavý; Petr Matousek (IEEE DataPort, 2022)

Deep learning for predictive alerting and cyber-attack mitigation. - Arbnor Imeri; Ondrej Rysavý (CCWC, 2023)

Analysis of Well-Known DNS over HTTPS Resolvers. - Kamil Jerábek; Ondrej Rysavý; Ivana Burgetova (CCWC, 2023)

Toward migration to SDN: Generating SDN Forwarding Rules by Decision Tree. - Sawsan Youssef; Ondrej Rysavý (ICIN, 2023)

Detecting DoH-Based Data Exfiltration: FluBot Malware Case Study. - Roman Rader; Kamil Jerábek; Ondrej Rysavý (LCN, 2023)

DNS Over HTTPS Detection Using Standard Flow Telemetry. - Kamil Jerábek; Karel Hynek; Ondrej Rysavý; Ivana Burgetova (IEEE Access, 2023)

Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. - Vojtech Havlena; Petr Matousek; Ondrej Rysavý; Lukás Holík (IEEE Trans. Smart Grid, 2023)

Spotting the Hook: Leveraging Domain Data for Advanced Phishing Detection. - Radek Hranický; Adam Horák; Jan Polisenský; Ondrej Ondryás; Kamil Jerábek; Ondrej Rysavý (CNSM, 2024)

Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. - Petr Matousek; Ondrej Rysavý; Ivana Burgetova (CNSM, 2024)

Towards Identification of Network Applications in Encrypted Traffic. - Ivana Burgetova; Ondrej Rysavý; Petr Matousek (CSNet, 2024)

Unmasking the Phishermen: Phishing Domain Detection with Machine Learning and Multi-Source Intelligence. - Radek Hranický; Adam Horák; Jan Polisenský; Kamil Jerábek; Ondrej Rysavý (NOMS, 2024)

Comparative analysis of DNS over HTTPS detectors. - Kamil Jerábek; Karel Hynek; Ondrej Rysavý (Comput. Networks, 2024)