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

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

3

  • Formal verification of embedded systems using the Alvis approach / Leszek KOTULSKI, Marcin SZPYRKA // Key Engineering Materials ; ISSN 1013-9826. — 2011 vol. 486 spec. iss., s. 209–212. — Bibliogr. s. 212, Abstr.. — Zastosowano procedurę peer review. — Advanced design and manufacture IV / guest eds. Daizhong Su, Kai Xue, Shifan Zhu. — tekst: http://www.scientific.net/KEM.486.209.pdf

  • keywords: embedded systems, formal verification, graphical modelling

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

    cyfrowy identyfikator dokumentu: 10.4028/www.scientific.net/KEM.486.209

4

  • Introduction to Alvis modelling language — Wprowadzenie do języka modelowania Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2011 vol 57 nr 9, s. 1086–1089. — Bibliogr. s. 1089, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

5

  • Introduction to modelling embedded systems with Alvis — Wprowadzenie do modelowania systemów wbudowanych w języku Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 2, s. 435–442. — Bibliogr. s. 442, Streszcz., Summ.. — 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:

6

  • Labelled transition system generation from Alvis language / Leszek KOTULSKI, Marcin SZPYRKA, Adam SĘDZIWY // W: Knowledge-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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6881. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-23850-5. — S. 180–189. — Bibliogr. s. 189, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7

  • Modelling concurrent systems with Alvis — Modelowanie systemów współbieżnych w języku Alvis / Marcin SZPYRKA // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 239–240. — Bibliogr. s. 240 Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8

  • Proposal of formal verification of selected BPMN models with Alvis modeling language / Marcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA // W: Intelligent 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. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 249–255. — Bibliogr. s. 254–255, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

9

  • Prototypes of a Web system for citizen provided information, automatic knowledge extraction, knowledge management and GIS integration / Antoni LIGĘZA, Weronika T. ADRIAN, Sebastian ERNST, Grzegorz J. NALEPA, Marcin SZPYRKA, Michał Czapko, Paweł GRZESIAK, Marcin Krzych // W: Multimedia 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 + CD. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 149). — ISBN: 978-3-642-21511-7 ; e-ISBN: 978-3-642-21512-4. — S. 268–276. — Bibliogr. s. 276, Abstr.

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

10

  • Snapshot reachability graphs for Alvis models / Marcin SZPYRKA, Leszek KOTULSKI // W: Knowledge-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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6881. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-23850-5. — S. 190–199. — Bibliogr. s. 198–199, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

11

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