Wykaz publikacji wybranego autora

Rafał Mrówka, dr inż.

adiunkt

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



Opisy publikacji wcześniejszych zobacz: bpp.agh.edu.pl/old.


Liczba pozycji spełniających powyższe kryteria selekcji: 19, z ogólnej liczby 19 publikacji Autora


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

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

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

4
  • Communication with environment in Alvis models / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // International Journal of Electronics and Telecommunications ; ISSN 0867-6747. — 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

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

6
  • Formal description of Alvis language with $\alpha^{0}$ system layer / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // Fundamenta Informaticae ; ISSN 0169-2968. — 2014 vol. 129 no. 1/2, s. 161–176. — Bibliogr. s. 175–176, Abstr.

  • keywords: formal methods, Alvis modelling language, concurrent systems

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

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

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

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

11
12
  • 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

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

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

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

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

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

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

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