Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

profesor zwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-4925-3271 orcid iD

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 5e70922c878c28a047391204

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • Alvis approach to modeling and verification of real-time systems running on single-processor environment / Marcin SZPYRKA, Jarosław BANIEWICZ, Andrei KARATKEVICH // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2022 vol. 10, s. 104178–104189. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 104188–104189, Abstr.. — Publikacja dostępna online od: 2022-09-26. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9903617

    orcid iD

  • keywords: system verification, Alvis language, discrete time systems, formal languages, system analysis and design, single processor hardware

    Zobacz pełny wykaz publikacji Autora/Autorów: Jarosław Baniewicz, Andrei Karatkevich

    cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2022.3210191

2

  • An entropy-based car failure detection method based on data acquisition pipeline / Bartosz KOWALIK, Marcin SZPYRKA // Entropy [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1099-4300. — 2019 vol. 21 iss. 4 art. no. 426, s. 1–16. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 16, Abstr.. — Publikacja dostępna online od: 2019-04-22. — tekst: https://www.mdpi.com/1099-4300/21/4/426/pdf

    orcid iD

  • keywords: entropy, data mining, car failure detection

    Zobacz pełny wykaz publikacji Autora/Autorów: Bartosz Kowalik

    cyfrowy identyfikator dokumentu: 10.3390/e21040426

3

  • An entropy-based network anomaly detection method / Przemysław Bereziński, Bartosz Jasiul, Marcin SZPYRKA // Entropy [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1099-4300. — 2015 vol. 17 iss. 4, s. 2367–2408. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 2399–2408, Abstr.. — Publikacja dostępna online od: 2015-04-20. — tekst: http://www.mdpi.com/1099-4300/17/4/2367/pdf

  • keywords: entropy, anomaly detection, malware detection

    cyfrowy identyfikator dokumentu: 10.3390/e17042367

4

  • Analysis of RTCP-nets with reachability graphs / Marcin SZPYRKA // Fundamenta Informaticae ; ISSN 0169-2968. — 2006 vol. 74 no. 2–3, s. 375–390. — Bibliogr. s. 390, Abstr.

  • keywords: RTCP-nets, analysis, coverability graphs, reachability graphs

    cyfrowy identyfikator dokumentu:

5

  • Analysis of VME-bus communication protocol – RTCP-net approach / Marcin SZPYRKA // Real-Time Systems ; ISSN 0922-6443. — 2007 vol. 35 iss. 1, s. 91–108. — Bibliogr. s. 107, Abstr.. — Publikacja dostępna online od: 2006-09-01. — tekst: https://goo.gl/UHxX19

  • keywords: RTCP-nets, VME-Bus

    cyfrowy identyfikator dokumentu: 10.1007/s11241-006-9003-0

6
7

  • Conformance checking of a longwall shearer operation based on low-level events / Marcin SZPYRKA, Edyta BRZYCHCZY, Aneta NAPIERAJ, Jacek Korski, Grzegorz J. NALEPA // Energies [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1996-1073. — 2020 vol. 13 iss. 24 art. no. 6630, s. 1–18. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 16–18, Abstr.. — Publikacja dostępna online od: 2020-12-15. — G. Nalepa – dod. afiliacja: Jagiellonian University. — tekst: https://www.mdpi.com/1996-1073/13/24/6630/pdf

    orcid iD

  • keywords: Petri nets, underground mining, shearer, sensor data, conformance checking, industrial process

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa, Edyta Brzychczy, Aneta Napieraj

    cyfrowy identyfikator dokumentu: 10.3390/en13246630

8

  • Detection and modeling of cyber attacks with Petri nets / Bartosz Jasiul, Marcin SZPYRKA, Joanna Śliwa // Entropy [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1099-4300. — 2014 vol. 16 iss. 12, s. 6602–6623. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 6620–6623, Abstr.. — Publikacja dostępna online od: 2014-12-19. — tekst: http://www.mdpi.com/1099-4300/16/12/6602/pdf

  • keywords: malware, cyber attack, Colored Petri net, malware detection, behavioral analysis

    cyfrowy identyfikator dokumentu: 10.3390/e16126602

