Ondrej Rysavy

Data for: Distributed password cracking with BOINC and hashcat

Radek Hranický, Ondrej Rysavy, Lukáš Zobal, 2019 .

Inheritance of specifications in the calculus of functional objects (preliminary report)

Ondrej Rysavy, O. Ryšavý, 2006 .

Real-time software-intensive systems engineering: An international perspective

Andrew J. Kornecki, Miroslav Sveda, Jean-Marc Thiriet, 2009, 2009 EAEEIE Annual Conference.

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems

Valentino Vranic, Ondrej Rysavy, George A. Papadopoulos, 2017, ECBS.

An Approach for Automated Network-Wide Security Analysis

Miroslav Sveda, Ondrej Rysavy, Jaroslav Rab, 2010, 2010 Ninth International Conference on Networks.

A formal model of composing components: the TLA+ approach

Ondrej Rysavy, Jaroslav Rab, J. Ráb, 2009, Innovations in Systems and Software Engineering.

Methodology for creation of multidisciplinary, transatlantic engineering program in information technology

Andrew J. Kornecki, Miroslav Sveda, Jean-Marc Thiriet, 2009, 2009 EAEEIE Annual Conference.