Ing. Jaroslav Ráb

Publications

2013RYŠ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.
2012HALFAR 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.
 Š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. Heidelberg: Springer Science+Business Media B.V., 2012, pp. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
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.
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.
 Š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.
2009RYŠAVÝ Ondřej and RÁB Jaroslav. A Formal Model of Composing Components: The TLA+ Approach. Innovations in Systems and Software Engineering. London: Springer London, 2009, vol. 5, no. 2, pp. 139-149. ISSN 1614-5046.
 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.
2008MATOUŠ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.
 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.
 Č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.
2007RÁB Jaroslav. Konsolidujte správu hlášení v síti. CONNECT!. Brno: Computer Press, s.r.o, 2007, vol. 12, no. 5, pp. 64-65. ISSN 1211-3085.
 RÁB Jaroslav. Proxy servery v praxi. CONNECT!. Brno: Computer Press, s.r.o, 2007, vol. 12, no. 2, pp. 48-49. ISSN 1211-3085.
2004EISENHABER 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.
2003RÁB Jaroslav. Design and Verification of Real-Time UML System Models. In: Programmable Devices and Systems 2003. Kidlington, Oxford: Elsevier Science, 2003, pp. 311-314. ISBN 0-08-044130-0.
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.
2000MATOUŠ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.
 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.

Show all publications

Your IPv4 address: 54.162.151.77
Switch to https