| Methods of Translation of Petri Nets to NuSMV Language. M Szpyrka, A Biernacka, J Biernacki CS&P, 245-256, 2014 | 31 | 2014 |
| Hierarchical communication diagrams M Szpyrka, P Matyasik, J Biernacki, A Biernacka, M Wypych, L Kotulski Computing and Informatics 35 (1), 55-83, 2016 | 19 | 2016 |
| Tools and methods for RTCP-nets modeling and verification M Szpyrka, J Biernacki, A Biernacka Archives of Control Sciences 26 (3), 339--365, 2016 | 14 | 2016 |
| Alvis models of safety critical systems state-base verification with nuXmv J Biernacki 2016 Federated Conference on Computer Science and Information Systems …, 2016 | 10 | 2016 |
| Discrete-time systems modeling and verification with Alvis language and tools M Szpyrka, M Wypych, J Biernacki, Ł Podolski IEEE Access 6, 78766-78779, 2018 | 9 | 2018 |
| Communication between agents in Alvis language P Matyasik, M Szpyrka, M Wypych, J Biernacki 2016 MIXDES-23rd International Conference Mixed Design of Integrated …, 2016 | 5 | 2016 |
| Action-based verification of RTCP-nets with CADP J Biernacki, A Biernacka, M Szpyrka Int. Conf. of Computational Methods in Sciences and Engineering (ICCMSE 2015 …, 2015 | 5 | 2015 |
| State-based verification of RTCP-nets with nuXmv A Biernacka, J Biernacki, M Szpyrka, TE Simos, Z Kalogiratou, ... Int. Conf. of Computational Methods in Sciences and Engineering (ICCMSE 2015 …, 2015 | 4 | 2015 |
| Alvis modelling language M Szpyrka, P Matyasik, M Wypych, J Biernacki, Ł Podolski | 3 | 2017 |
| Priority management in Alvis language M Szpyrka, A Biernacka, J Biernacki, M Wypych 2016 MIXDES-23rd International Conference Mixed Design of Integrated …, 2016 | 2 | 2016 |
| Zastosowanie paradygmatu funkcyjnego do formalnej analizy systemów modelowanych w języku Alvis J Biernacki | 1 | 2020 |
| A survey of Alvis communication modes M Szpyrka, J Biernacki, P Matyasik, M Wypych International Journal of Microelectronics and Computer Science 8 (1), 1-9, 2017 | 1 | 2017 |
| ROZPRAWA DOKTORSKA J Biernacki | | |
| Praca dyplomowa magisterska A Biernacka, J Biernacki | | |