9
10

  • Email campaign evaluation based on user and mail server response / Marcin SZPYRKA, Piotr Suszalski, Sebastian Obara, Grzegorz J. Nalepa // Applied Sciences (Basel) [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2076-3417. — 2023 vol. 13 iss. 3 art. no. 1630, s. 1-8. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 8, Abstr.. — Publikacja dostępna online od: 2023-01-27. — tekst: https://www.mdpi.com/2076-3417/13/3/1630/pdf?version=1674829920

    orcid iD

  • keywords: artificial neural networks, spam and phishing detection, email campaign metrics, transaction emails

    cyfrowy identyfikator dokumentu: 10.3390/app13031630

11

  • Evaluation of Cyber Security and modelling of risk propagation with Petri nets / Marcin SZPYRKA, Bartosz Jasiul // Symmetry [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2073-8994. — 2017 vol. 9 iss. 3, s. 1–13 art. no. 32. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 12–13, Abstr.. — Publikacja dostępna online od: 2017-02-26. — tekst: https://www.mdpi.com/2073-8994/9/3/32/pdf

    orcid iD

  • keywords: formal methods, Petri nets, risk assessment, risk propagation, propagation nets

    cyfrowy identyfikator dokumentu: 10.3390/sym9030032

12
13
14
15

  • Hierarchical communication diagrams / Marcin SZPYRKA, Piotr MATYASIK, Jerzy BIERNACKI, Agnieszka BIERNACKA, Michał WYPYCH, Leszek KOTULSKI // Computing and Informatics / Slovak Academy of Sciences. Institute of Informatics ; ISSN 1335-9150. — Tytuł poprz.: Computers and Artificial Intelligence. — 2016 vol. 35 no. 1, s. 55–83. — Bibliogr. s. 80–82, Abstr.

  • keywords: Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik, Leszek Kotulski, Michał Wypych, Agnieszka Biernacka, Jerzy Biernacki

    cyfrowy identyfikator dokumentu:

16

  • Imperative vs. declarative modeling of industrial process : the case study of the longwall shearer operation / Edyta BRZYCHCZY, Marcin SZPYRKA, Jacek Korski, Grzegorz J. Nalepa // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2023 vol. 11, s. 54495–54508. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 54507–54508, Abstr.. — Publikacja dostępna online od: 2023-05-29. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10138387

    orcid iD

  • keywords: underground mining, shearer, process modeling, sensor data, Petri net, WF-nets, declare model

    Zobacz pełny wykaz publikacji Autora/Autorów: Edyta Brzychczy

    cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2023.3281304

17

  • Reduction of tabular systems / Antoni LIGĘZA, Marcin SZPYRKA // W: Artificial Intelligence and Soft Computing – ICAISC 2004 : 7th International Conference : Zakopane, Poland, June 7–11, 2004 : proceedings / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg ; New York : Springer-Verlag, 2004. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; LNAI 3070). — ISBN: 978-3-540-22123-4 ; e-ISBN: 978-3-540-24844-6. — S. 903–908. — Bibliogr. s. 908, Abstr.. — tekst: https://link-1springer-1com-10000486p00e8.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-540-24844-6_140.pdf

  • keywords: reduction, tabular rule-based systems, granular systems, granular sets, granular relations

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

18

  • Tools and methods for RTCP-nets modeling and verification / Marcin SZPYRKA, Jerzy BIERNACKI, Agnieszka BIERNACKA // Archives of Control Sciences ; ISSN 1230-2384. — 2016 vol. 26 no. 3, s. 339–365. — Bibliogr. s. 363–365. — Publikacja dostępna online od: 2016-09-29. — tekst: https://goo.gl/15yMPw

  • keywords: model checking, Petri nets, RTCP-nets, nuXmv, CADP, coverability graphs

    Zobacz pełny wykaz publikacji Autora/Autorów: Agnieszka Biernacka, Jerzy Biernacki

    cyfrowy identyfikator dokumentu: 10.1515/acsc-2016-0019