Publications

• 2025

  MUTUA, N.; NADJM-TEHRANI, S.; MATOUŠEK, P. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. Critical Information Infrastructures Security. Lecture Notes in Computer Science. Springer Cham: 2025. p. 249-268. ISBN: 978-3-031-84259-7.
  Detail | WWW

• 2024

  BURGETOVÁ, I.; MATOUŠEK, P.; RYŠAVÝ, O. Towards Identification of Network Applications in Encrypted Traffic. The Proceedings of the 8th Cyber Security in Networking Conference (CSNet 2024). IEEE Explore. Paris: IEEE Communications Society, 2024. p. 213-221. ISBN: 979-8-3315-3410-3.
  Detail | WWW

  MATOUŠEK, P.; RYŠAVÝ, O.; BURGETOVÁ, I. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. In Proceedings of 20th International Conference on Network and Service Management. Prague: 2024. p. 1-5.
  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, vol. 2023, no. 14, p. 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. p. 47-58. ISBN: 978-989-758-590-6.
  Detail | WWW | Full text in the Digital Library

• 2021

  MATOUŠEK, P.; KRAJČ, P. Monitoring of IoT Devices Using SNMP. IT-TR-2020-10, Brno: Faculty of Information Technology BUT, 2021. p. 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. p. 0-0.
  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. p. 1-22. ISBN: 978-3-030-68733-5.
  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. p. 81-89. ISBN: 978-3-903176-32-4.
  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. p. 148-153. ISBN: 978-1-7281-9324-3.
  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. p. 938-943. ISBN: 978-3-903176-32-4.
  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. p. 1-4.
  Detail | WWW

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

  MATOUŠEK, P. Bezpečnostní rizika IoT. Brno: 2021. p. 1-12.
  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. p. 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. p. 0-0.
  Detail | WWW

  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. p. 166-172. ISBN: 978-3-903176-36-2.
  Detail | WWW

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

• 2020

  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, vol. 2020, no. 54, p. 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. p. 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. p. 45-52. ISBN: 978-989-758-445-9.
  Detail | WWW

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

• 2019

  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. p. 21-30. ISBN: 978-1-78017-523-2.
  Detail | WWW | Full text in the Digital Library

  RYŠAVÝ, O.; MATOUŠEK, P. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Faculty of Information Technology BUT, 2019. p. 0-0.
  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. p. 1-9. ISBN: 978-1-4503-7636-5.
  Detail | WWW

  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. p. 11-16. ISBN: 978-1-7281-3222-8.
  Detail | WWW

• 2018

  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. p. 1-6. ISBN: 978-1-5386-7711-7.
  Detail | WWW

  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 p. 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. p. 0-0.
  Detail | WWW

• 2017

  MATOUŠEK, P.; RYŠAVÝ, O.; ONYANGO, C.; SEVILLA, J. Delivering ICT Security Courses over 5.944 km Experience of Czech-Kenyan Co-operation. In Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Grenoble Institute of Technology, 2017. p. 1-7. ISBN: 978-1-7281-0907-7.
  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. p. 0-0.
  Detail | WWW

  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. p. 75-90. ISBN: 978-80-7231-414-0.
  Detail | WWW

  MATOUŠEK, P. Analysis of DLMS Protocol. FIT-TR-2017-13, Brno: 2017. p. 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. p. 0-0.
  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. p. 299-306. ISBN: 978-989-758-167-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, vol. 11, no. 2, p. 79-95. ISSN: 1558-7215.
  Detail | WWW

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

• 2015

  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, vol. 2015, no. 157, p. 69-84. ISSN: 1867-8211.
  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. p. 147-163. ISBN: 978-80-7231-997-8.
  Detail | WWW

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

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

• 2014

  MATOUŠEK, P. Síťové služby a jejich architektura. Brno: Nakladatelství Vysokého učení technického v Brně VUTIUM, 2014. 396 p. 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, vol. 2014, no. 2, p. 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. p. 21-27. ISBN: 978-989-758-042-0.
  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. p. 74-89. ISBN: 978-3-662-44787-1. ISSN: 1865-0929.
  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. p. 0-0.
  Detail

  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, vol. 2014, no. 1, p. 1-20. ISSN: 0572-3043.
  Detail | WWW

  POLČÁK, L.; JIRÁSEK, J.; MATOUŠEK, P. Comment on "Remote Physical Device Fingerprinting". IEEE Transactions on Dependable and Secure Computing, 2014, vol. 11, no. 5, p. 494-496. ISSN: 1545-5971.
  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, vol. 2014, no. 4, p. 325-333. ISSN: 1804-3119.
  Detail | WWW

• 2013

  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. p. 0-0.
  Detail

  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. p. 83-96. ISBN: 978-80-7231-922-0.
  Detail | WWW

  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. p. 142-145. ISBN: 978-1-4503-2464-9.
  Detail

  DE SILVA, G.; RYŠAVÝ, O.; MATOUŠEK, P.; ŠVÉDA, M. On Formal Reachability Analysis in Networks with Dynamic Behavior. TELECOMMUNICATION SYSTEMS, 2013, vol. 52, no. 2, p. 919-929. ISSN: 1018-4864.
  Detail | WWW

  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. p. 57-63. ISBN: 978-989-8565-72-3.
  Detail | WWW

