Remigiusz Wisniewski

47 papers B 7C 5Journal 24Unranked 11
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
2025 J jnl
A Reachability-Decidable Petri Net Modeling Method for Discrete Event Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Yue Su, MengChu Zhou, Liang Qi, Remigiusz Wisniewski
2025 B conf
Decomposition of Petri Net Toward Enhancement of Decision-Making in Manufacturing Systems.
SMC
Monika Wisniewska, Justyna Patalas-Maliszewska, Remigiusz Wisniewski, Marcin Topczak, M. Zhou, Z. Li, D. Konarczak
2025 B conf
Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems.
SMC
Marcin Wojnakowski, Remigiusz Wisniewski, M. Zhou, Z. Li, Maxim Malinski, Andrzej Obuchowicz, D. Konarczak
2025 J jnl
Modeling and Analysis of a Petri Net-Based System Supporting Implementation of Additive Manufacturing Technologies.
IEEE Trans Autom. Sci. Eng.
Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
2025 — conf
Some Limitations of Structure-Based Methods for Deadlock Detection Problems of $\mathrm{S}^{4} \text{PR}$.
ICNSC
Yue Su, MengChu Zhou, Remigiusz Wisniewski, Liang Qi, Shouguang Wang
2024 J jnl
Applying additive manufacturing technologies to a supply chain: A Petri net-based decision model.
Int. J. Appl. Math. Comput. Sci.
Justyna Patalas-Maliszewska, Remigiusz Wisniewski, MengChu Zhou, Marcin Topczak, Marcin Wojnakowski
2024 J jnl
Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Shaopeng Hu, ZhiWu Li, Remigiusz Wisniewski
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
2024 — conf
Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets.
DoCEIS
Maxim Malinski, Marcin Wojnakowski, Remigiusz Wisniewski, Andrzej Obuchowicz
2023 — conf
A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System.
Euro-Par Workshops
Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski
2023 B conf
Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study.
SMC
Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak, MengChu Zhou
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 B conf
Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems.
SMC
Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
2022 B conf
Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems.
FUZZ-IEEE
Justyna Patalas-Maliszewska, Remigiusz Wisniewski, Marcin Topczak, Marcin Wojnakowski
2022 J jnl
Special Issue on Optimization of Cross-layer Collaborative Resource Allocation for Mobile Edge Computing, Caching and Communication.
Comput. Commun.
Shaohua Wan, Remigiusz Wisniewski, George C. Alexandropoulos, Zonghua Gu, Pierluigi Siano
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
2021 — conf
Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems.
DoCEIS
Marcin Wojnakowski, Remigiusz Wisniewski
2020 J jnl
A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Andrei Karatkevich, Remigiusz Wisniewski
2020 J jnl
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.
Sensors
Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich
2020 J jnl
Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Remigiusz Wisniewski, MengChu Zhou, Luís Gomes, Maria Pia Fanti, Ratnesh Kumar
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
C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets.
IEEE Access
Remigiusz Wisniewski, Monika Wisniewska, Marcin Jarnut
2019 J jnl
Decomposition of distributed edge systems based on the Petri nets and linear algebra technique.
J. Syst. Archit.
Remigiusz Wisniewski, Andrei Karatkevich, Lukasz Stefanowicz, Marcin Wojnakowski
2019 J jnl
IEEE Access Special Section: Cyber-Physical Systems.
IEEE Access
Remigiusz Wisniewski, Grzegorz Benysek, Luís Gomes, Dariusz Kania, Theodore E. Simos, MengChu Zhou
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
2019 C conf
Specification of Cyber-Physical Systems with the Application of Interpreted Nets.
IECON
Iwona Grobelna, Remigiusz Wisniewski, Marcin Wojnakowski
2018 J jnl
Design of Multi-Context Reconfigurable Logic Controllers Implemented in FPGA Devices Oriented for Further Partial Reconfiguration.
J. Circuits Syst. Comput.
Remigiusz Wisniewski, Iwona Grobelna
2018 J jnl
Dynamic Partial Reconfiguration of Concurrent Control Systems Specified by Petri Nets and Implemented in Xilinx FPGA Devices.
IEEE Access
Remigiusz Wisniewski
2018 J jnl
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs.
IEEE Trans. Control. Syst. Technol.
Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes
2017 J jnl
Design and Verification of Real-Life Processes With Application of Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Iwona Grobelna, Remigiusz Wisniewski, Michal Grobelny, Monika Wisniewska
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 — conf
Application of Hypergraphs to SMCs Selection.
DoCEIS
Lukasz Stefanowicz, Marian Adamski, Remigiusz Wisniewski, Jakub Lipinski
2014 C conf
Application of comparability graphs in decomposition of Petri nets.
HSI
Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Daniel Kur
2014 C conf
Decomposition, validation and documentation of control process specification in form of a Petri net.
HSI
Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz
2014 C conf
Dual synthesis of Petri net based dependable logic controllers for safety critical systems.
HSI
Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski, Remigiusz Wisniewski
2013 — conf
Application of an Exact Transversal Hypergraph in Selection of SM-Components.
DoCEIS
Lukasz Stefanowicz, Marian Adamski, Remigiusz Wisniewski
2011 J jnl
Design of microprogrammed controllers to be implemented in FPGAs.
Int. J. Appl. Math. Comput. Sci.
Remigiusz Wisniewski, Alexander Barkalov, Larysa Titarenko, Wolfgang A. Halang
2011 — conf
Design of microprogrammed controllers with address converter implemented on programmable systems with embedded memories.
EWDTS
Remigiusz Wisniewski, Monika Wisniewska, Marek Wegrzyn, Norian Marranghello
2011 — conf
Reduction of the memory size in the microprogrammed controllers.
EWDTS
Monika Wisniewska, Remigiusz Wisniewski, Marek Wegrzyn, Norian Marranghello