From UML State Machine Diagram into FPGA Implementation. - Grzegorz Bazydlo; Marian Adamski; Marek Wegrzyn; Alfredo Rosado Muñoz (PDeS, 2013)

Translation UML diagrams into Verilog. - Grzegorz Bazydlo; Marian Adamski; Lukasz Stefanowicz (HSI, 2014)

Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. - Remigiusz Wisniewski; Grzegorz Bazydlo; Luís Gomes 001; Anikó Costa (IEEE Trans. Ind. Informatics, 2017)

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. - Remigiusz Wisniewski; Grzegorz Bazydlo; Luís Gomes 001; Anikó Costa; Marcin Wojnakowski (IECON, 2019)

Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation. - Remigiusz Wisniewski; Grzegorz Bazydlo; Pawel Szczesniak; Marcin Wojnakowski (IEEE Access, 2019)

SVM algorithm oriented for implementation in a low-cost Xilinx FPGA. - Remigiusz Wisniewski; Grzegorz Bazydlo; Pawel Szczesniak (Integr., 2019)

Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control. - Remigiusz Wisniewski; Grzegorz Bazydlo; Pawel Szczesniak (IEEE Trans. Circuits Syst. II Express Briefs, 2019)

Dual-model approach for safety-critical embedded systems. - Grzegorz Labiak; Marek Wegrzyn; Alfredo Rosado Muñoz; Grzegorz Bazydlo (Microprocess. Microsystems, 2020)

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)

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems. - Marcin Wojnakowski; Mateusz Poplawski; Remigiusz Wisniewski; Grzegorz Bazydlo (DoCEIS, 2022)

Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets. - Marcin Wojnakowski; Remigiusz Wisniewski; Mateusz Poplawski; Grzegorz Bazydlo (SMC, 2022)

Trusted and Secure Blockchain-Based Durable Medium Electronic Service. - Grzegorz Bazydlo; Remigiusz Wisniewski; Kamil Kozdrój (Cryptogr., 2022)

Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. - Remigiusz Wisniewski; Grzegorz Bazydlo; Marcin Wojnakowski; Mateusz Poplawski (Petri Nets, 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 (DoCEIS, 2023)

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. - Wenli Duo; Shouguang Wang; MengChu Zhou; Dan You; Remigiusz Wisniewski; Grzegorz Bazydlo (ICNSC, 2023)

Supremal and Robust Control Against Actuator Jamming Attacks in Cyber-Physical Systems. - Wenli Duo; Shouguang Wang; MengChu Zhou; Dan You; Remigiusz Wisniewski; Grzegorz Bazydlo; Aiiad Albeshri (IEEE Trans. Intell. Veh., 2024)