Faculty of Information Technology, BUT

Ing.

Ráb Jaroslav

Assistant lecturer

Publications

  • 2013

    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

  • 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

    Š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

  • 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

    Š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

  • 2009

    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, pp. 139-149. ISSN 1614-5046.
    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

  • 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

  • 2007

    RÁB Jaroslav. Konsolidujte správu hlášení v síti. CONNECT!, vol. 12, no. 5, pp. 64-65. ISSN 1211-3085.
    Detail

    RÁB Jaroslav. Proxy servery v praxi. CONNECT!, vol. 12, no. 2, pp. 48-49. ISSN 1211-3085.
    Detail

  • 2004

    EISENHABER Frank, RÁB Jaroslav, SCHNEIDER Georg and WILDPANER Michael. ANNIE - Biological Discoveries With Large Scale Biomolecular Sequence Analysis. In: Sun HPCC 2004, CB-SIG. Heidelberg, 2004, p. 22.
    Detail

  • 2003

    RÁB Jaroslav. Design and Verification of Real-Time UML System Models. In: Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003, pp. 311-314. ISBN 0-08-044130-0.
    Detail

  • 2002

    ŠVÉDA Miroslav and RÁB Jaroslav. Designing dedicated distributed architectures for embedded systems. In: Proceedings of Electronic Devices and Systems, 2002. Brno: Brno University of Technology, 2002, pp. 301-310. ISBN 80-214-2180-0.
    Detail

  • 2000

    MATOUŠEK Petr, RÁB Jaroslav and VÝŠEK Pavel. Protocol Proving and Model Checking: A First-Look Experience. In: IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000, pp. 71-75. ISBN 1-85-769121-0.
    Detail

    RÁB Jaroslav. Using Unified Modeling Language for Real-Time system specification. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000, pp. 225-227. ISBN 80-7240-155-X.
    Detail

  • 1999

    RÁB Jaroslav. Monitorování výkonnosti databázových serverů využitím protokolu SNMP. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 1999, pp. 99-100. ISBN 80-214-1155-4.
    Detail

    RÁB Jaroslav. Monitorování výkonnosti databázových serverů využitím protokolu SNMP. In: Tvůrčí činnost studentů oboru VTI - TCS'99. Brno, 1999, p. 6.
    Detail

Back to top