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

  • Action-based verification of RTCP-nets with CADP / Jerzy BIERNACKI, Agnieszka BIERNACKA, Marcin SZPYRKA // W: ICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — (AIP Conference Proceedings ; ISSN 0094-243X ; 1702). — ISBN: 978-0-7354-1349-8. — S. 100010-1–100010-4. — Bibliogr. s. 100010-4, Abstr.

  • keywords: model checking, Petri nets, RTCP-nets, verification, formal models, CADP, my calculus

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

    cyfrowy identyfikator dokumentu: 10.1063/1.4938887

2

  • 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

3

  • Extension of Alvis Compiler front-end / Michał WYPYCH, Marcin SZPYRKA, Piotr MATYASIK // W: ICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — (AIP Conference Proceedings ; ISSN 0094-243X ; 1702). — ISBN: 978-0-7354-1349-8. — S. 100015\-1–100015-4. — Bibliogr. s. 100015-4, Abstr.

  • keywords: formal verification, Alvis language, Alvis Compiler, compiler plugins

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik, Michał Wypych

    cyfrowy identyfikator dokumentu: 10.1063/1.4938892

4

  • Extracting of temporal patterns from data for hierarchical classifiers construction / Marcin SZPYRKA, Adam Szczur, Jan G. Bazan, Łukasz Dydo // W: CYBCONF 2015 [Dokument elektroniczny] : 2015 IEEE 2nd international conference on cybernetics : Gdynia, Poland, 24–26 June 2015 / eds. Piotr Jędrzejowicz, [et al.]. — Wersja do Windows. — Dane tekstowe. — Piscataway : IEEE, cop. 2015. — Dysk Flash. — Dod. ISBN 978-1-4799-8322-3. — e-ISBN: 978-1-4799-8321-6. — S. 1–6. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 5–6, Abstr.. — Toż w wersji drukowanej. — S. 330-335. — M. Szpyrka – dod. afiliacja: University of Rzeszów

  • keywords: feature extraction, temporal patterns, network anomaly detection, hierarchical classifiers, LTL logic

    cyfrowy identyfikator dokumentu:

5

  • Formal methods - support or scientific decoration in software development / Tomasz SZMUC, Marcin SZPYRKA // W: MIXDES 2015 : mixed design of integrated circuits and systems : Toruń, Poland June 25–27, 2015 : book of abstracts of 22\textsuperscript{nd} international conference / ed. Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2015. — e-ISBN: 978-83-63578-06-0. — S. 19. — Pełny tekst na CD-ROMie. — S. 24–31. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 30–31, Abstr.

  • keywords: temporal logic, Petri nets, embedded systems, software development, process algebra, Alvis language

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2015.7208473

6

  • Formal specification of malware models in the form of Colored Petri nets / Bartosz Jasiul, Marcin SZPYRKA, Joanna Śliwa // W: Computer Science and its Applications : ubiquitous information technologies : [6th FTRA international conference (CSA 2014) : Guam, USA, December 17–19, 2014] / eds. James J. (Jong Hyuk) Park [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2015. — (Lecture Notes in Electrical Engineering ; ISSN 1876-1100 ; 330). — ISBN: 978-3-662-45401-5 ; e-ISBN: 978-3-662-45402-2. — S. 475–482. — Abstr.

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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-662-45402-2_71

7

  • Generation of Java code from Alvis model / Piotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH // W: ICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — (AIP Conference Proceedings ; ISSN 0094-243X ; 1702). — ISBN: 978-0-7354-1349-8. — S. 100013-1–100013-4. — Bibliogr. s. 100013-4, Abstr.

  • keywords: embedded systems, formal verification, Alvis modelling language, Alvis to Java translation, executable model

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik, Michał Wypych

    cyfrowy identyfikator dokumentu: 10.1063/1.4938890

8

  • State-based verification of RTCP-nets with nuXmv / Agnieszka BIERNACKA, Jerzy BIERNACKI, Marcin SZPYRKA // W: ICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — (AIP Conference Proceedings ; ISSN 0094-243X ; 1702). — ISBN: 978-0-7354-1349-8. — S. 100011-1–100011-4. — Bibliogr. s. 100011-4, Abstr.

  • keywords: translation, model checking, Petri nets, RTCP-nets, verification, NuSMV, nuXmv, LTL, CTL

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

    cyfrowy identyfikator dokumentu: 10.1063/1.4938888