Mateusz Poplawski

According to our database, Mateusz Poplawski authored at least 8 papers between 2018 and 2023.

Collaborative distances:

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

2023

A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System.

Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski

Proceedings of the Euro-Par 2023: Parallel Processing Workshops - Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28, 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

Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems.

Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets.

Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski, Grzegorz Bazydlo

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

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems.

Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo

Proceedings of the Technological Innovation for Digitalization and Virtualization, 2022

2021

Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems.

Marcin Wojnakowski, Remigiusz Wisniewski, Grzegorz Bazydlo, Mateusz Poplawski

Int. J. Appl. Math. Comput. Sci., 2021

2020

JALI-Driven Expressive Facial Animation and Multilingual Speech in Cyberpunk 2077.

Pif Edwards, Chris Landreth, Mateusz Poplawski, Robert Malinowski, Sarah Watling, Eugene Fiume, Karan Singh

Proceedings of the SIGGRAPH '20: Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2020

2018

A Method of Feature Vector Modification in Keystroke Dynamics.

Miroslaw Omieljanowicz, Mateusz Poplawski, Andrzej Omieljanowicz

Proceedings of the Advances in Soft and Hard Computing, 2018