Wykaz publikacji wybranego autora

Agnieszka Biernacka, mgr inż.

doktorant

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


Identyfikatory Autora

ORCID: brak

ResearcherID: brak

Scopus: brak



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem633
2016312
201522
201411
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem66
201633
201522
201411
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem624
2016321
201522
201411
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem624
2016321
201522
201411
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem651
201633
201522
201411
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem66
201633
201522
201411



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, my calculus

    cyfrowy identyfikator dokumentu: 10.1063/1.4938887

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

    cyfrowy identyfikator dokumentu:

3
  • Methods of translation of Petri nets to NuSMV language / Marcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI // CEUR Workshop Proceedings [Dokument elektroniczny]. - Czasopismo elektroniczne ; ISSN 1613-0073. — 2014 vol. 1269, s. 245–256. — Wymagania systemowe: Adobe Reader. — 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. — tekst: http://ceur-ws.org/Vol-1269/paper245.pdf

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

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529787

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

    cyfrowy identyfikator dokumentu: 10.1063/1.4938888

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

    cyfrowy identyfikator dokumentu: 10.1515/acsc-2016-0019