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 – modelling language for concurrent systems / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: Intelligent decision systems in large-scale distributed environments / eds. Pascal Bouvry, Horacio González-Vélez, Joanna Kołodziej. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 362). — ISBN: 978-3-642-21270-3. — S. 315–341. — Bibliogr. s. 340–341, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

2

  • Analiza czasowa modeli opisywanych sieciami Petriego — Time analysis of models described using Petri nets / Marcin SZPYRKA // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN10: 8386856335. — S. 227–241. — Bibliogr. s. 240–241, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3

  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego — [Knowledge base analysis (verification) with use of coloured Petri nets] / Marcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 119–126. — Bibliogr. s. 126

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

4

  • Design and analysis of rule-based systems with adder designer / Marcin SZPYRKA // W: Knowledge – driven computing : knowledge engineering and intelligent computations / eds. Carlos Cotta, Simeon Reich, Robert Schaefer, Antoni Ligęza. — Berlin, Heidelberg : Springer-Verlag, 2008. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 102). — ISBN: 978-3-540-77474-7. — S. 255–271. — Bibliogr. s. 270–271

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5

  • Design and verification of rule-based systems for Alvis models / Marcin SZPYRKA, Tomasz SZMUC // W: Rough sets and intelligent systems – Profesor Zdzisław Pawlak in memoriam, Vol. 2 / eds. Andrzej Skowron, Zbigniew Suraj. — Berlin ; Heidelberg : Springer-Verlag, 2013. — (Intelligent Systems Reference Library ; ISSN 1868-4394 ; vol. 43). — ISBN: 978-3-642-30340-1 ; e-ISBN: 978-3-642-30341-8. — S. 539–558. — Bibliogr. s. 558, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6

  • Detekcja zakleszczenia w systemie ABS z zastosowaniem języka Alvis — [Deadlock detection in ABS system – Alvis approach] / Jarosław Baniewicz, Marcin SZPYRKA // W: Projektowanie, analiza i implementacja systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2011. — Na s. red. błędny ISBN: 878-83-206-1822-8. — ISBN: 978-83-206-1822-8. — S. 77–86. — Bibliogr. s. 86. — Marcin Szpyrka – dod. afiliacja: Uniwersytet Humanistyczno-Przyrodniczy Jana Kochanowskiego w Kielcach, Instytut Fizyki, Kielce

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7

  • Development of safety-critical systems with RTCP-nets support / Marcin SZPYRKA // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 394–399. — Bibliogr. s. 399, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8

  • Formal approach to prototyping and analysis of modular rule-based systems / Marcin SZPYRKA, Grzegorz J. NALEPA // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 294–304. — Bibliogr. s. 304, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

9

  • Graphical modelling tool for CCS process algebra / Marcin SZPYRKA, Piotr MATYASIK // W: Software engineering techniques in progress / eds. Tomáš Hruška, Lech Madeyski, Mirosław Ochodek. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2008. — Prace prezentowane na konferencji: CEE-SET 2008 : the 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques : Brno, Czech Republic, October 13–15, 2008. — ISBN: 978-83-7493-421-3. — S. 81–94. — Bibliogr. s. 94, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

10

  • Implementacja w języku Ada systemów współbieżnych modelowanych za pomocą RTCP-sieci — [Ada implementation of concurrent systems modelled with RTCP-nets] / Marcin SZPYRKA, Piotr MATYASIK // W: Systemy czasu rzeczywistego : praca zbiorowa. T. 1, Kierunki badań i rozwoju / pod red. Andrzeja Kwietnia. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2005. — S. 81–90. — Bibliogr. s. 90

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

11

  • Integrated approach to modelling and analysis using RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Software engineering techniques : design for quality / ed. Krzysztof Sacha. — New York, NY, USA : Springer, 2006. — (IFIP International Federation for Information Processing : a Springer Series in Computer Science ; ISSN 1571-5736 ; 227). — Prace prezentowane na konferencji: IFIP working conference on Software Engineering Techniques SET 2006 : October 17–20, 2006, Warsaw. — ISBN10: 0-387-39387-0. — S. 115–120. — Bibliogr. s. 120, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

