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
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
3
  • [referat w czasopiśmie, 2011]
  • TytułFormal verification of embedded systems using the Alvis approach
    AutorzyLeszek KOTULSKI, Marcin SZPYRKA
    ŹródłoKey Engineering Materials. — 2011 vol. 486 spec. iss., s. 209–212. — tekst: http://www.scientific.net/KEM.486.209.pdf
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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