Petr Matoušek

Publikace

• 2024

  MATOUŠEK Petr, RYŠAVÝ Ondřej a BURGETOVÁ Ivana. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. In: Proceedings of 20th International Conference on Network and Service Management. Prague, 2024, s. 1-5.
  Detail

  MUTUA Nelson Makau, NADJM-TEHRANI Simin a MATOUŠEK Petr. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. In: 2024, s. 1-19.
  Detail

  BURGETOVÁ Ivana, MATOUŠEK Petr a RYŠAVÝ Ondřej. Towards Identification of Network Applications in Encrypted Traffic. In: 2024, s. 9.
  Detail

• 2023

  HAVLENA Vojtěch, MATOUŠEK Petr, RYŠAVÝ Ondřej a HOLÍK Lukáš. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, roč. 2023, č. 14, s. 2352-2366. ISSN 1949-3053.
  Detail

• 2022

  POLČÁK Libor a MATOUŠEK Petr. 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

• 2021

  RYŠAVÝ Ondřej a MATOUŠEK Petr. 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

  BURGETOVÁ Ivana, MATOUŠEK Petr a RYŠAVÝ Ondřej. 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

  MATOUŠEK Petr. Bezpečnostní rizika IoT. Brno, 2021.
  Detail

  MATOUŠEK Petr, HAVLENA Vojtěch a HOLÍK Lukáš. 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

  MATOUŠEK Petr a GROFČÍK Peter. ICS Virtual Testbed. FIT-TR-2021-02, Brno: Fakulta informačních technologií VUT v Brně, 2021.
  Detail

  MATOUŠEK Petr a KRAJČ Patrik. Monitoring of IoT Devices Using SNMP. IT-TR-2020-10, Brno: Fakulta informačních technologií VUT v Brně, 2021.
  Detail

  MATOUŠEK Petr, BURGETOVÁ Ivana, RYŠAVÝ Ondřej a VICTOR Malombe. 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, roč. 351. Boston: Springer International Publishing, 2021, s. 1-22. ISBN 978-3-030-68733-5.
  Detail

  MUTUA Nelson Makau a MATOUŠEK Petr. Outlier Detection in Smart Grid Communication. In: Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference. Munich, 2021, s. 1-4.
  Detail

  MATOUŠEK Petr. Security of Smart Grid Communication. Brno: Fakulta informačních technologií VUT v Brně, 2021.
  Detail

  MATOUŠEK Petr, PRISTAŠ Ján a MASÁROVÁ Mária. Simulation of Industrial Processes using I/O Factory and UniPi. IT-TR-2020-09, Brno: Fakulta informačních technologií VUT v Brně, 2021.
  Detail

  BURGETOVÁ Ivana, MATOUŠEK Petr a MUTUA Nelson Makau. Statistical Methods for Anomaly Detection in Industrial Communication. IT-TR-2021-01, Brno: Fakulta informačních technologií VUT v Brně, 2021.
  Detail

  MATOUŠEK Petr a RYŠAVÝ Ondřej. 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: České vysoké učení technické, 2021, s. 148-153. ISBN 978-1-7281-9324-3.
  Detail

  MATOUŠEK Petr, RYŠAVÝ Ondřej a POLČÁK Libor. 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

• 2020

  MATOUŠEK Petr, RYŠAVÝ Ondřej, HAVLENA Vojtěch a GRÉGR Matěj. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, roč. 2020, č. 54, s. 102535-102535. ISSN 2214-2126.
  Detail

  POLČÁK Libor, RYŠAVÝ Ondřej a MATOUŠEK Petr. 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

  HAVLENA Vojtěch, HOLÍK Lukáš a MATOUŠEK Petr. Learning Probabilistic Automata in the Context of IEC 104. IT-TR-2020-01, Brno: Fakulta informačních technologií VUT v Brně, 2020.
  Detail

  MATOUŠEK Petr, BURGETOVÁ Ivana a VICTOR Malombe. Mobile Device Fingerprinting. FIT-TR-2020-05, Brno, 2020.
  Detail

• 2019

  RYŠAVÝ Ondřej a MATOUŠEK Petr. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Fakulta informačních technologií VUT v Brně, 2019.
  Detail

  MATOUŠEK Petr, RYŠAVÝ Ondřej a BURGETOVÁ Ivana. 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

  MATOUŠEK Petr, RYŠAVÝ Ondřej a GRÉGR Matěj. Increasing Visibility of IEC 104 Communication in the Smart Grid. In: 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

  MATOUŠEK Petr, RYŠAVÝ Ondřej a GRÉGR Matěj. 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

• 2018

  MATOUŠEK Petr. Description of IEC 61850 Communication. FIT-TR-2018-01, Brno: Fakulta informačních technologií VUT v Brně, 2018.
  Detail

  MATOUŠEK Petr a SCHMIEDECKER Martin. Digital Forensics and Cyber Crime. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Cham: Springer International Publishing, 2018. ISBN 978-3-319-73697-6.
  Detail

  MATOUŠEK Petr, RYŠAVÝ Ondřej, JAMES Joshua I. a JANG Yunsik J. 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

• 2017

  MATOUŠEK Petr. Analysis of DLMS Protocol. FIT-TR-2017-13, Brno, 2017.
  Detail

  MATOUŠEK Petr, ONYANGO Collins Oduor, RYŠAVÝ Ondřej a SEVILLA Joseph. Delivering ICT Security Courses over 5.944 km Experience of Czech-Kenyan Co-operation. In: Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Institut polytechnique de Grenoble, 2017, s. 1-7. ISBN 978-1-7281-0907-7.
  Detail

  MATOUŠEK Petr. Description and analysis of IEC 104 Protocol. FIT-TR-2017-12, Brno: Fakulta informačních technologií VUT v Brně, 2017.
  Detail

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

  HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch a MATOUŠEK Petr. Distributed Password Cracking in a Hybrid Environment. In: Proceedings of SPI 2017. Brno: Univerzita Obrany, 2017, s. 75-90. ISBN 978-80-7231-414-0.
  Detail

• 2016

  HRANICKÝ Radek, MATOUŠEK Petr, RYŠAVÝ Ondřej a VESELÝ Vladimír. 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

  HRANICKÝ Radek, HOLKOVIČ Martin, MATOUŠEK Petr a RYŠAVÝ Ondřej. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law, roč. 11, č. 2, 2016, s. 79-95. ISSN 1558-7215.
  Detail

  PLUSKAL Jan, RYŠAVÝ Ondřej a MATOUŠEK Petr. On the Identification of Applications from Captured Network Traffic. New York, 2016.
  Detail

• 2015

  MATOUŠEK Petr, PLUSKAL Jan, RYŠAVÝ Ondřej, VESELÝ Vladimír, KMEŤ Martin, KARPÍŠEK Filip a VYMLÁTIL Martin. Advanced Techniques for Reconstruction of Incomplete Network Data. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, roč. 2015, č. 157, s. 69-84. ISSN 1867-8211.
  Detail

  PLUSKAL Jan, MATOUŠEK Petr, RYŠAVÝ Ondřej, KMEŤ Martin, VESELÝ Vladimír, KARPÍŠEK Filip a VYMLÁTIL Martin. Netfox Detective: A tool for advanced network forensics analysis. In: Proceedings of Security and Protection of Information (SPI) 2015. Brno: Univerzita Obrany, 2015, s. 147-163. ISBN 978-80-7231-997-8.
  Detail

  MATOUŠEK Petr. Podrobný přehled výstupů projektu MV SEC6NET. Brno, 2015.
  Detail

  MATOUŠEK Petr, MUSIL Martin, MUSIL Petr a ZEMČÍK Pavel. Souhrnná zpráva projektu VoIP. Brno: CAMEA, spol. s r. o., 2015.
  Detail

• 2014

  POLČÁK Libor, JIRÁSEK Jakub a MATOUŠEK Petr. Comment on "Remote Physical Device Fingerprinting". IEEE Transactions on Dependable and Secure Computing, roč. 11, č. 5, 2014, s. 494-496. ISSN 1545-5971.
  Detail

  MATOUŠEK Petr, RYŠAVÝ Ondřej a KMEŤ Martin. Fast RTP Detection and Codecs Classification in Internet Traffic. The Journal of Digital Forensics, Security and Law, roč. 2014, č. 2, s. 99-110. ISSN 1558-7215.
  Detail

  POLČÁK Libor, HOLKOVIČ Martin a MATOUŠEK Petr. Host Identity Detection in IPv6 Networks. In: E-Business and Telecommunications. Berlin: Springer Verlag, 2014, s. 74-89. ISBN 978-3-662-44787-1. ISSN 1865-0929.
  Detail

  MATOUŠEK Petr, KMEŤ Martin a BASEL Martin. On-line Monitoring of VoIP Quality Using IPFIX. Advances in Electrical and Electronic Engineering, roč. 2014, č. 4, s. 325-333. ISSN 1804-3119.
  Detail

  GRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš a ŠVÉDA Miroslav. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník, roč. 2014, č. 1, s. 1-20. ISSN 0572-3043.
  Detail

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

  MATOUŠEK Petr. 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.
  Detail

  MATOUŠEK Petr, RYŠAVÝ Ondřej, GRÉGR Matěj a VYMLÁTIL Martin. 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

• 2013

  POLČÁK Libor, HOLKOVIČ Martin a MATOUŠEK Petr. 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

  POLČÁK Libor, HRANICKÝ Radek a MATOUŠEK Petr. Hiding TCP Traffic: Threats and Counter-measures. In: Security and Protection of Information 2013, Proceedings of the Conference. Brno: Univerzita Obrany, 2013, s. 83-96. ISBN 978-80-7231-922-0.
  Detail

  VESELÝ Vladimír, MATOUŠEK Petr a ŠVÉDA Miroslav. Multicast simulation and modeling in OMNeT++. In: 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

  DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr a ŠVÉDA Miroslav. On Formal Reachability Analysis in Networks with Dynamic Behavior. Telecommunication Systems, roč. 52, č. 2, 2013, s. 919-929. ISSN 1018-4864.
  Detail

  MATOUŠEK Petr, MUSIL Martin, MUSIL Petr a ZEMČÍK Pavel. 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.
  Detail

• 2012

  VESELÝ Vladimír, MATOUŠEK Petr a ŠVÉDA Miroslav. Multicast Simulation and Modeling in OMNeT++. In: 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

  ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr a RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. LNCS CCIS, Vol.222, roč. 2012. Heidelberg: Springer Science+Business Media B.V.,, 2012, s. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929.
  Detail

• 2011

  POLČÁK Libor, GRÉGR Matěj, KAJAN Michal, MATOUŠEK Petr a VESELÝ Vladimír. Designing Lawful Interception in IPv6 Networks. In: Security and Protection of Information. Brno: Univerzita Obrany, 2011, s. 114-126. ISBN 978-80-7231-777-6.
  Detail

  GRÉGR Matěj, MATOUŠEK Petr, PODERMAŃSKI Tomáš a ŠVÉDA Miroslav. Practical IPv6 Monitoring - Challenges and Techniques. In: 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

  ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr a RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, s. 197-205. ISBN 978-0-7695-4379-6.
  Detail

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

• 2010

  ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr a 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, s. 294-299. ISBN 978-0-7695-3979-9.
  Detail

  MATOUŠEK Petr, RYŠAVÝ Ondřej, DE Silva Gayan a DANKO Martin. 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: International Communication Sciences and Technology Association, 2010, s. 6. ISBN 978-963-9799-87-5.
  Detail

  DE Silva Gayan, MATOUŠEK Petr, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. Formal Analysis Approach on Networks with Dynamic Behaviours. In: 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

  ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav a Č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, s. 5-11. ISBN 978-989-8425-25-6.
  Detail

• 2009

  MATOUŠEK Petr. 8. konference Cisco Networking Academy 2009 na FIT. Události (VUT News), roč. 2009, č. 7. ISSN 1211-4421.
  Detail

  MATOUŠEK Petr a SKOKANOVÁ Jana. Nový univerzitní kurz "Multimédia v počítačových sítích". Brno, 2009.
  Detail

• 2008

  ČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Fakulta informačních technologií VUT v Brně, 2008.
  Detail

  MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej a Š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, s. 171-181. ISBN 0-7695-3141-5.
  Detail

  MATOUŠEK Petr. Projekt CCIE inkubátor. Stará Lesná, 2008.
  Detail

  MATOUŠEK Petr. Úspěch studentů FIT v soutěži Networking Academy Games. Události (VUT News), roč. 2008, č. 5. ISSN 1211-4421.
  Detail

• 2007

  MATOUŠEK Petr a RYŠAVÝ Ondřej. A Path to Become a Skillful CCNP Expert During your University Studies. Istanbul, 2007.
  Detail

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

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

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

  MATOUŠEK Petr. Network Security by Cisco. Slavonice, 2007.
  Detail

  SMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr a ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Formal Methods: Applications and Technology. Lecture Notes in Computer Science, roč. 4346. Bonn: Springer Verlag, 2007, s. 148-164. ISSN 0302-9743.
  Detail

• 2006

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

  MATOUŠEK Petr. Implementace kurzů NetAcad na FIT VUT v Brně. Stará Lesná, 2006.
  Detail

  MATOUŠEK Petr. Nástroje pro analýzu bezpečnostních protokolů. Brno, 2006.
  Detail

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

  SMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr a ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Proceedings of FMICS 2006. Bonn, 2006, s. 140-155.
  Detail

• 2005

  MATOUŠEK Petr. Cisco Network Akademy také na VUT v Brně. Události (VUT News), roč. 2005, č. 11. ISSN 1211-4421.
  Detail

  MATOUŠEK Petr, SMRČKA Aleš a VOJNAR Tomáš. High-level Modelling, Analysis, and Verification on FPGA-based Hardware Design. Brno: CESNET, zájmové sdružení právnických osob, 2005.
  Detail

  MATOUŠEK Petr, SMRČKA Aleš a VOJNAR Tomáš. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. In: Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science 3725/2005, roč. 2005. Berlin: Springer Verlag, 2005, s. 371-375. ISBN 978-3-540-29105-3. ISSN 0302-9743.
  Detail

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

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

  MATOUŠEK Petr. TReX and IF. ParaDiSe seminary, FI MU Brno, 2005.
  Detail

• 2004

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

  MATOUŠEK Petr a SIGHIREANU Mihaela. Parametric Analysis of PGM protocol - report. Advance meeting, Paris, 2004.
  Detail

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

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

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

• 2001

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

  MATOUŠEK Petr. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. In: Modelling and Simulation 2001. Praha: České vysoké učení technické, 2001, s. 59-62. ISBN 1-56555-225-3.
  Detail

• 2000

  MATOUŠEK Petr, RÁB Jaroslav a 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: neznámá, 2000, s. 71-75. ISBN 1-85-769121-0.
  Detail

  MATOUŠEK Petr. Protocol Verification Using PVS. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000, s. 201-203. ISBN 80-7240-155-X.
  Detail

• 1999

  MATOUŠEK Petr. Fuzzy matching as a technique for the name correction. In: MOSIS '99, Proceedings. Rožnov p.R.: neznámá, 1999, s. 85-91. ISBN 80-85988-33-X.
  Detail

  MATOUŠEK Petr. Global directory over LDAP with index servers. Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM sro., 1999, s. 85-86. ISBN 80-214-1155-4.
  Detail

  DVOŘÁK Václav a MATOUŠEK Petr. Highly Efficient Parallel ANN Implementation for Real-Time Processing. In: Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany, Slovakia: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 1999, s. 186-191. ISBN 80-88922-05-4.
  Detail

• 1998

  MATOUŠEK Petr. HEP Global Directory over LDAP. In: Batavia-Illinois: neznámá, 1998.
  Detail

  MATOUŠEK Petr. LDAP - Electronic White Pages. In: Lyon, 1998.
  Detail

  MATOUŠEK Petr. LDAP replication at CERN. CERN: neznámá, 1998.
  Detail

  MATOUŠEK Petr. Mailrouter-Automatic correction of mistyped email addresses using fuzzy match. In: Lyon: neznámá, 1998.
  Detail

• 1997

  MATOUŠEK Petr. Elektronické bílé stránky na FEI VUT. Sborník prací studentů a doktorandů 1997. Brno: Fakulta elektrotechniky a informatiky VUT, 1997, s. 151-153. ISBN 80-214-0637-2.
  Detail