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

  • A note on granular sets and their relation to rough sets / Antoni LIGĘZA, Marcin SZPYRKA // W: Rough sets and intelligent systems paradigms : international conference, RSEISP 2007 : Warsaw, Poland, June 28–30, 2007 : proceedings / eds. Marzena Kryszkiewicz [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2007. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 4585). — ISBN: 978-3-540-73450-5 ; e-ISBN: 978-3-540-73451-2. — S. 251–260. — Bibliogr. s. 260, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

2

  • 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

3

  • Adder Designer – tools for modelling and analysis of rule-based systems / Marcin SZPYRKA // W: CMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers = CMS'05 : metody i systemy komputerowe : V konferencja / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — Opis częśc. wg okł.. — S. 341–346. — Bibliogr. s. 346, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4

  • Algebraic-graphical methods of knowledge analysis and verification – theoretical aspects / Marcin SZPYRKA // W: Cybernetics and systems 2002 : proceedings of the sixteenth European meeting on Cybernetics and systems research : Vienna, Austria, 2–5 April 2002, Vol. 2 / ed. Robert Trappl ; University of Vienna ; Austrian Society for Cybernetic Studies. — Vienna : ASCS, 2002. — S. 812–817. — Bibliogr. s. 816, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5

  • Alvis approach to hexor robot controller development / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: MIXDES 2010 : mixed design of integrated circuits and systems : proceedings of the 17\textsuperscript{th} international conference : Wrocław, Poland 24–26 June, 2010 / ed. Andrzej Napieralski. — Lodz : Department of Microelectronics & Computer Science. Technical University of Lodz, cop. 2010 + CD. — ISBN: 978-83-928756-3-5. — S. 595–600. — Bibliogr. s. 600, Abstr.. — M. Szpyrka dod. afiliacja: Jan Kochanowski University

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

6

  • Alvis data graphs / Marcin SZPYRKA // W: MIXDES 2018 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : book of abstracts of 25\textsuperscript{th} international conference : Gdynia, Poland, June 21–23, 2018 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2018. — ISBN na podstawie bazy Web of Science. — ISBN: 978-8-3635-7814-5. — S. 118. — Wymagania systemowe: Adobe Reader. — Pełny tekst dostępny online: {https://ieeexplore-1ieee-1org-1000047w20065.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==8436846} [2018-11-23]. — S.409–415. — Wymagania systemowe: Adobe Reader. — Bibliogr. s.414–415, Abstr.

    orcid iD

  • keywords: embedded systems, Alvis language, formal modelling, data graphs

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2018.8436846

7

  • Alvis language with time dependence / Marcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — Opis częśc. wg okł.. — ISBN: 978-1-4673-4471-5. — S. 114. — Pełny tekst na dołączonym Dysku Flash. — S. 1615–1620. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1620, Abstr.. — W bazie Web of Science wersja drukowana: 2013 Federated Conference on Computer Science and Information Systems. — ISBN 978-1-4673-4471-5. — S. 1565–1570

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

8

  • APE – tool for modelling and analysis of concurrent systems with Petri nets / Marcin SZPYRKA, Piotr MATYASIK // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 499–504. — Bibliogr. s. 503–504, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

9

  • Application of RTCP-nets for design and analysis of embedded systems / M. SZPYRKA, T. SZMUC // W: MIXDES 2005 : MIXed DESign of integrated circuits and systems : proceedings of the 12\textsuperscript{th} international conference : Kraków, Poland 22–25 June 2004, Vol. 1 of 2 / ed. Andrzej Napieralski. — [Łodź : Technical University. Department of Microelectronics and Computer Science], 2005. — S. 565–570. — Bibliogr. s. 570, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

10

  • Communication between agents in Alvis language / Piotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI // W: MIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23\textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — Dysk Flash. — e-ISBN: 978-8-3635-7808-4. — S. 128. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 128. — Pełny tekst pod adresem {http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==7529784}. — S.448–453. - Bibliogr. s.453, Abstr.

  • keywords: embedded systems, concurrent systems, Alvis language, non blocking communication, blocking communication

    Zobacz pełny wykaz publikacji Autora/Autorw: Piotr Matyasik, Michał Wypych, Jerzy Biernacki

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529784

11

  • Decision tables in Petri net models / Marcin SZPYRKA, Tomasz SZMUC // W: Rough sets and intelligent systems paradigms : international conference, RSEISP 2007 : Warsaw, Poland, June 28–30, 2007 : proceedings / eds. Marzena Kryszkiewicz [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2007. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 4585). — ISBN: 978-3-540-73450-5 ; e-ISBN: 978-3-540-73451-2. — S. 648–657. — Bibliogr. s. 657, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

