Ing. Ondřej Ryšavý, Ph.D.

2013Veselý, V., Ryšavý, O., Švéda, M.: IPv6 Unicast and IPv4 Multicast Routing in OMNeT++, In: Proceedings of the IEEE 6th International ICST Conference on Simulation Tools and Techniques, Cannes, FR, ICST, 2013, s. 1-4, ISBN 978-1-936968-47-3
2012Halfar, P., Ráb, J., Ryšavý, O., Švéda, M.: A Formal Authorization Framework for Networked SCADA Systems, In: Proceedings IEEE ECBS 2012, Novy Sad, RS, IEEE CS, 2012, s. 298-302, ISBN 978-0-7695-4664-3
 Ryšavý, O., Švéda, M., Vrba, R.: A Framework for Cyber-Physical Systems Design - A Concept Study, In: Proceedings ICONS 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, s. 79-82, ISBN 978-1-61208-184-7
 Švéda, M., Ryšavý, O., De, S., G., Matoušek, P., Ráb, J.: Static Analysis of Routing and Firewall Policy Configurations, e-Business and Telecommunications, Heidelberg, DE, Springer Science+Business Media, 2012, s. 39-53, ISBN 978-3-642-25205-1
 Švéda, M., Sekletár, M., Fidler, T., Ryšavý, O.: A High-level Network-wide Router Configuration Language, In: Proceedings ICN 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, s. 18-21, ISBN 978-1-61208-183-0
2011Švéda, M., Ryšavý, O., De, S., G., Matoušek, P., Ráb, J.: Reachability Analysis in Dynamically Routed Networks, In: Proceedings of the IEEE ECBS 2011, Piscataway, NJ, US, IEEE CS, 2011, s. 197-205, ISBN 978-0-7695-4379-6
 Švéda, M., Ryšavý, O., Matoušek, P.: Supporting Safe and Secure Networked System Design, In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts, Las Palmas de Gran Canaria, ES, IUCTC, 2011, s. 22-23, ISBN 978-84-693-9560-8
2010De, S., G., Matoušek, P., Ryšavý, O., Švéda, M.: Formal Analysis Approach on Networks with Dynamic Behaviours, In: 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), Moscow, RU, IEEE CS, 2010, s. 545-551, ISBN 978-1-4244-7285-7
 Kornecki, A., J., Grega, W., Hilburn, T., B., Thiriet, J., Švéda, M., Ryšavý, O., Pilat, A.: Transatlantic Engineering Programs: An Experience in International Cooperation, Safeeullah Soomro (Editor): Engineering the Computer Science and IT, Vienna, AT, IN-TECH, 2010, s. 65-84, ISBN 978-953-307-012-4
 Matoušek, P., Ryšavý, O., De, S., G., Danko, M.: 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, ES, ICST, 2010, s. 6, ISBN 978-963-9799-87-5
 Švéda, M., Ryšavý, O., Matoušek, P., Ráb, J., Čejka, R.: 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, GR, INSTICC, 2010, s. 5-11, ISBN 978-989-8425-25-6
 Švéda, M., Ryšavý, O., Matoušek, P., Ráb, J.: An Approach for Automated Network-Wide Security Analysis, In: Proceedings of the Ninth International Conference on Networks ICN 2010, Les Menuires, FR, IEEE CS, 2010, s. 294-299, ISBN 978-0-7695-3979-9
