doc. Ing.

Petr Matoušek

Ph.D., M.A.

FIT, UIFS – docent

+420 54114 1108
matousp@fit.vut.cz

Odeslat VUT zprávu

doc. Ing. Petr Matoušek, Ph.D., M.A.

Publikace

  • 2024

    MUTUA, N.; NADJM-TEHRANI, S.; MATOUŠEK, P. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. 2024. s. 1-19.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O.; BURGETOVÁ, I. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. 2024. s. 0-0.
    Detail | WWW

  • 2023

    HAVLENA, V.; MATOUŠEK, P.; RYŠAVÝ, O.; HOLÍK, L. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, 2023, roč. 2023, č. 14, s. 2352-2366. ISSN: 1949-3053.
    Detail | WWW

  • 2022

    POLČÁK, L.; MATOUŠEK, P. Metering Homes: Do Energy Efficiency and Privacy Need to be in Conflict?. In Proceedings of the 19th International Conference on Security and Cryptography. Lisabon: SciTePress - Science and Technology Publications, 2022. s. 47-58. ISBN: 978-989-758-590-6.
    Detail | WWW | Plný text v Digitální knihovně

  • 2021

    BURGETOVÁ, I.; MATOUŠEK, P.; RYŠAVÝ, O. Anomaly Detection of ICS Communication Using Statistical Models. In Proceedings of the 17th International Conference on Network Service Management (CNSM 2021). Izmir: Institute of Electrical and Electronics Engineers, 2021. s. 166-172. ISBN: 978-3-903176-36-2.
    Detail | WWW

    MATOUŠEK, P.; GROFČÍK, P. ICS Virtual Testbed. FIT-TR-2021-02, Brno: Faculty of Information Technology BUT, 2021. s. 0-0.
    Detail | WWW

    MUTUA, N.; MATOUŠEK, P. Outlier Detection in Smart Grid Communication. Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference. Munich: 2021. s. 1-4.
    Detail | WWW

    MATOUŠEK, P. Bezpečnostní rizika IoT. Brno: 2021. s. 1-12.
    Detail | WWW

    MATOUŠEK, P. Security of Smart Grid Communication. Brno: Faculty of Information Technology BUT, 2021. s. 0-0.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O. Teaching ICS Security in Blended Classroom Environment. In Proceedings of the 2021 30th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE). Prague: Czech Technical University, 2021. s. 148-153. ISBN: 978-1-7281-9324-3.
    Detail | WWW

    MATOUŠEK, P.; HAVLENA, V.; HOLÍK, L. Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. In Proceedings of IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021. s. 81-89. ISBN: 978-3-903176-32-4.
    Detail | WWW

    MATOUŠEK, P.; BURGETOVÁ, I.; RYŠAVÝ, O.; VICTOR, M. On Reliability of JA3 Hashes for Fingerprinting Mobile Applications. In Digital Forensics and Cyber Crime. ICDF2C 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Boston: Springer International Publishing, 2021. s. 1-22. ISBN: 978-3-030-68733-5.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O.; POLČÁK, L. Unified SNMP Interface for IoT Monitoring. In Proceedings of the IM 2021 - 2021 IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021. s. 938-943. ISBN: 978-3-903176-32-4.
    Detail | WWW

    RYŠAVÝ, O.; MATOUŠEK, P. A Network Traffic Processing Library for ICS Anomaly Detection. In ECBS '21: Proceedings of the 7th Conference on the Engineering of Computer Based Systems. Novi Sad: Association for Computing Machinery, 2021. s. 144-151. ISBN: 978-1-4503-9057-6.
    Detail | WWW

    BURGETOVÁ, I.; MATOUŠEK, P.; MUTUA, N. Statistical Methods for Anomaly Detection in Industrial Communication. IT-TR-2021-01, Brno: Faculty of Information Technology BUT, 2021. s. 0-0.
    Detail | WWW

    MATOUŠEK, P.; KRAJČ, P. Monitoring of IoT Devices Using SNMP. IT-TR-2020-10, Brno: Faculty of Information Technology BUT, 2021. s. 0-0.
    Detail | WWW

    MATOUŠEK, P.; PRISTAŠ, J.; MASÁROVÁ, M. Simulation of Industrial Processes using I/O Factory and UniPi. IT-TR-2020-09, Brno: Faculty of Information Technology BUT, 2021. s. 0-0.
    Detail | WWW

  • 2020

    MATOUŠEK, P.; BURGETOVÁ, I.; VICTOR, M. Mobile Device Fingerprinting. FIT-TR-2020-05, Brno: 2020. s. 0-0.
    Detail | WWW

    POLČÁK, L.; RYŠAVÝ, O.; MATOUŠEK, P. Identity Linking in Computer Networks. In Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, DCNET, OPTICS, SIGMAP and WINSYS. Setubal: SciTePress - Science and Technology Publications, 2020. s. 45-52. ISBN: 978-989-758-445-9.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O.; HAVLENA, V.; GRÉGR, M. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, 2020, roč. 2020, č. 54, s. 102535-102535. ISSN: 2214-2126.
    Detail | WWW

    HAVLENA, V.; HOLÍK, L.; MATOUŠEK, P. Learning Probabilistic Automata in the Context of IEC 104. IT-TR-2020-01, Brno: Faculty of Information Technology BUT, 2020. s. 0-0.
    Detail | WWW

  • 2019

    RYŠAVÝ, O.; MATOUŠEK, P. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Faculty of Information Technology BUT, 2019. s. 0-0.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O.; GRÉGR, M. Increasing Visibility of IEC 104 Communication in the Smart Grid. 6th International Symposium for ICS & SCADA Cyber Security Research 2019. Swindon: BCS Learning and Development Ltd., 2019. s. 21-30. ISBN: 978-1-78017-523-2.
    Detail | WWW | Plný text v Digitální knihovně

    MATOUŠEK, P.; RYŠAVÝ, O.; BURGETOVÁ, I. Extending Networking Curriculum with Applied Artificial Intelligence. In Proceedings of EAEEIE 2019. Ruse: Institute of Electrical and Electronics Engineers, 2019. s. 11-16. ISBN: 978-1-7281-3222-8.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O.; GRÉGR, M. Security Monitoring of IoT Communication Using Flows. In Proceedings of the 6th Conference on the Engineering of Computer Based Systems. ECBS '19. New York: Association for Computing Machinery, 2019. s. 1-9. ISBN: 978-1-4503-7636-5.
    Detail | WWW

  • 2018

    MATOUŠEK, P.; SCHMIEDECKER, M. Digital Forensics and Cyber Crime. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Cham: Springer International Publishing, 2018. 235 s. ISBN: 978-3-319-73697-6.
    Detail | WWW

    MATOUŠEK, P. Description of IEC 61850 Communication. FIT-TR-2018-01, Brno: Faculty of Information Technology BUT, 2018. s. 0-0.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O.; JAMES, J.; JANG, Y. Interconnecting Education and Research Through International Partnership: IoT Case Study. In 2018 28th EAEEIE Annual Conference, EAEEIE 2018. Hafnarfjordur: Institute of Electrical and Electronics Engineers, 2018. s. 1-6. ISBN: 978-1-5386-7711-7.
    Detail | WWW

  • 2017

    HRANICKÝ, R.; ZOBAL, L.; VEČEŘA, V.; MATOUŠEK, P. Distributed Password Cracking in a Hybrid Environment. Proceedings of SPI 2017. Brno: University of Defence in Brno, 2017. s. 75-90. ISBN: 978-80-7231-414-0.
    Detail | WWW

    MATOUŠEK, P. Detekce mobilních zařízení v síťové komunikaci. FIT-TR-2017-08, Brno: Fakulta informačních technologií VUT v Brně, 2017. s. 0-0.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O.; ONYANGO, C.; SEVILLA, J. Delivering ICT Security Courses over 5.944 km. In Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Grenoble Institute of Technology, 2017. s. 1-7. ISBN: 978-1-7281-0907-7.
    Detail | WWW

    MATOUŠEK, P. Analysis of DLMS Protocol. FIT-TR-2017-13, Brno: 2017. s. 0-0.
    Detail | WWW

    MATOUŠEK, P. Description and analysis of IEC 104 Protocol. FIT-TR-2017-12, Brno: Faculty of Information Technology BUT, 2017. s. 0-0.
    Detail | WWW

    MATOUŠEK, P.; LOUB, R. On the Similarity of User-specific Features on Mobile Devices. Proceedings of SPI 2017. Brno: University of Defence in Brno, 2017. s. 1-11.
    Detail | WWW

  • 2016

    HRANICKÝ, R.; MATOUŠEK, P.; RYŠAVÝ, O.; VESELÝ, V. Experimental Evaluation of Password Recovery in Encrypted Documents. In Proceedings of ICISSP 2016. Roma: SciTePress - Science and Technology Publications, 2016. s. 299-306. ISBN: 978-989-758-167-0.
    Detail | WWW

    PLUSKAL, J.; RYŠAVÝ, O.; MATOUŠEK, P. On the Identification of Applications from Captured Network Traffic. New York: 2016. s. 0-0.
    Detail | WWW

    HRANICKÝ, R.; HOLKOVIČ, M.; MATOUŠEK, P.; RYŠAVÝ, O. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law, 2016, roč. 11, č. 2, s. 79-95. ISSN: 1558-7215.
    Detail | WWW

  • 2015

    MATOUŠEK, P.; MUSIL, M.; MUSIL, P.; ZEMČÍK, P. Souhrnná zpráva projektu VoIP. Brno: CAMEA, spol. s r. o., 2015. s. 0-0.
    Detail

    MATOUŠEK, P.; PLUSKAL, J.; RYŠAVÝ, O.; VESELÝ, V.; KMEŤ, M.; KARPÍŠEK, F.; VYMLÁTIL, M. Advanced Techniques for Reconstruction of Incomplete Network Data. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2015, roč. 2015, č. 157, s. 69-84. ISSN: 1867-8211.
    Detail | WWW

    MATOUŠEK, P. Podrobný přehled výstupů projektu MV SEC6NET. Brno: 2015. s. 0-0.
    Detail | WWW

    PLUSKAL, J.; MATOUŠEK, P.; RYŠAVÝ, O.; KMEŤ, M.; VESELÝ, V.; KARPÍŠEK, F.; VYMLÁTIL, M. Netfox Detective: A tool for advanced network forensics analysis. Proceedings of Security and Protection of Information (SPI) 2015. Brno: University of Defence in Brno, 2015. s. 147-163. ISBN: 978-80-7231-997-8.
    Detail | WWW

  • 2014

    POLČÁK, L.; JIRÁSEK, J.; MATOUŠEK, P. Comment on "Remote Physical Device Fingerprinting". IEEE Transactions on Dependable and Secure Computing, 2014, roč. 11, č. 5, s. 494-496. ISSN: 1545-5971.
    Detail | WWW

    POLČÁK, L.; HOLKOVIČ, M.; MATOUŠEK, P. Host Identity Detection in IPv6 Networks. In E-Business and Telecommunications. Communications in Computer and Information Science. Berlin: Springer Verlag, 2014. s. 74-89. ISBN: 978-3-662-44787-1. ISSN: 1865-0929.
    Detail | WWW

    MATOUŠEK, P. Síťové služby a jejich architektura. Brno: Nakladatelství Vysokého učení technického v Brně VUTIUM, 2014. 396 s. ISBN: 978-80-214-3766-1.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O.; KMEŤ, M. Fast RTP Detection and Codecs Classification in Internet Traffic. The Journal of Digital Forensics, Security and Law, 2014, roč. 2014, č. 2, s. 99-110. ISSN: 1558-7215.
    Detail | WWW

    MATOUŠEK, P.; RYŠAVÝ, O.; GRÉGR, M.; VYMLÁTIL, M. Towards Identification of Operating Systems from the Internet Traffic. IPFIX Monitoring with Fingerprinting and Clustering. In DCNET2014. Proceedings of the 5th International Conference on Data Communication Networking. Wien: SciTePress - Science and Technology Publications, 2014. s. 21-27. ISBN: 978-989-758-042-0.
    Detail | WWW

    MATOUŠEK, P.; KMEŤ, M.; BASEL, M. On-line Monitoring of VoIP Quality Using IPFIX. Advances in Electrical and Electronic Engineering - intenetový časopis (http://advances.utc.sk), 2014, roč. 2014, č. 4, s. 325-333. ISSN: 1804-3119.
    Detail | WWW

    GRÉGR, M.; MATOUŠEK, P.; PODERMAŃSKI, T.; ŠVÉDA, M. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník, 2014, roč. 2014, č. 1, s. 1-20. ISSN: 0572-3043.
    Detail | WWW

    MATOUŠEK, P. Souhrnná zpráva projektu VoIP - Architektura a bezpečnost komunikačních nástrojů v mobilních technologiích. Brno: CAMEA, spol. s r. o., 2014. s. 0-0.
    Detail

  • 2013

    VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast simulation and modeling in OMNeT++. SimuTools '13 Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. Brussels: International Communication Sciences and Technology Association, 2013. s. 142-145. ISBN: 978-1-4503-2464-9.
    Detail

    MATOUŠEK, P.; MUSIL, M.; MUSIL, P.; ZEMČÍK, P. Sumarizace požadavků na třídy VoIP protokolů a jejich zpracování včetně možnosti implementace v FPGA - průběžná technická zpráva. Brno: 2013. s. 0-0.
    Detail

    POLČÁK, L.; HOLKOVIČ, M.; MATOUŠEK, P. A New Approach for Detection of Host Identity in IPv6 Networks. In Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems. Reykjavík: SciTePress - Science and Technology Publications, 2013. s. 57-63. ISBN: 978-989-8565-72-3.
    Detail | WWW

    POLČÁK, L.; HRANICKÝ, R.; MATOUŠEK, P. Hiding TCP Traffic: Threats and Counter-measures. Security and Protection of Information 2013, Proceedings of the Conference. Brno: University of Defence in Brno, 2013. s. 83-96. ISBN: 978-80-7231-922-0.
    Detail | WWW

    DE SILVA, G.; RYŠAVÝ, O.; MATOUŠEK, P.; ŠVÉDA, M. On formal reachability analysis in networks with dynamic behavior. TELECOMMUNICATION SYSTEMS, 2013, roč. 52, č. 2, s. 919-929. ISSN: 1018-4864.
    Detail | WWW

  • 2012

    VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast Simulation and Modeling in OMNeT++. Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques. Desenzano del Garda: International Communication Sciences and Technology Association, 2012. s. 298-301. ISBN: 978-1-936968-47-3.
    Detail | WWW

    ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Static Analysis of Routing and Firewall Policy Configurations. In e-Business and Telecommunications. Communications in Computer and Information Science. LNCS CCIS, Vol.222. Heidelberg: Springer Science+Business Media B.V., 2012. s. 39-53. ISBN: 978-3-642-25205-1. ISSN: 1865-0929.
    Detail | WWW

  • 2011

    POLČÁK, L.; GRÉGR, M.; KAJAN, M.; MATOUŠEK, P.; VESELÝ, V. Designing Lawful Interception in IPv6 Networks. Security and Protection of Information. Brno: University of Defence in Brno, 2011. s. 114-126. ISBN: 978-80-7231-777-6.
    Detail | WWW

    ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Reachability Analysis in Dynamically Routed Networks. Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011. s. 197-205. ISBN: 978-0-7695-4379-6.
    Detail | WWW

    GRÉGR, M.; MATOUŠEK, P.; PODERMAŃSKI, T.; ŠVÉDA, M. Practical IPv6 Monitoring - Challenges and Techniques. Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011). Dublin: IEEE Computer Society, 2011. s. 660-663. ISBN: 978-1-4244-9220-6.
    Detail | WWW

    ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P. Supporting Safe and Secure Networked System Design. Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. s. 22-23. ISBN: 978-84-693-9560-8.
    Detail

  • 2010

    Š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. Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010. s. 5-11. ISBN: 978-989-8425-25-6.
    Detail

    MATOUŠEK, P.; RYŠAVÝ, O.; DE SILVA, G.; DANKO, M. Combination of Simulation and Formal Methods to Analyse Network Survivability. Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques. Malaga: International Communication Sciences and Technology Association, 2010. s. 150-155. ISBN: 978-963-9799-87-5.
    Detail | WWW

    DE SILVA, G.; MATOUŠEK, P.; RYŠAVÝ, O.; ŠVÉDA, M. Formal Analysis Approach on Networks with Dynamic Behaviours. 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 2010. s. 545-551. ISBN: 978-1-4244-7285-7.
    Detail | WWW

    ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J. An Approach for Automated Network-Wide Security Analysis. Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010. s. 294-299. ISBN: 978-0-7695-3979-9.
    Detail | WWW

  • 2008

    MATOUŠEK, P.; RYŠAVÝ, O.; RÁB, J.; ŠVÉDA, M. A Formal Model for Network-wide Security Analysis. Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems. Belfast: University of Ulster, 2008. s. 171-181. ISBN: 0-7695-3141-5.
    Detail | WWW

  • 2007

    MATOUŠEK, P. Kombinované řešení switch/ router. Journal CONNECT!, 2007, roč. 2007, č. 4, s. 40-41. ISSN: 1211- 3085.
    Detail

    MATOUŠEK, P. Bezpečné připojení jedním zařízením. Journal CONNECT!, 2007, roč. 2007, č. 1, s. 62-63. ISSN: 1211- 3085.
    Detail

    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. Lecture Notes in Computer Science. Lecture Notes in Computer Science 4346. Bonn: Springer Verlag, 2007. s. 148-164. ISBN: 978-3-540-70951- 0. ISSN: 0302- 9743.
    Detail

    MATOUŠEK, P. Automatická analýza síťové bezpečnosti. Brno: 2007. s. 0-0.
    Detail

  • 2006

    MATOUŠEK, P. Tools for Verification of Security Protocols. Brno: 2006.
    Detail | WWW

    MATOUŠEK, P. Dobrého nespálí. Test firewallů pro sítě do 150 uživatelů. Journal CONNECT!, 2006, roč. 2006, č. 6, s. 26-29. ISSN: 1211- 3085.
    Detail

    MATOUŠEK, P. Praktické úlohy z počítačových sítí. Brno: 2006. s. 0-0.
    Detail

    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. Proceedings of FMICS 2006. Bonn: 2006. s. 140-155.
    Detail

  • 2005

    SMRČKA, A., MATOUŠEK, P., VOJNAR, T. High-level Modelling, Analysis and Verification on FPGA- based Hardware Design. Brno: CESNET National Research and Education Network, 2005.
    Detail | WWW

    MATOUŠEK, P. Symbolic Data Structures for Parametric Verification. Brno: 2005.
    Detail | WWW

    MATOUŠEK, P. TReX and IF. ParaDiSe seminary, FI MU Brno: 2005.
    Detail | WWW

    MATOUŠEK, P. Symbolic Data Structure Based on Intervals for Parametric Verification. Seminary UIFS, FIT VUT Brno: 2005.
    Detail | WWW

    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. Lecture Notes in Computer Science. Lecture Notes in Computer Science 3725/ 2005. Berlin: Springer Verlag, 2005. s. 371-375. ISBN: 978-3-540-29105- 3. ISSN: 0302- 9743.
    Detail | WWW

    MATOUŠEK, P. Není datům v síti těsno?. Journal CONNECT!, 2005, roč. 2005, č. 11, s. 7-8. ISSN: 1211- 3085.
    Detail | WWW

  • 2004

    MATOUŠEK, P., SIGHIREANU, M. Parametric Analysis of PGM protocol. Advance meeting, Paris: 2004.
    Detail | WWW

    MATOUŠEK, P. A New Data Structure Based on Intervals. In Proceedings of MOVEP' 04. Bruxelles: 2004. s. 16-21.
    Detail | WWW

    MATOUŠEK, P. Tools for Parametric Verification: A Comparison on a Case Study. In Proceedings of the 5th Joint Workshop on FSCBS. Stirling: University of Stirling, 2004. s. 45-55. ISBN: 1-85769-197- 0.
    Detail | WWW

    MATOUŠEK, P. Plánování a příprava nového předmětu na FIT VUT. Brno: 2004.
    Detail | WWW

    MATOUŠEK, P. Tools for Parametric Verification. A Comparison on a Case Study. Journal of Universal Computer Science, 2004, roč. 10, č. 10, s. 1469-1495. ISSN: 0948- 6968.
    Detail | WWW

  • 2001

    MATOUŠEK, P. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. In Modelling and Simulation 2001. Praha: Czech Technical University, 2001. s. 59-62. ISBN: 1-56555-225- 3.
    Detail | WWW

    MATOUŠEK, P. Protocol Proving Using PVS: A Case Study. In Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS' 01. Hradec n/ M: 2001. s. 67-73. ISBN: 80-85988-57- 7.
    Detail | WWW

*) Citace publikací se generují jednou za 24 hodin.