Wykaz publikacji wybranego autora

Rafał Mrówka, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej


  • 2022

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


  • 2018

    [dyscyplina 1] dziedzina nauk ścisłych i przyrodniczych / informatyka

    [dyscyplina 2] dziedzina nauk inżynieryjno-technicznych / automatyka, elektronika i elektrotechnika (25%)


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5143-3488 połącz konto z ORCID

ResearcherID: brak

Scopus: 26029524900

PBN: 5e70922c878c28a04739119e

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
2
  • 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

    cyfrowy identyfikator dokumentu:

3
  • Alvis approach to Hexor robot controller developmentZastosowanie języka Alvis do projektowania sterownika dla robota Hexor / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // Elektronika : konstrukcje, technologie, zastosowania (Warszawa) ; ISSN 0033-2089. — Tytuł poprz.: Przegląd Elektroniki. — 2010 R. 51 nr 11, s. 63–66. — Bibliogr. s. 66, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu:

5
  • Communication with environment in Alvis models / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // International Journal of Electronics and Telecommunications ; ISSN 2081-8491. — Tytuł poprz.: Kwartalnik Elektroniki i Telekomunikacji = Electronics and Telecommunications Quarterly. — 2012 vol. 58 no. 3, s. 247–254. — Bibliogr. s. 254, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • Comparison of wireless technologies for rotating machinery diagnostics / Cezary WOREK, Łukasz KRZAK, Rafał MRÓWKA, Tomasz BARSZCZ // W: 6thICTD, 5thCMMNO Gliwice 2016 : 5th International Conference on Condition Monitoring of Machinery in Non-Stationary Operations 2016, 6th International Congress on Technical Diagnostics 2016 : 12–16 September 2016 : book of abstracts. — Gliwice : Publishing Institute of Fundamentals of Machinery Design. Silesian University of Technology, 2016. — Opis częśc. wg okł.. — S. 25

  • keywords: wireless sensor networks, machine health monitoring systems, digital radio communication

    cyfrowy identyfikator dokumentu:

7
  • Comparison of wireless technologies for rotating machinery diagnostics / Cezary WOREK, Łukasz KRZAK, Rafał MRÓWKA, Tomasz BARSZCZ // W: Advances in Technical Diagnostics : proceedings of the 6th International Congress on Technical Diagnostic, ICDT2016 : 12–16 September 2016, Gliwice, Poland / eds. Anna Timofiejczuk, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — (Applied Condition Monitoring ; ISSN 2363-698X ; vol. 10). — ISBN: 978-3-319-62041-1 ; e-ISBN: 978-3-319-62042-8. — S. 129–138. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2017-09-06

  • keywords: condition monitoring, wireless, rotating machinery, mesh network

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-62042-8_12

8
9
  • General information about the KIC innoenergy Co-Location Center / Rafał MRÓWKA, Tomasz SZMUC // W: Development of coal, biomass and wastes gasification technologies with particular interest in chemical sequestration of $CO_{2}$ : a monograph / sci. ed. Andrzej Strugała. — Kraków : AKNET, 2012. — ISBN: 978-83-931791-1-4. — S. 9–16

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • Introduction to Alvis internal language syntax [Dokument elektroniczny] / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA ; AGH University of Science and Technology. Department of Automatics. Computer Science Laboratory. — Wersja do Windows. — Dane tekstowe. — Kraków : AGH, 2010. — 14 s.. — (CSL Technical Report ; no. 1/2010). — Tryb dostępu: http://winntbg.bg.agh.edu.pl/csl/csltr-1-2010.pdf [2010-12-08]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 14

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • Introduction to Alvis modelling language / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki // W: KNWS'11 : materiały 8. konferencji naukowej „Informatyka – sztuka czy rzemiosło” : Karpacz, 7–10 czerwca 2011 : preprint. — [Polska : s. n.], [2011]. — S. 185–190. — Bibliogr. s. 188, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
  • Introduction to Alvis modelling languageWprowadzenie 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

    cyfrowy identyfikator dokumentu:

13
  • Introduction to modelling embedded systems with AlvisWprowadzenie 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

    cyfrowy identyfikator dokumentu:

