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





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


1
  • [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
  • keywords: model checking, Petri nets, RTCP-nets, verification, formal models, CADP, μ calculus

    cyfrowy identyfikator dokumentu: 10.1063/1.4938887

2
  • [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
  • keywords: Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation

    cyfrowy identyfikator dokumentu:

3
  • [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. — 2014 vol. 1269, s. 245–256
  • keywords: translation, model checking, place-transition nets, coloured Petri nets, NuSMV, PetriNet2NuSMV translator

    cyfrowy identyfikator dokumentu:

4
  • [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
  • keywords: real-time systems, concurrent systems, Alvis language, priorities of processes

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529787

5
  • [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
  • keywords: translation, model checking, Petri nets, RTCP-nets, verification, NuSMV, nuXmv, LTL, CTL

    cyfrowy identyfikator dokumentu: 10.1063/1.4938888

6