12

  • Development of embedded systems – from RTCP-net model to Ada code / Marcin SZPYRKA // W: Concurrency, Specification and Programming CS&P'2006 : Wandlitz, September 27–29, 2006. Vol. 2, Specification / eds.: Gabriela Lindemann [et al.] ; Humboldt-Universität zu Berlin. — Berlin : Professoren des Institutes für Informatik, 2006. — (Informatik-Berichte ; ISSN 0863-095X ; Nr. 206). — S. 231–242. — Bibliogr. s. 242, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13

  • D-net: a tool for verification of knowledge-based systems / Marcin SZPYRKA, Antoni LIGĘZA // W: Applied simulation and modelling : proceedings of the IASTED [The International Association of Science and Technology for Development] international conference : September 4–7, 2001 Marbella, Spain / ed. M. H. Hamza ; IASTED. — Anaheim ; Calgary ; Zurich : ACTA Press, 2001. — S. 105–110. — Bibliogr. s. 110, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

14

  • Dwupoziomowy algebraiczno-logiczny model bazy danych — [A two-level algebraic-logical model of database systems] / Antoni LIGĘZA, Marcin SZPYRKA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III krajowa konferencja : Kraków 19–21 listopada 2001 : materiały konferencyjne / red.: Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza przy współudz. Politechniki Krakowskiej i Uniwersytetu Jagiellońskiego. — Kraków : Oprogramowanie Naukowo-Techniczne, 2001. — ISBN10: 8391642003. — S. 221–226. — Bibliogr. s. 225–226, Streszcz.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

15

  • Exclusion rule-based systems - case study / Marcin SZPYRKA // W: International Multiconference on Computer Science and Information Technology [Dokument elektroniczny] : October 20–22, 2008. Wisła : proceedings / Polish Information Processing Society. — Wersja do Windows. — Dane tekstowe. — [Wisła : PTI], [2008]. — Dane na dysku Flash. — (Proceedings of the International Multiconference on Computer Science and Information Technology ; ISSN 1896-7094 ; vol. 3). — e-ISBN: 978-83-60810-14-9. — S. 237–242. — Wymagania systemowe: Adobe Acrobat Reader ; Dane na dysku Flash. — Bibliogr. s. 242, Abstr.. — Tyt. przejęto z ekranu tytułowego

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/IMCSIT.2008.4747245

16

  • 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

17

  • 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:

18

  • Formal definition of XCCS modelling language / Krzysztof Balicki, Marcin SZPYRKA // W: CS&P 2008 [Dokument elektroniczny] : the 17\textsuperscript{th} international conference on Concurrency, Specification and Programming : Gross Vaeter (near Berlin), Germany 29. September – 1. October 2008, Vol. 1. — Dane tekstowe. — [Germany : s. n.], [2008]. — Ekran s. 1–12. — Tryb dostępu: http://www2.informatik.hu-berlin.de/ki/CSP2008/Volume1.pdf [2008-01-15]. — Bibliogr. ekran s. 12, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19

  • 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

20

  • Formal methods supporting agent aided smart lighting design / Adam SĘDZIWY, Leszek KOTULSKI, Marcin SZPYRKA // W: Complex systems and dependability : [proceedings of the seventh international conference on Dependability and complex of systems DepCoS-RELCOMEX 2012 : Wrocław, June 25–June 29, 2012] / eds. Wojciech Zamojski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 170). — ISBN: 978-3-642-30661-7. — S. 225–239. — Bibliogr. 238–239, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy, Leszek Kotulski

    cyfrowy identyfikator dokumentu:

21

  • Formal modelling and verification of concurrent systems with XCCS / Marcin SZPYRKA, Piotr MATYASIK // W: ISPDC 2008 : proceedings of the 7th International Symposium on Parallel and Distributed Computing : 1–5 July 3008, Krakow, Poland / eds. Marek Tudruj. — Los Alamitos, California ; Washington ; Tokyo : CPS Conference Publishing Services, IEEE Computer Society, cop. 2008. — ISBN: 978-0-7695-3472-5. — S. 454–458. — Bibliogr. s. 458, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.26

22

  • 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

23

  • Formal verification of real-time systems developed for single-processor platform with Alvis / Jarosław BANIEWICZ, Marcin SZPYRKA // W: MIXDES 2019 : Mixed Design of integrated circuits and systems : Rzeszów, Poland, June 27–29, 2019 : book of abstracts of 26\textsuperscript{th} international conference / ed. by Andrzej Napieralski. — Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, cop. 2019. — ISBN podany dla pełnego tekstu. — ISBN: 978-83-63578-15-2. — S. 129

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

24

  • Formalna analiza czasowa systemów czasu rzeczywistego — Formal time analysis of real-time systems / Marcin SZPYRKA // W: Systemy czasu rzeczywistego : VIII [ósma] konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2001. — S. 15–23. — Bibliogr. s. 22–23

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

25

  • Formalne podejście do projektowania elementów sterujących dla systemów czasu rzeczywistego — Formal approach to design of control elements of real-time systems / Marcin SZPYRKA // W: Systemy Czasu Rzeczywistego SCR'02 : IX [dziewiąta] konferencja : Ustroń, 16–19 września 2002 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień. — Gliwice : Instytut Informatyki Politechniki Śląskiej, 2002. — S. 167–176. — Bibliogr. s. 176, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: