| An entropy-based network anomaly detection method P Bereziński, B Jasiul, M Szpyrka Entropy 17 (4), 2367-2408, 2015 | 356 | 2015 |
| Detection and modeling of cyber attacks with petri nets B Jasiul, M Szpyrka, J Śliwa Entropy 16 (12), 6602-6623, 2014 | 73 | 2014 |
| Sieci Petriego w modelowaniu i analizie systemów współbieżnych M Szpyrka Wydawnictwa Naukowo-Techniczne, 2008 | 56 | 2008 |
| Network anomaly detection using parameterized entropy P Bereziński, M Szpyrka, B Jasiul, M Mazur Computer Information Systems and Industrial Management: 13th IFIP TC8 …, 2014 | 46 | 2014 |
| Alvis–modelling language for concurrent systems M Szpyrka, P Matyasik, R Mrówka Intelligent Decision Systems in Large-Scale Distributed Environments, 315-341, 2011 | 43 | 2011 |
| Proposal of formal verification of selected BPMN models with Alvis modeling language M Szpyrka, GJ Nalepa, A Ligęza, K Kluza Intelligent Distributed Computing V: Proceedings of the 5th International …, 2012 | 38 | 2012 |
| Methods of Translation of Petri Nets to NuSMV Language. M Szpyrka, A Biernacka, J Biernacki CS&P, 245-256, 2014 | 33 | 2014 |
| Analysis of RTCP-nets with reachability graphs M Szpyrka Fundamenta Informaticae 74 (2-3), 375-390, 2006 | 31 | 2006 |
| Malware behavior modeling with Colored Petri nets B Jasiul, M Szpyrka, J Śliwa Computer Information Systems and Industrial Management: 13th IFIP TC8 …, 2014 | 28 | 2014 |
| Telecommunications networks risk assessment with Bayesian networks M Szpyrka, B Jasiul, K Wrona, F Dziedzic IFIP International Conference on Computer Information Systems and Industrial …, 2013 | 28 | 2013 |
| Formal definition of XCCS modelling language K Balicki, M Szpyrka Fundamenta Informaticae 93 (1-3), 1-15, 2009 | 26 | 2009 |
| Fast and Flexible Modelling of Real-time Systems with RTCP-nets M Szpyrka Computer Science 6, 81-81, 2004 | 25 | 2004 |
| Identification of malware activities with rules B Jasiul, J Śliwa, K Gleba, M Szpyrka 2014 Federated Conference on Computer Science and Information Systems, 101-110, 2014 | 23 | 2014 |
| Formal description of Alvis language with α 0 system layer M Szpyrka, P Matyasik, R Mrówka, L Kotulski Fundamenta Informaticae 129 (1-2), 161-176, 2014 | 23 | 2014 |
| Evaluation of cyber security and modelling of risk propagation with Petri nets M Szpyrka, B Jasiul Symmetry 9 (3), 32, 2017 | 21 | 2017 |
| Hierarchical communication diagrams M Szpyrka, P Matyasik, J Biernacki, A Biernacka, M Wypych, L Kotulski Computing and Informatics 35 (1), 55-83, 2016 | 19 | 2016 |
| Analysis of VME-Bus communication protocol-RTCP-net approach M Szpyrka Real-Time Systems 35, 91-108, 2007 | 19 | 2007 |
| Formal modelling and verification of concurrent systems with XCCS P Matyasik, M Szpyrka 2008 International Symposium on Parallel and Distributed Computing, 454-458, 2008 | 17 | 2008 |
| Formal specification of malware models in the form of colored Petri nets B Jasiul, M Szpyrka, J Śliwa Computer Science and its Applications: Ubiquitous Information Technologies …, 2015 | 16 | 2015 |
| Decision tables in Petri net models M Szpyrka, T Szmuc Rough Sets and Intelligent Systems Paradigms: International Conference …, 2007 | 16 | 2007 |
Michał WypychAGH University of Science and TechnologyZweryfikowany adres z agh.edu.pl
