Grzegorz Bazydlo

17 papers B 2C 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Novel Method for Vulnerability Detection Based on Fusion and Hyperbolic Neural Network Graphs.
IEEE Trans. Software Eng.
Xiaochao Li, Aniruddha Bhattacharjya, Qianmu Li, MengChu Zhou, Remigiusz Wisniewski, Grzegorz Bazydlo
2024 J jnl
Supremal and Robust Control Against Actuator Jamming Attacks in Cyber-Physical Systems.
IEEE Trans. Intell. Veh.
Wenli Duo, Shouguang Wang, MengChu Zhou, Dan You, Remigiusz Wisniewski, Grzegorz Bazydlo, Aiiad Albeshri
2023 B conf
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems.
Petri Nets
Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski
2023 — conf
Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net.
DoCEIS
Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo, Maxim Malinski
2023 — conf
Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks.
ICNSC
Wenli Duo, Shouguang Wang, MengChu Zhou, Dan You, Remigiusz Wisniewski, Grzegorz Bazydlo
2022 B conf
Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets.
SMC
Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski, Grzegorz Bazydlo
2022 — conf
Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems.
DoCEIS
Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo
2022 J jnl
Trusted and Secure Blockchain-Based Durable Medium Electronic Service.
Cryptogr.
Grzegorz Bazydlo, Remigiusz Wisniewski, Kamil Kozdrój
2021 J jnl
Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems.
Int. J. Appl. Math. Comput. Sci.
Marcin Wojnakowski, Remigiusz Wisniewski, Grzegorz Bazydlo, Mateusz Poplawski
2020 J jnl
Dual-model approach for safety-critical embedded systems.
Microprocess. Microsystems
Grzegorz Labiak, Marek Wegrzyn, Alfredo Rosado Muñoz, Grzegorz Bazydlo
2019 C conf
Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools.
IECON
Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski
2019 J jnl
Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control.
IEEE Trans. Circuits Syst. II Express Briefs
Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak
2019 J jnl
Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation.
IEEE Access
Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak, Marcin Wojnakowski
2019 J jnl
SVM algorithm oriented for implementation in a low-cost Xilinx FPGA.
Integr.
Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak
2017 J jnl
Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices.
IEEE Trans. Ind. Informatics
Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa
2014 C conf
Translation UML diagrams into Verilog.
HSI
Grzegorz Bazydlo, Marian Adamski, Lukasz Stefanowicz
2013 — conf
From UML State Machine Diagram into FPGA Implementation.
PDeS
Grzegorz Bazydlo, Marian Adamski, Marek Wegrzyn, Alfredo Rosado Muñoz