Wykaz publikacji wybranego autora

Agnieszka Biernacka, mgr inż.

doktorant

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


ORCID: brak
ResearcherID: brak



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


Liczba pozycji spełniających powyższe kryteria selekcji: 6, z ogólnej liczby 6 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
  • 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

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

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

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

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