Marcin Szpyrka
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
1952015
Sieci Petriego w modelowaniu i analizie systemów współbieżnych
M Szpyrka
Wydawnictwa Naukowo-Techniczne, 2008
512008
Detection and modeling of cyber attacks with petri nets
B Jasiul, M Szpyrka, J Śliwa
Entropy 16 (12), 6602-6623, 2014
482014
Alvis–modelling language for concurrent systems
M Szpyrka, P Matyasik, R Mrówka
Intelligent decision systems in large-scale distributed environments, 315-341, 2011
412011
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, 249-255, 2011
382011
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
302006
Network anomaly detection using parameterized entropy
P Bereziński, M Szpyrka, B Jasiul, M Mazur
IFIP International Conference on Computer Information Systems and Industrial …, 2015
272015
Formal definition of XCCS modelling language
K Balicki, M Szpyrka
Fundamenta Informaticae 93 (1-3), 1-15, 2009
252009
Fast and Flexible Modelling of Real-time Systems with RTCP-nets
M Szpyrka
Computer Science 6 (5), 81, 2004
242004
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
222014
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
212014
Malware behavior modeling with Colored Petri nets
B Jasiul, M Szpyrka, J Śliwa
IFIP International Conference on Computer Information Systems and Industrial …, 2015
192015
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
182013
Analysis of VME-Bus communication protocol-RTCP-net approach
M Szpyrka
Real-Time Systems 35 (1), 91-108, 2007
182007
Formal modelling and verification of concurrent systems with XCCS
P Matyasik, M Szpyrka
2008 International Symposium on Parallel and Distributed Computing, 454-458, 2008
152008
Decision tables in Petri net models
M Szpyrka, T Szmuc
International Conference on Rough Sets and Intelligent Systems Paradigms …, 2007
142007
Hierarchical communication diagrams
M Szpyrka, P Matyasik, J Biernacki, A Biernacka, L Kotulski
Computing and Informatics 35 (1), 55-83, 2016
132016
Formal specification of malware models in the form of colored Petri nets
B Jasiul, M Szpyrka, J Śliwa
Computer Science and its Applications, 475-482, 2015
132015
Tools and methods for RTCP-nets modeling and verification
M Szpyrka, J Biernacki, A Biernacka
Archives of Control Sciences 26, 2016
112016
The system can't perform the operation now. Try again later.
Articles 1–20