14
  • Modelling of signals handling with Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // W: MIXDES 2011 : mixed design of integrated circuits and systems : 18\textsuperscript{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. — Pełny tekst W: MIXDES 2011 [Dokument elektroniczny] : mixed design of integrated circuits and systems : proceedings of the 18th international conference : Gliwice, Poland, 16–18 June 2011. — Wersja do Windows. — Dane tekstowe / ed. Andrzej Napieralski. — [Poland : Technical University of Łódź. Department of Microelectronics & Computer Science], cop. 2011. — S. 627–631. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 631, Abstr. — ISBN 978-83-932075-0-3. — Marcin Szpyrka – dod. afiliacja: Institute of Physics, Jan Kochanowski University, Kielce

  • brak zdefiniowanych słów kluczowych

    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

    cyfrowy identyfikator dokumentu:

16
  • New technologies for wireless, energy efficient machinery diagnostic systems / Tomasz BARSZCZ, Adam JABŁOŃSKI, Cezary WOREK, Łukasz KRZAK, Rafał MRÓWKA // W: 6thICTD, 5thCMMNO Gliwice 2016 : 5th International Conference on Condition Monitoring of Machinery in Non-Stationary Operations 2016, 6th International Congress on Technical Diagnostics 2016 : 12–16 September 2016 : book of abstracts. — Gliwice : Publishing Institute of Fundamentals of Machinery Design. Silesian University of Technology, 2016. — Opis częśc. wg okł.. — S. 90

  • keywords: vibration analysis, wireless sensors, power generation, contactless energy transfer

    cyfrowy identyfikator dokumentu:

17
  • New technologies for wireless energy-efficient machinery diagnostic system / Tomasz BARSZCZ, Adam JABŁOŃSKI, Cezary WOREK, Łukasz KRZAK, Rafał MRÓWKA // W: Advances in Technical Diagnostics : proceedings of the 6th International Congress on Technical Diagnostic, ICDT2016 : 12–16 September 2016, Gliwice, Poland / eds. Anna Timofiejczuk, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — (Applied Condition Monitoring ; ISSN 2363-698X ; vol. 10). — ISBN: 978-3-319-62041-1 ; e-ISBN: 978-3-319-62042-8. — S. 139–149. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2017-09-06

  • keywords: vibration analysis, wireless sensors, power generation, contactless energy transfer

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-62042-8_13

18
  • Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznychModern methods in software development of cyber-physical systems / Tomasz SZMUC, Rafał MRÓWKA, Paweł SKRZYŃSKI, Grzegorz ROGUS, Wojciech SZMUC, Jacek PIWOWARCZYK, Marek Brańka, Jakub Ficoń // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 5. — 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-84-7 ; e-ISBN: 978-83-67427-00-5. — S. 83–98. — Bibliogr. s. 96–98, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0602/NTT_tom5_083.pdf

  • słowa kluczowe: sieci Petriego, rzeczywistość wirtualna, systemy cyberfizyczne, AADL, SysML

    keywords: Petri nets, virtual reality, AADL, SysML, cyber physical systems

    cyfrowy identyfikator dokumentu: 10.7494/978-83-67427-00-5_6

19
  • Practical approach to modelling and verification of concurrent systems with Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: ECMS 2011 : 25\textsuperscript{th} European Conference on Modelling and Simulation : June 7\textsuperscript{th}–10\textsuperscript{th}, 2011, Krakow, Poland : proceedings / eds. Tadeusz Burczyński, Joanna Kołodziej, Aleksander Byrski, Marco Carvalho. — [Kraków : s. n.], [2011] + CD-ROM. — Dod.: ISBN 978-0-9564944-3-6 (CD). — ISBN: 978-0-9564944-2-9. — S. 539–545. — Bibliogr. s. 544–545, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

20
  • Problemy bezpieczeństwa w inteligentnych sieciach energetycznych[Security considerations of smart grid networks] / Leszek KOTULSKI, Sebastian ERNST, Radosław KLIMEK, Rafał MRÓWKA, Adam SĘDZIWY, Igor WOJNICKI // W: Nowoczesne systemy łączności i transmisji danych na rzecz bezpieczeństwa : szanse i zagrożenia / red. nauk. Andrzej R. Pach, Zbigniew Rau, Michał Wągrowski. — Warszawa : Wolters Kluwer Polska SA, 2013. — ISBN: 978-83-264-4255-1. — S. 518–538. — Bibliogr. s. 536–537, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu:

22
  • Towards efficient application of formal techniques in software development / Rafał MRÓWKA, Tomasz SZMUC // 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. 67–80. — Bibliogr. s. 79–80, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

23
  • UML Statecharts compositional semantics in LOTOS / Rafał MRÓWKA, Tomasz SZMUC // 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. 459–463. — Bibliogr. s. 463, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.60