• 2012

  Š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. p. 39-53. ISBN: 978-3-642-25205-1. ISSN: 1865-0929.
  Detail | WWW

  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. p. 298-301. ISBN: 978-1-936968-47-3.
  Detail | WWW

• 2011

  Š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. p. 22-23. ISBN: 978-84-693-9560-8.
  Detail

  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. p. 660-663. ISBN: 978-1-4244-9220-6.
  Detail | WWW

  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. p. 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. p. 197-205. ISBN: 978-0-7695-4379-6.
  Detail | WWW

• 2010

  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. p. 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. p. 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. p. 294-299. ISBN: 978-0-7695-3979-9.
  Detail | WWW

  Š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. p. 5-11. ISBN: 978-989-8425-25-6.
  Detail

• 2009

  MATOUŠEK, P. 8. konference Cisco Networking Academy 2009 na FIT. Události na VUT Email: matousp@fit.vutbr.cz Události na VUT. Události na VUT v Brně. Brno: 2009. p. 0-0. ISSN: 1211-4421.
  Detail | WWW

  MATOUŠEK, P.; SKOKANOVÁ, J. Nový univerzitní kurz "Multimédia v počítačových sítích". Brno: 2009. p. 0-0.
  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. p. 171-181. ISBN: 0-7695-3141-5.
  Detail | WWW

  MATOUŠEK, P. Úspěch studentů FIT v soutěži Networking Academy Games. Události na VUT v Brně. Události na VUT v Brně. 2008. p. 0-0. ISSN: 1211-4421.
  Detail | WWW

  MATOUŠEK, P. Projekt CCIE inkubátor. Stará Lesná: 2008. p. 0-0.
  Detail | WWW

  MATOUŠEK, P.; RYŠAVÝ, O.; ŠVÉDA, M.; RÁB, J.; ČEJKA, R. A Formal Approach to Network Security Analysis. Brno: Faculty of Information Technology BUT, 2008. p. 0-0.
  Detail | WWW

• 2007

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

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

  MATOUŠEK, P. Network Security by Cisco. Slavonice: 2007. p. 0-0.
  Detail | WWW

  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. p. 148-164. ISBN: 978-3-540-70951-0. ISSN: 0302-9743.
  Detail

  MATOUŠEK, P. Kombinované rešení switch/router. Journal CONNECT!, 2007, vol. 2007, no. 4, p. 40-41. ISSN: 1211-3085.
  Detail | WWW

  MATOUŠEK, P.; RYŠAVÝ, O. A Path to Become a Skillful CCNP Expert During your University Studies. Istanbul: 2007. p. 0-0.
  Detail | WWW

• 2006

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

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

  MATOUŠEK, P. Implementace kurzů NetAcad na FIT VUT v Brně. Stará Lesná: 2006. p. 0-0.
  Detail | WWW

  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. p. 140-155.
  Detail

  MATOUŠEK, P. Nástroje pro analýzu bezpečnostních protokolů. Brno: 2006. p. 0-0.
  Detail | WWW

• 2005

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

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

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

  MATOUŠEK, P. Symbolic Data Structures for Parametric Verification. Brno: Faculty of Information Technology BUT, 2005. p. 0-0.
  Detail | WWW

  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.; SMRČKA, A.; VOJNAR, T. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science. Lecture Notes in Computer Science 3725/2005. Berlin: Springer Verlag, 2005. p. 371-375. ISBN: 978-3-540-29105-3. ISSN: 0302-9743.
  Detail | WWW

  MATOUŠEK, P. Cisco Network Akademy také na VUT v Brně. Události na VUT v Brně. Události na VUT v Brně. Brno: 2005. p. 29-29. ISSN: 1211-4421.
  Detail | WWW

• 2004

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

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

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

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

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

• 2001

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

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

• 2000

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

  MATOUŠEK, P.; RÁB, J.; VÝŠEK, P. Protocol Proving and Model-Checking: A First-Look Experience. IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000. p. 71-75. ISBN: 1-85-769121-0.
  Detail | WWW

• 1999

  DVOŘÁK, V.; MATOUŠEK, P. Highly Efficient Parallel ANN Implementation for Real-Time Processing. Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany, Slovakia: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1999. p. 186-191. ISBN: 80-88922-05-4.
  Detail | WWW

  MATOUŠEK, P. Fuzzy matching as a technique for the name correction. MOSIS '99, Proceedings. Rožnov p.R.: unknown, 1999. p. 85-91. ISBN: 80-85988-33-X.
  Detail | WWW

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

• 1998

  MATOUŠEK, P. LDAP replication at CERN. CERN: unknown, 1998. p. 0-0.
  Detail | WWW

  MATOUŠEK, P. HEP Global Directory over LDAP. Batavia-Illinois: unknown, 1998. p. 0-0.
  Detail | WWW

  MATOUŠEK, P. LDAP - Electronic White Pages. Lyon: 1998. p. 0-0.
  Detail | WWW

  MATOUŠEK, P. Mailrouter-Automatic correction of mistyped email addresses using fuzzy match. Lyon: unknown, 1998. p. 0-0.
  Detail | WWW

• 1997

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

  MATOUŠEK, P. Uživatelský přístup k elektronickým bílým stránkám. Brno: Vysoké učení technické v Brně, 1997. p. 0-0.
  Detail | WWW

*) Publications are generated once a 24 hours.