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
  • [referat, 2015]
  • TytułAction-based verification of RTCP-nets with CADP
    AutorzyJerzy BIERNACKI, Agnieszka BIERNACKA, Marcin SZPYRKA
    ŹródłoICCMSE 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. — S. 100010-1–100010-4

  • 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
  • [artykuł w czasopiśmie, 2015]
  • TytułAn entropy-based network anomaly detection method
    AutorzyPrzemysław Bereziński, Bartosz Jasiul, Marcin SZPYRKA
    ŹródłoEntropy [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2015 vol. 17 iss. 4, s. 2367–2408. — tekst: http://www.mdpi.com/1099-4300/17/4/2367/pdf

  • keywords: entropy, anomaly detection, malware detection

    cyfrowy identyfikator dokumentu: 10.3390/e17042367

3
  • [referat, 2015]
  • TytułExtension of Alvis Compiler front-end
    AutorzyMichał WYPYCH, Marcin SZPYRKA, Piotr MATYASIK
    ŹródłoICCMSE 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. — S. 100015-1–100015-4

  • 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
  • [referat, 2015]
  • TytułExtracting of temporal patterns from data for hierarchical classifiers construction
    AutorzyMarcin SZPYRKA, Adam Szczur, Jan G. Bazan, Łukasz Dydo
    ŹródłoCYBCONF 2015 [Dokument elektroniczny] : 2015 IEEE 2nd international conference on cybernetics : Gdynia, Poland, 24–26 June 2015 / eds. Piotr Jędrzejowicz, [et al.]. — Piscataway : IEEE, cop. 2015. — S. 1–6

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

    cyfrowy identyfikator dokumentu:

5
  • [referat, 2015]
  • TytułFormal methods - support or scientific decoration in software development
    AutorzyTomasz SZMUC, Marcin SZPYRKA
    ŹródłoMIXDES 2015 : mixed design of integrated circuits and systems : Toruń, Poland June 25–27, 2015 : book of abstracts of 22textsuperscript{nd} international conference / ed. Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2015. — S. 19

  • 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
  • [referat, 2015]
  • TytułFormal specification of malware models in the form of Colored Petri nets
    AutorzyBartosz Jasiul, Marcin SZPYRKA, Joanna Śliwa
    ŹródłoComputer 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. — S. 475–482

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

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

7
  • [referat, 2015]
  • TytułGeneration of Java code from Alvis model
    AutorzyPiotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH
    ŹródłoICCMSE 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. — S. 100013-1–100013-4

  • 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
  • [referat, 2015]
  • TytułState-based verification of RTCP-nets with nuXmv
    AutorzyAgnieszka BIERNACKA, Jerzy BIERNACKI, Marcin SZPYRKA
    ŹródłoICCMSE 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. — S. 100011-1–100011-4

  • 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