2009Grega, W., Hilburn, T., B., Kornecki, A., J., Ryšavý, O., Švéda, M., Thiriet, J.: 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, ES, UPV, 2009, s. 5, ISBN 978-84-8363-428-8
 Kollár, M., Peterka, O., Ryšavý, O., Škarvada, L.: A Calculus of Coercive Subtyping, Brno, CZ, MUNI, 2009, s. 17
 Pilat, A., Kornecki, A., J., Thiriet, J., Grega, W., Ryšavý, O.: Inter-university Project Based on LEGO NXT, In: 18th IEEE International Conference on Control Applications, Saint Petersburg, RU, IEEE CS, 2009, s. 1248-1253, ISBN 978-1-4244-4602-5
 Ráb, J., Ryšavý, O., Švéda, M.: 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, PL, IEEE CS, 2009, s. 151-156, ISBN 978-83-60810-22-4
 Ryšavý, O., Ráb, J.: A Formal Model of Composing Components: The TLA+ Approach, In: Innovations in Systems and Software Engineering, roč. 5, č. 2, 2009, London, GB, s. 139-149, ISSN 1614-5046
 Ryšavý, O., Švéda, M., Kornecki, A., J., Hilburn, T., B., Grega, W., Pilat, A., Thiriet, J.: Designing and Implementing International RSIC Engineering Curriculum, In: 1st Eastern European Regional Conference on the Engineering of Computer-Based Systems, Novi Sad, RS, IEEE CS, 2009, s. 71-76, ISBN 978-0-7695-3759-7
 Škarvada, L., Peterka, O., Ryšavý, O., Kolář, D.: A Calculus of Coercive Subtyping, In: Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages, South Orange, US, SHU, 2009, s. 182-192
 Švéda, M., Kornecki, A., J., Hilburn, T., B., Grega, W., Thiriet, J., Ryšavý, O.: 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, ES, UPV, 2009, s. 6, ISBN 978-84-8363-428-8
2008Čejka, R., Matoušek, P., Ráb, J., Ryšavý, O., Švéda, M.: A Formal Approach to Network Security Analysis, Brno, CZ, FIT VUT, 2008, s. 20
 Matoušek, P., Ráb, J., Ryšavý, O., Švéda, M.: 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, GB, University of Ulster, 2008, s. 171-181, ISBN 0-7695-3141-5
 Ryšavý, O., Ráb, J.: 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, PL, ICSP, 2008, s. 719-725, ISBN 978-83-60810-14-9
 Švéda, M., Ryšavý, O., Vrba, R.: Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design, Frontiers in Robotics, Automation and Control, Vienna, AT, IN-TECH, 2008, s. 151-164, ISBN 978-953-7619-17-6
2007Matoušek, P., Ryšavý, O.: A Path to Become a Skillful CCNP Expert During your University Studies, Istanbul, TR, 2007, s. 1
 Peterka, O., Ryšavý, O., Lorenc, V., Osovský, M., Škarvada, L.: Can Objects Have Dependent Types?, In: Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), Znojmo, CZ, Novotny, 2007, s. 173-180, ISBN 978-80-7355-077-6
 Švéda, M., Ryšavý, O.: Industrial Application Development Using Case-Based Reasoning, In: Proceedings of International Workshop on Artificial Neural Networks and Intelligent Information Processing, Angers, FR, INSTICC, 2007, s. 7, ISBN 972-8865-86-4
 Švéda, M., Vrba, R., Ryšavý, O.: Pattern-Driven Reuse of Embedded Control Design, In: Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics, Angers, FR, INSTICC, 2007, s. 8, ISBN 972-8865-84-8
2006Ryšavý, O., Ščuglík, F., Švéda, M.: 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, US, IEEE CS, 2006, s. 159-163, ISBN 0-7695-2546-6
 Ryšavý, O.: Inheritance of specifications in the calculus of functional objects, Brno, CZ, FIT VUT, 2006, s. 15
2005Bureš, F., Ryšavý, O., Ščuglík, F., Švéda, M.: 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, US, IEEE CS, 2005, s. 323-330, ISBN 0-7695-2308-0
 Ryšavý, O., Ščuglík, F.: Design and development of a library for formal verification: an overview, Brno, CZ, FIT VUT, 2005, s. 7
 Ryšavý, O., Ščuglík, F.: Vutbrmsr .NET class library, brno, CZ, 2005
 Ryšavý, O.: Specifying and reasoning in the calculus of objects, Brno, CZ, 2005, s. 95

Zobrazit všechny publikace

Vaše IPv4 adresa: 50.16.166.175
Přepnout na IPv6 spojení

DNSSEC [dnssec]