Ing. Petr Matoušek, Ph.D.
| 2012 | Š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, p. 39-53, ISBN 978-3-642-25205-1 |
| | Veselý, V., Matoušek, P., Švéda, M.: Multicast Simulation and Modeling in OMNeT++, In: Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques, Desenzano del Garda, IT, ICST, 2012, p. 298-301, ISBN 978-1-936968-47-3 |
| 2011 | Grégr, M., Matoušek, P., Podermański, T., Švéda, M.: Practical IPv6 Monitoring - Challenges and Techniques, In: Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011), Dublin, IE, IEEE CS, 2011, p. 660-663, ISBN 978-1-4244-9220-6 |
| | Polčák, L., Grégr, M., Kajan, M., Matoušek, P., Veselý, V.: Designing Lawful Interception in IPv6 Networks, In: Security and Protection of Information, Brno, CZ, UNOB, 2011, p. 114-126, ISBN 978-80-7231-777-6 |
| | Š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, p. 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, p. 22-23, ISBN 978-84-693-9560-8 |
| 2010 | De, 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, p. 545-551, ISBN 978-1-4244-7285-7 |
| | 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, p. 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, p. 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, p. 294-299, ISBN 978-0-7695-3979-9 |
| 2009 | Matoušek, P., Skokanová, J.: Nový univerzitní kurz "Multimédia v počítačových sítích", Brno, CZ, 2009, p. 8 |
| | Matoušek, P.: 8. konference Cisco Networking Academy 2009 na FIT, In: Události (VUT News), Vol. 2009, No. 7, CZ, p. 1, ISSN 1211-4421 |
| 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, p. 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, p. 171-181, ISBN 0-7695-3141-5 |
| | Matoušek, P.: Projekt CCIE inkubátor, Stará Lesná, SK, 2008, p. 14 |
| | Matoušek, P.: Úspěch studentů FIT v soutěži Networking Academy Games, In: Události (VUT News), Vol. 2008, No. 5, CZ, p. 1, ISSN 1211-4421 |
| 2007 | Matoušek, P., Ryšavý, O.: A path to become a skillful CCNP expert during your University studies, Istanbul, TR, 2007, p. 1 |
| | Matoušek, P.: Automatická analýza síťové bezpečnosti, Brno, CZ, 2007, p. 25 |
| | Matoušek, P.: Bezpečné připojení jedním zařízením, In: CONNECT!, Vol. 2007, No. 1, Brno, CZ, p. 62-63, ISSN 1211-3085 |
| | Matoušek, P.: Kombinované rešení switch/router, In: CONNECT!, Vol. 2007, No. 4, Brno, CZ, p. 40-41, ISSN 1211-3085 |
| | Matoušek, P.: Network Security by Cisco, Slavonice, CZ, 2007, p. 34 |
| | Smrčka, A., Řehák, V., Vojnar, T., Šafránek, D., Matoušek, P., Řehák, Z.: Verifying VHDL Design with Multiple Clocks in SMV, In: Formal Methods: Applications and Technology, Bonn, DE, Springer, 2007, p. 148-164, ISSN 0302-9743 |
| 2006 | Matoušek, P.: Dobrého nespálí - test firewallů pro sítě do 150 uživatelů, In: CONNECT!, Vol. 2006, No. 6, Brno, CZ, p. 26-29, ISSN 1211-3085 |
| | Matoušek, P.: Implementace kurzů NetAcad na FIT VUT v Brně, Stará Lesná, SK, 2006, p. 14 |
| | Matoušek, P.: Praktické úlohy z počítačových sítí, Brno, CZ, 2006, p. 82 |
| | Matoušek, P.: Tools for Verification of Security Protocols, Brno, CZ, 2006, p. 29 |
| | Smrčka, A., Řehák, V., Vojnar, T., Šafránek, D., Matoušek, P., Řehák, Z.: Verifying VHDL Design with Multiple Clocks in SMV, In: Proceedings of FMICS 2006, Bonn, DE, 2006, p. 140-155 |
| 2005 | Matoušek, P., Smrčka, A., Vojnar, T.: High-level Modelling, Analysis and Verification on FPGA-based Hardware Design, Brno, CZ, CESNET, 2005, p. 17 |
| | Matoušek, P., Smrčka, A., Vojnar, T.: High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design, In: Correct Hardware Design and Verification Methods, Berlin, DE, Springer, 2005, p. 371-375, ISBN 978-3-540-29105-3, ISSN 0302-9743 |
| | Matoušek, P.: Cisco Network Akademy také na VUT v Brně, In: Události (VUT News), Vol. 2005, No. 11, CZ, p. 29-29, ISSN 1211-4421 |
| | Matoušek, P.: Není datům v síti těsno?, In: CONNECT!, Vol. 2005, No. 11, Brno, CZ, p. 7-8, ISSN 1211-3085 |
| | Matoušek, P.: Symbolic Data Structure Based on Intervals for Parametric Verification, Seminary UIFS, FIT VUT Brno, CZ, 2005, p. 30 |
| | Matoušek, P.: Symbolic Data Structures for Parametric Verification, Brno, CZ, 2005, p. 99 |
| | Matoušek, P.: TReX and IF, ParaDiSe seminary, FI MU Brno, CZ, 2005, p. 38 |
Show all publications |
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)