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
  • [fragment książki, 2011]
  • TytułAlvis – modelling language for concurrent systems
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoIntelligent decision systems in large-scale distributed environments / eds. Pascal Bouvry, Horacio González-Vélez, Joanna Kołodziej. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 315–341

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

2
  • [fragment książki, 2011]
  • TytułDetekcja zakleszczenia w systemie ABS z zastosowaniem języka Alvis
    AutorzyJarosław Baniewicz, Marcin SZPYRKA
    ŹródłoProjektowanie, analiza i implementacja systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2011. — S. 77–86

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
4
  • [referat, 2011]
  • TytułGraph representation of hierarchical Alvis model structure
    AutorzyL. KOTULSKI, M. SZPYRKA
    ŹródłoFCS 2011 : proceedings of the 2011 international conference on Foundations of Computer Science : Worldcomp'11 : July 18–21, 2011, Las Vegas Nevada, USA / eds. Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — S. 95–101

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Leszek Kotulski

    cyfrowy identyfikator dokumentu:

5
  • [referat, 2011]
  • TytułIntroduction to Alvis modelling language
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki
    ŹródłoKNWS'11 : materiały 8. konferencji naukowej „Informatyka – sztuka czy rzemiosło” : Karpacz, 7–10 czerwca 2011 : preprint. — [Polska : s. n.], [2011]. — S. 185–190

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6
  • [artykuł w czasopiśmie, 2011]
  • TytułIntroduction to Alvis modelling language
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki
    ŹródłoPomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR. — 2011 vol 57 nr 9, s. 1086–1089

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7
  • [artykuł w czasopiśmie, 2011]
  • TytułIntroduction to modelling embedded systems with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2011 t. 15 z. 2, s. 435–442. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto43.pdf

  • słowa kluczowe: metody formalne, Alvis, weryfikacja systemów wbudowanych, modelowanie systemów wbudowanych

    keywords: formal methods, Alvis, embedded systems modelling, embedded systems verification

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

    cyfrowy identyfikator dokumentu:

8
  • [referat, 2011]
  • TytułLabelled transition system generation from Alvis language
    AutorzyLeszek KOTULSKI, Marcin SZPYRKA, Adam SĘDZIWY
    ŹródłoKnowledge-based and intelligent information and engineering systems : 15th international conference, KES 2011 : Kaiserslautern, Germany, September 12–14, 2011 : proceedings, Pt. 1 / eds. Andreas König, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 180–189

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

9
  • [referat, 2011]
  • TytułMetody modelowania, oceny jakości oraz weryfikacji reguł i procesów biznesowych
    AutorzyKrzysztof KLUZA, Weronika T. ADRIAN, Antoni LIGĘZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Krzysztof KACZOR, Szymon BOBEK
    ŹródłoWiedza i komunikacja w innowacyjnych organizacjach : [II Konferencja Wydziału Informatyki i Komunikacji : 24 stycznia 2011, Katowice] : praca zbiorowa / pod red. Małgorzaty Pańkowskiej. — Katowice : Wydawnictwo Uniwersytetu Ekonomicznego, 2011. — S. 182–207

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • [artykuł w czasopiśmie, 2011]
  • TytułModelling concurrent systems with Alvis
    AutorzyMarcin SZPYRKA
    ŹródłoPAR Pomiary Automatyka Robotyka. — 2011 R. 15 nr 12, s. 239–240

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • [referat, 2011]
  • TytułModelling of signals handling with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI
    ŹródłoMIXDES 2011 : mixed design of integrated circuits and systems : 18textsuperscript{th} international conference : Gliwice, Poland, 16–18 June, 2011 : book of abstracts / ed. Andrzej Napieralski. — Łódź : Technical University of Łódź. Department of Microelectronics & Computer Science, cop. 2011. — S. 160

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

12
  • [referat, 2011]
  • TytułPractical approach to modelling and verification of concurrent systems with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoECMS 2011 : 25textsuperscript{th} European Conference on Modelling and Simulation : June 7textsuperscript{th}–10textsuperscript{th}, 2011, Krakow, Poland : proceedings / eds. Tadeusz Burczyński, Joanna Kołodziej, Aleksander Byrski, Marco Carvalho. — [Kraków : s. n.], [2011]. — S. 539–545

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

13
  • [referat, 2011]
  • TytułPriority inversion detection in alvis models
    AutorzyJarosław Baniewicz, Marcin SZPYRKA
    ŹródłoMIXDES 2011 : mixed design of integrated circuits and systems : 18textsuperscript{th} international conference : Gliwice, Poland, 16–18 June, 2011 : book of abstracts / ed. Andrzej Napieralski. — Łódź : Technical University of Łódź. Department of Microelectronics & Computer Science, cop. 2011. — S. 162

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • [referat, 2011]
  • TytułProposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods
    AutorzyKrzysztof KLUZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Antoni LIGĘZA
    Źródło7th Workshop on Knowledge Engineering and Software Engineering (KESE7) at the 14th conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011) : La Laguna, Tenerife, Spain, November 10, 2011 / eds. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister ; Universidad de Almería, AGH, Julius-Maximilians-Universität Würzburg. — Almería : Department of Languages and Computation. University of Almería, 2011. — S. 15–24

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Grzegorz Jacek Nalepa, Krzysztof Kluza

    cyfrowy identyfikator dokumentu:

15
  • [referat, 2011]
  • TytułProposal of formal verification of selected BPMN models with Alvis modeling language
    AutorzyMarcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA
    ŹródłoIntelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 249–255

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Grzegorz Jacek Nalepa, Krzysztof Kluza

    cyfrowy identyfikator dokumentu:

16
  • [referat, 2011]
  • TytułPrototypes of a Web system for citizen provided information, automatic knowledge extraction, knowledge management and GIS integration
    AutorzyAntoni LIGĘZA, Weronika T. ADRIAN, Sebastian ERNST, Grzegorz J. NALEPA, Marcin SZPYRKA, Michał Czapko, Paweł GRZESIAK, Marcin Krzych
    ŹródłoMultimedia communications, services and security : 4th international conference MCSS 2011 : Krakow, Poland, June 2–3, 2011 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, 2011. — S. 268–276

  • keywords: knowledge management, security, GIS, INDECT, citizens

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Grzegorz Jacek Nalepa, Sebastian Ernst, Weronika Teresa Adrian, Paweł Grzesiak

    cyfrowy identyfikator dokumentu:

17
  • [referat, 2011]
  • TytułSnapshot reachability graphs for Alvis models
    AutorzyMarcin SZPYRKA, Leszek KOTULSKI
    ŹródłoKnowledge-based and intelligent information and engineering systems : 15th international conference, KES 2011 : Kaiserslautern, Germany, September 12–14, 2011 : proceedings, Pt. 1 / eds. Andreas König, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 190–199

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Leszek Kotulski

    cyfrowy identyfikator dokumentu:

18
  • [referat, 2011]
  • TytułSpecification of embedded systems environment behaviour with Alvis modelling language
    AutorzyM. SZPYRKA, L. KOTULSKI, P. MATYASIK
    ŹródłoESA 2011 : proceedings of the 2011 international conference on Embedded Systems & Applications : July 18–21, 2011, Las Vegas / eds. Hamid R. Arabnia, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — S. 79–85

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

19
  • [fragment książki, 2011]
  • TytułSpecyfikacja otoczenia systemów wbudowanych modelowanych w języku Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoProjektowanie, analiza i implementacja systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2011. — S. 65–75

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: