Jerzy Biernacki

According to our database, Jerzy Biernacki authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Discrete-Time Systems Modeling and Verification With Alvis Language and Tools.

Marcin Szpyrka, Michal Wypych, Jerzy Biernacki, Lukasz Podolski

IEEE Access, 2018

2016

Hierarchical Communication Diagrams.

Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michal Wypych, Leszek Kotulski

Comput. Informatics, 2016

Priority management in Alvis language.

Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki, Michal Wypych

Proceedings of the 2016 MIXDES, 2016

Communication between agents in Alvis language.

Piotr Matyasik, Marcin Szpyrka, Michal Wypych, Jerzy Biernacki

Proceedings of the 2016 MIXDES, 2016

Alvis models of safety critical systems state-base verification with nuXmv.

Jerzy Biernacki

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2014

Methods of Translation of Petri Nets to NuSMV Language.

Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014