Maxim Malinski

According to our database, Maxim Malinski authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems.

Marcin Wojnakowski, Remigiusz Wisniewski, M. Zhou, Z. Li, Maxim Malinski, Andrzej Obuchowicz, D. Konarczak

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2025

2024

Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets.

Maxim Malinski, Marcin Wojnakowski, Remigiusz Wisniewski, Andrzej Obuchowicz

Proceedings of the Technological Innovation for Human-Centric Systems, 2024

2023

Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net.

Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo, Maxim Malinski

Proceedings of the Technological Innovation for Connected Cyber Physical Spaces, 2023