Follow
Marcin Szpyrka
Marcin Szpyrka
AGH University of Krakow
Verified email at agh.edu.pl
Title
Cited by
Cited by
Year
An entropy-based network anomaly detection method
P Bereziński, B Jasiul, M Szpyrka
Entropy 17 (4), 2367-2408, 2015
3412015
Detection and modeling of cyber attacks with petri nets
B Jasiul, M Szpyrka, J Śliwa
Entropy 16 (12), 6602-6623, 2014
722014
Sieci Petriego w modelowaniu i analizie systemów współbieżnych
M Szpyrka
Wydawnictwa Naukowo-Techniczne, 2008
562008
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
442014
Alvis–modelling language for concurrent systems
M Szpyrka, P Matyasik, R Mrówka
Intelligent Decision Systems in Large-Scale Distributed Environments, 315-341, 2011
432011
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
402012
Methods of Translation of Petri Nets to NuSMV Language.
M Szpyrka, A Biernacka, J Biernacki
CS&P, 245-256, 2014
312014
Analysis of RTCP-nets with Reachability Graphs
M Szpyrka
Fundamenta Informaticae 74 (2-3), 375-390, 2006
312006
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
272013
Malware behavior modeling with Colored Petri nets
B Jasiul, M Szpyrka, J Śliwa
Computer Information Systems and Industrial Management: 13th IFIP TC8 …, 2014
262014
Formal definition of XCCS modelling language
K Balicki, M Szpyrka
Fundamenta Informaticae 93 (1-3), 1-15, 2009
262009
Fast and Flexible Modelling of Real-time Systems with RTCP-nets
M Szpyrka
Computer Science 6, 81-81, 2004
252004
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
232014
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
232014
Evaluation of cyber security and modelling of risk propagation with Petri nets
M Szpyrka, B Jasiul
Symmetry 9 (3), 32, 2017
212017
Hierarchical communication diagrams
M Szpyrka, P Matyasik, J Biernacki, A Biernacka, M Wypych, L Kotulski
Computing and Informatics 35 (1), 55-83, 2016
192016
Analysis of VME-Bus communication protocol-RTCP-net approach
M Szpyrka
Real-Time Systems 35, 91-108, 2007
192007
Formal modelling and verification of concurrent systems with XCCS
P Matyasik, M Szpyrka
2008 International Symposium on Parallel and Distributed Computing, 454-458, 2008
172008
Decision tables in Petri net models
M Szpyrka, T Szmuc
Rough Sets and Intelligent Systems Paradigms: International Conference …, 2007
162007
Tools and methods for RTCP-nets modeling and verification
M Szpyrka, J Biernacki, A Biernacka
Archives of Control Sciences 26 (3), 339--365, 2016
142016
The system can't perform the operation now. Try again later.
Articles 1–20