Wykaz publikacji wybranego autora

Jerzy Biernacki, mgr inż.

doktorant

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


ORCID: 0000-0001-7965-3650
ResearcherID: brak



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


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


1
  • Action-based verification of RTCP-nets with CADP / Jerzy BIERNACKI, Agnieszka BIERNACKA, Marcin SZPYRKA // W: ICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — (AIP Conference Proceedings ; ISSN 0094-243X ; 1702). — ISBN: 978-0-7354-1349-8. — S. 100010-1–100010-4. — Bibliogr. s. 100010-4, Abstr.

  • keywords: model checking, Petri nets, RTCP-nets, verification, formal models, CADP, μ calculus

2
  • Alvis models of safety critical systems state-base verification with nuXmv / Jerzy BIERNACKI // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : 11–14 September, 2016, Gdansk, Poland : book of abstracts. — [Poland : s. n.], [2016]. — ISBN: 978-836081090-3. — S. 124. — Pełny tekst W: FedCSiS 2016 [Dokument elektroniczny] : preproceedings of the 2016 Federated Conference on Computer Science and Information Systems : September 11–14, 2016, Gdańsk, Poland / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Wersja do Windows. — Dane tekstowe. — Warsaw : Polskie Towarzystwo Informatyczne, cop. 2016. — (Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 8). — ISBN 978-83-60810-90-3. — S. 1701–1708. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: {https://fedcsis.org/proceedings/2016/pliks/fedcsis.pdf} [2016-10-04]. — Bibliogr. s. 1707–1708, Abstr.. — Afiliacja Autora zamieszczona przy pełnym tekście

  • brak zdefiniowanych słów kluczowych

3
  • Communication between agents in Alvis language / Piotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI // W: MIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23\textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — Dysk Flash. — e-ISBN: 978-8-3635-7808-4. — S. 128. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 128. — Pełny tekst pod adresem {http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==7529784}. — S.448–453. - Bibliogr. s.453, Abstr.

  • keywords: embedded systems, concurrent systems, Alvis language, nonblocking communication, blocking communication

4
  • Hierarchical communication diagrams / Marcin SZPYRKA, Piotr MATYASIK, Jerzy BIERNACKI, Agnieszka BIERNACKA, Michał WYPYCH, Leszek KOTULSKI // Computing and Informatics / Slovak Academy of Sciences. Institute of Informatics ; ISSN 1335-9150. — Tytuł poprz.: Computers and Artificial Intelligence. — 2016 vol. 35 no. 1, s. 55–83. — Bibliogr. s. 80–82, Abstr.

  • keywords: Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation

5
  • Methods of translation of Petri nets to NuSMV language / Marcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI // CEUR Workshop Proceedings ; ISSN 1613-0073. — 2014 vol. 1269, s. 245–256. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://ceur-ws.org/Vol-1269/paper245.pdf [2014-10-30]. — Bibliogr. s. 255–256, Abstr.. — CS&P 2014 [Dokument elektroniczny] : proceedings of the 23th international workshop on Concurrency, Specification and Programming : Chemnitz, Germany, September 29–October 1, 2014 / ed. by Louchka Popova-Zeugmann

  • keywords: translation, model checking, place-transition nets, coloured Petri nets, NuSMV, PetriNet2NuSMV translator

6
  • Priority management in Alvis language / Marcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI, Michał WYPYCH // W: MIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23\textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — Dysk Flash. — e-ISBN: 978-8-3635-7808-4. — S. 131. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 131. — Pełny tekst pod adresem {http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==7529787}. — S.464–468. - Bibliogr. s.468, Abstr.

  • keywords: real-time systems, concurrent systems, Alvis language, priorities of processes

7
  • State-based verification of RTCP-nets with nuXmv / Agnieszka BIERNACKA, Jerzy BIERNACKI, Marcin SZPYRKA // W: ICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — (AIP Conference Proceedings ; ISSN 0094-243X ; 1702). — ISBN: 978-0-7354-1349-8. — S. 100011-1–100011-4. — Bibliogr. s. 100011-4, Abstr.

  • keywords: translation, model checking, Petri nets, RTCP-nets, verification, NuSMV, nuXmv, LTL, CTL

8
  • Tools and methods for RTCP-nets modeling and verification / Marcin SZPYRKA, Jerzy BIERNACKI, Agnieszka BIERNACKA // Archives of Control Sciences ; ISSN 1230-2384. — 2016 vol. 26 no. 3, s. 339–365. — Bibliogr. s. 363–365. — Publikacja dostępna online od: 2016-09-29. — tekst: https://goo.gl/15yMPw

  • keywords: model checking, Petri nets, RTCP-nets, nuXmv, CADP, coverability graphs