12

  • Język modelowania Alvis — Alvis modelling language / Marcin SZPYRKA, Michał WYPYCH, Andrei KARATKEVICH, Konrad ZAWORSKI // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-88-5 ; e-ISBN: 978-83-66727-89-2. — S. 135–144. — Bibliogr. s. 143–144, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0601/NTT_tom4_135.pdf

    orcid iD

  • słowa kluczowe: systemy czasu rzeczywistego, metody formalne, systemy wbudowane, systemy współbieżne, weryfikacja modelowa, język Alvis

    keywords: formal methods, real time systems, embedded systems, concurrent systems, Alvis language, model verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Michał Wypych, Andrei Karatkevich, Konrad Zaworski

    cyfrowy identyfikator dokumentu: 10.7494/978-83-66727-89-2_8

13

  • Modelling and analysis of real-time systems with RTCP-nets / Marcin SZPYRKA // W: Petri net : theory and applications / eds. Vedran Kordic. — Vienna : I-Tech Education and Publishing, 2008. — ISBN: 978-3-902613-12-7. — S. 17–40. — Bibliogr. s. 39–40

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14

  • Modelowanie komunikacji w systemie rozproszonym z wykorzystaniem RTCP-sieci — [Modelling of communication in distributed systems with RTCP-nets] / Marcin SZPYRKA, Adam PIÓRKOWSKI // W: Współczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — ISBN10: 8320430232. — S. 93–102. — Bibliogr. s. 101–102

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Piórkowski

    cyfrowy identyfikator dokumentu:

15

  • Modelowanie systemów wbudowanych w języku Alvis — [Modelling of embedded systems with Alvis language] / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: Metody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — ISBN: 978-83-206-1780-1. — S. 25–35. — Bibliogr. s. 35. — M. SZPYRKA – dod. afiliacja: Uniwersytet Humanistyczno-Przyrodniczy Jana Kochanowskiego w Kielcach, Instytut Fizyki

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

16

  • Opis protokołu magistrali VMEbus z zastosowaniem kolorowanych sieci Petriego — Modelling of VME bus protocol using coloured Petri nets / Marcin SZPYRKA, Zbigniew HANDZEL // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN10: 8386856335. — S. 339–352. — Bibliogr. s. 351-352, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Zbigniew Handzel

    cyfrowy identyfikator dokumentu:

17

  • RTCP-sieci – formalne metody szybkiego modelowania systemów czasu rzeczywistego — [RTCP-nets – a formal methods of fast modelling of real-time systems] / Marcin SZPYRKA, Tomasz SZMUC // W: Współczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — ISBN10: 8320430232. — S. 83–92. — Bibliogr. s. 92

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

18

  • Specyfikacja otoczenia systemów wbudowanych modelowanych w języku Alvis — [Specification of embedded systems environment for Alvis models] / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: Projektowanie, analiza i implementacja systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2011. — Na s. red. błędny ISBN: 878-83-206-1822-8. — ISBN: 978-83-206-1822-8. — S. 65–75. — Bibliogr. s. 74–75. — Marcin Szpyrka – dod. afiliacja: Uniwersytet Humanistyczno-Przyrodniczy Jana Kochanowskiego w Kielcach, Instytut Fizyki

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

19

  • Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy — [Verification of selected qualitative properties of tabular knowledge based systems] / Antoni LIGĘZA, Marcin SZPYRKA, Radosław KLIMEK, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 103–110. — Bibliogr. s. 110

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Antoni Ligęza, Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

20

  • Wykorzystanie oprogramowania Design/CPN do projektowania systemów czasu rzeczywistego — Design/CPN as a tools for real-time systems designing / Marcin SZPYRKA // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN10: 8386856335. — S. 317–338. — Bibliogr. s. 338, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: