Wykaz publikacji wybranego autora

Jerzy Biernacki, mgr inż.

doktorant

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


Identyfikatory Autora

ORCID: 0000-0001-7965-3650 połącz konto z ORCID

ResearcherID: brak

Scopus: 56414573500





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


1
2
  • [referat, 2015]
  • TytułAction-based verification of RTCP-nets with CADP
    AutorzyJerzy BIERNACKI, Agnieszka BIERNACKA, Marcin SZPYRKA
    ŹródłoICCMSE 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. — S. 100010-1–100010-4
3
  • [referat, 2016]
  • TytułAlvis models of safety critical systems state-base verification with nuXmv
    AutorzyJerzy BIERNACKI
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : 11–14 September, 2016, Gdansk, Poland : book of abstracts. — [Poland : s. n.], [2016]. — S. 124
4
  • [referat, 2016]
  • TytułCommunication between agents in Alvis language
    AutorzyPiotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI
    ŹródłoMIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — S. 128
5
  • [artykuł w czasopiśmie, 2018]
  • TytułDiscrete-time systems modeling and verification with Alvis language and tools
    AutorzyMarcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI, Łukasz PODOLSKI
    ŹródłoIEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2018 vol. 6, s. 78766–78779. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8565865
6
  • [artykuł w czasopiśmie, 2016]
  • TytułHierarchical communication diagrams
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Jerzy BIERNACKI, Agnieszka BIERNACKA, Michał WYPYCH, Leszek KOTULSKI
    ŹródłoComputing and Informatics / Slovak Academy of Sciences. Institute of Informatics. — 2016 vol. 35 no. 1, s. 55–83
7
  • [referat w czasopiśmie, 2014]
  • TytułMethods of translation of Petri nets to NuSMV language
    AutorzyMarcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI
    ŹródłoCEUR Workshop Proceedings [Dokument elektroniczny]. - Czasopismo elektroniczne. — 2014 vol. 1269, s. 245–256. — tekst: http://ceur-ws.org/Vol-1269/paper245.pdf
8
  • [referat, 2016]
  • TytułPriority management in Alvis language
    AutorzyMarcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI, Michał WYPYCH
    ŹródłoMIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — S. 131
9
  • [referat, 2015]
  • TytułState-based verification of RTCP-nets with nuXmv
    AutorzyAgnieszka BIERNACKA, Jerzy BIERNACKI, Marcin SZPYRKA
    ŹródłoICCMSE 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. — S. 100011-1–100011-4
10
  • [artykuł w czasopiśmie, 2016]
  • TytułTools and methods for RTCP-nets modeling and verification
    AutorzyMarcin SZPYRKA, Jerzy BIERNACKI, Agnieszka BIERNACKA
    ŹródłoArchives of Control Sciences. — 2016 vol. 26 no. 3, s. 339–365. — tekst: https://goo.gl/15yMPw