PERS - System Informacji o Pracownikach

1. Logic synthesis for FPGA-based finite state machines, 2016, Oleksandr Barkalov , Larysa Titarenko , Małgorzata Mazurkiewicz , Kamil Mielcarek , Grzegorz Bazydło , Cham Heidelberg: Springer International Publishing Switzerland, s. 280, (Studies in Systems, Decision and Control, Vol. 38), ISBN: 9783319242002, bibliogr. rys. tab. - [ indeksowana w Web of Science]
Kod: MON-ANG BibTeX (pkt. 25) DOI: 10.1007/978-3-319-24202-6

2. Graphic specification of programs for reconfigurable logic controllers using Unified Modeling Language, 2012, Grzegorz Bazydło , Zielona Góra: University of Zielona Góra Press, s. 117, (Lecture Notes in Control and Computer Science), ISBN: 9788374814706, bibliogr. rys. tab. summ.
Kod: MON-ANG BibTeX (pkt. 25)

1. Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net, 2023, Mateusz Popławski , Remigiusz Wiśniewski , Grzegorz Bazydło , Maxim Maliński , W: Technological Innovation for Connected Cyber Physical Spaces: 14th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2023, 2023 , (Red.) Luis M. Camarinha-Matos, Filipa Ferrada / eds. L. M. Camarinha-Matos, F. Ferrada, Cham: Springer Nature Switzerland (#), (IFIP Advances in Information and Communication Technology, 678), s. 205--215, ISBN: 9783031360060
Kod: MOR-W1 BibTeX (pkt. 20) DOI: 10.1007/978-3-031-36007-7_15

2. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems, 2022, Marcin Wojnakowski , Mateusz Popławski , Remigiusz Wiśniewski , Grzegorz Bazydło , W: Technological Innovation for Digitalization and Virtualization: 13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2022, 2022 , (Red.) Luis M. Camarinha-Matos / ed.L. M. Camarinha-Matos, Cham: Springer Nature Switzerland (#), (IFIP Advances in Information and Communication Technology, 649), s. 74--82, ISBN: 9783031075209
Kod: MOR-W1 BibTeX (pkt. 20) DOI: 10.1007/978-3-031-07520-9_7

3. Using UML behavior diagrams for graphical specification of programs for logic controllers, 2016, Grzegorz Bazydło , Marian Adamski , W: Design of reconfigurable logic controllers, 2016 / eds. A. Karatkevich, A. Bukowiec, M. Doligalski, J. Tkacz, Cham Heidelberg: Springer International Publishing Switzerland, (Studies in Systems, Decision and Control, 45), s. 131--142, ISBN: 9783319267234
Kod: MOR-ANG BibTeX (pkt. 5) DOI: 10.1007/978-3-319-26725-8_10

4. Aplikacje internetowe w obliczu ataków sieciowych na przykładzie Codelgniter Framework, 2015, Łukasz Stefanowicz , Grzegorz Bazydło , Remigiusz Wiśniewski , W: Zdalne odczyty : kryptologia a biznes - bezpieczeństwo stosowane, 2015 / red. M. Węgrzyn, J. Jabłoński, M. Nowakowski, Legionowo: Wydaw. BTC, s. 133--140, ISBN: 9788364702051
Kod: MOR-NANG BibTeX (pkt. 5)

5. Możliwości zastosowania waluty kryptograficznej Bitcoin, 2014, Łukasz Stefanowicz , Remigiusz Wiśniewski , Grzegorz Bazydło , W: Transakcje i monety internetowe: kryptologia a biznes - bezpieczeństwo stosowane, 2014 / red. M. Węgrzyn, J. Jabłoński, M. Nowakowski, Legionowo: Wydaw. BTC, s. 79--86, ISBN: 9788360233986
Kod: MOR-NANG BibTeX (pkt. 5)

6. Using UML structure diagrams for graphical specification of programs for logic controllers, 2014, Grzegorz Bazydło , W: New trends in digital systems design, 2014 / eds. A. Bukowiec, G. Borowik, M. Doligalski, Düsseldorf: VDI Verlag GmbH, (Fortschritt - Berichte VDI, Nr. 836), s. 68--80, ISBN: 9783183836109
Kod: MOR-ANG BibTeX (pkt. 5)

7. Modelowanie sytuacji awaryjnych w hierarchicznej maszynie stanów UML 2.4 z wykorzystaniem atrybutu historii, 2011, Marian Adamski , Grzegorz Bazydło , W: Projektowanie, analiza i implementacja systemów czasu rzeczywistego, 2011 / red. L. Trybus, S. Samolej, Warszawa: Wydaw. Komunikacji i Łączności, s. 41--52, ISBN: 8788320618228
Kod: MOR-NANG BibTeX (pkt. 5)

8. Rola diagramów struktury UML w projektowaniu rekonfigurowalnych sterowników logicznych, 2011, Grzegorz Bazydło , W: Współczesne problemy informatyki: podpisy elektroniczne, algorytmy kryptograficzne oraz inne algorytmy współczesnej informatyki, 2011 / red. S. Lebiediewa, A. Libera, Legnica: Wyższa Szkoła Menedżerska, s. 319--334, ISBN: 9788360357231
Kod: MOR-NANG BibTeX (pkt. 5)

9. Zastosowanie architektury MDA do syntezy hierarchicznej, współbieżnej maszyny stanów UML, 2011, Grzegorz Bazydło , Marian Adamski , W: Projektowanie, analiza i implementacja systemów czasu rzeczywistego, 2011 / red. L. Trybus, S. Samolej, Warszawa: Wydaw. Komunikacji i Łączności, s. 29--40, ISBN: 8788320618228
Kod: MOR-NANG BibTeX (pkt. 5)

1. Trusted Third Party Application in Durable Medium e-Service, 2024, Grzegorz Bazydło , Kamil Kozdrój , Remigiusz Wiśniewski , Aniruddha Bhattacharjya , Applied Sciences (Switzerland), Vol. 14, iss. 1, 1--22, eISSN: 2076-3417, bibliogr. rys. tab. summ.
Słowa kluczowe: Rivest?Shamir-Adleman algorithm (RSA), blockchain, durable medium, e-service, interplanetary file system (IPFS), secure hash algorithms (SHA), trusted third party (TTP)
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/app14010191

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 25-12-2023

2. Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language, 2023, Grzegorz Bazydło , Energies, Vol. 16, iss. 3, art. 1275, 1--21, ISSN: 1996-1073, bibliogr. rys. tab. wykr. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 140) DOI: 10.3390/en16031273

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 25-01-2023

3. Supremal and Robust Control against Actuator Jamming Attacks in Cyber-Physical Systems, 2023, Wenli Duo , Shouguang Wang , Mengchu Zhou , Dan You , Remigiusz Wiśniewski , Grzegorz Bazydło , Aiiad Albeshri , IEEE Transactions on Intelligent Vehicles, 1--13, ISSN: 2379-8858, eISSN: 2379-8904, bibliogr. summ. - [Early Access]
Kod: CZR-N-WYKAZ BibTeX (pkt. 20) DOI: 10.1109/TIV.2023.3339668

4. Trusted and Secure Blockchain-Based Architecture for Internet-of-Medical-Things, 2022, Aniruddha Bhattacharjya , Kamil Kozdrój , Grzegorz Bazydło , Remigiusz Wiśniewski , Electronics (Switzerland), Vol. 11, iss. 16, art. 2560, 1--19, eISSN: 2079-9292, bibliogr. rys. tab. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/electronics11162560

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 16-08-2022

5. Trusted and Secure Blockchain-Based Durable Medium Electronic Service, 2022, Grzegorz Bazydło , Remigiusz Wiśniewski , Kamil Kozdrój , Cryptography, Vol. 6, iss. 1, 1--12, eISSN: 2410-387X, bibliogr. rys. tab. summ.
Słowa kluczowe: blockchain, durable medium, e-service, trusted third party (TTP)
Kod: CZR-N-WYKAZ BibTeX (pkt. 20) DOI: 10.3390/cryptography6010010

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 21-02-2022

6. Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems, 2021, Marcin Wojnakowski , Remigiusz Wiśniewski , Grzegorz Bazydło , Mateusz Popławski , International Journal of Applied Mathematics and Computer Science, Vol. 31, no.4, 647--657, ISSN: 1641-876X, bibliogr. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.34768/amcs-2021-0045

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 27-12-2021

7. Dual-model approach for safety-critical embedded systems, 2020, Grzegorz Łabiak , Marek Węgrzyn , Alfredo Rosado Munoz , Grzegorz Bazydło , Microprocessors and Microsystems, Vol. 72, 1--11, ISSN: 0141-9331, bibliogr. rys. tab. summ.
Słowa kluczowe: Control unit, Dual modular redundancy (DMR), Embedded systems, GPGA, High-level modeling, Petri nets, Safety-critical systems, UML State machines
Kod: CZR-N-WYKAZ BibTeX (pkt. 40) DOI: 10.1016/j.micpro.2019.102924

8. Design and Verification of Cyber-Physical Systems Specified by Petri Nets-A Case Study of a Direct Matrix Converter, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , Iwona Grobelna , Marcin Wojnakowski , Mathematics, Vol. 7, 1--24, eISSN: 2227-7390, bibliogr. rys. tab. summ.
Słowa kluczowe: Petri net, SVM, cyber-physical system, design, direct matrix converter, verification
Kod: CZR-N-WYKAZ BibTeX (pkt. 20) DOI: 10.3390/math7090812

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 02-09-2019

9. Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , IEEE Transactions on Circuits and Systems II: Express Briefs: Express Briefs, Vol. 66, iss. 7, 1177--1181, ISSN: 1549-7747, eISSN: 1558-3791, bibliogr. tab. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 140) DOI: 10.1109/TCSII.2018.2875589

10. Petri net-based specification of cyber-physical systems oriented to control direct matrix converters with space vector modulation, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , Marcin Wojnakowski , IEEE Access, Vol. 7, 23407--23420, ISSN: 2169-3536, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, Petri net, SVM, Verilog, concurrency, cyber-physical system, matrix converter
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.1109/ACCESS.2019.2899316

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 15-02-2019

11. SVM Algorithm Oriented for Implementation in a Low-Cost Xilinx FPGA, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , Integration, the VLSI Journal, Vol. 64, 163--172, ISSN: 0167-9260, bibliogr. rys. tab. wykr. summ.
Słowa kluczowe: FPGA, Matrix converter, SiC transistor, Space vector modulation, Verilog
Kod: CZR-N-WYKAZ BibTeX (pkt. 70) DOI: 10.1016/j.vlsi.2018.10.002

12. Demand Side Management through Home Area Network systems, 2018, Grzegorz Bazydło , Szymon Wermiński , International Journal of Electrical Power and Energy Systems, Vol. 97, 174--185, ISSN: 0142-0615, bibliogr. rys. tab. wykr. summ.
Słowa kluczowe: DR, DSM, FPGA, HAN, UML, Verilog
Kod: CZR-JCR BibTeX (pkt. 40) DOI: 10.1016/j.ijepes.2017.10.026

13. Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices, 2017, Remigiusz Wiśniewski , Grzegorz Bazydło , Luis Gomes , Anico Costa , IEEE Transactions on Industrial Informatics, Vol. 13, iss. 4, 1734--1741, ISSN: 1551-3203,
Kod: CZR-JCR BibTeX (pkt. 50) DOI: 10.1109/TII.2017.2702564

14. From UML specification into FPGA implementation, 2014, Grzegorz Bazydło , Marian Adamski , Marek Węgrzyn , Alfredo Rosado-Munoz , Advances in Electrical and Electronic Engineering, Vol. 12, no. 5, 452--458, ISSN: 1336-1376, eISSN: 1804-3119, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, FSM, UML, Verilog, logic controllers
Kod: CZR-INNE BibTeX (pkt. 0) DOI: 10.15598/aeee.v12i5.1147

15. Realizaciâ shemy avtomata Mura s dvumâ istočnikami kodov, 2014, Oleksandr Barkalov , Â. E. Vizor , A. V. Matvienko , Grzegorz Bazydło , Larysa Titarenko , Problemi Informatizacii ta Upravlinnâ: Nacional'nij Aviacijnij Universitet ; Kiiv(Seria: Zbirnik Naukovih Prac), Vip. 3(47), 6--12, ISSN: 2073-4751, bibliogr. rys. tab.
Kod: CZR-INNE3 BibTeX (pkt. 0)

16. Realizaciâ shemy ustrojstva upravleniâ s dvumâ istočnikami kodov, 2014, Oleksandr Barkalov , Grzegorz Bazydło , Â. E. Vizor , A. V. Matvienko , Larysa Titarenko , Komp'juterni Zasobi, Mereži ta Sistemi, no. 13, 157--164, ISSN: 1817-9908, rys.
Kod: CZR-ZAG BibTeX (pkt. 5)

17. Wykorzystanie pseudostanów historii do modelowania sytuacji awaryjnych w maszynie stanów UML, 2014, Grzegorz Bazydło , Marian Adamski , Łukasz Stefanowicz , Pomiary, Automatyka, Kontrola, Vol. 60, nr 7, 513--515, ISSN: 0032-4110, bibliogr. rys. summ.
Słowa kluczowe: UML, history pseudostate, logic controller, maszyna stanów, pesudostan historii, state machine, sterownik logiczny
Kod: CZR-WYKAZ BibTeX (pkt. [?])

18. Specyfikacja hierarchicznej maszyny stanów UML 2.4 i jej automatyczna implementacja w języku Verilog, 2011, Grzegorz Bazydło , Marian Adamski , Przegląd Elektrotechniczny, nr 11, 145--149, ISSN: 0033-2097, bibliogr. rys. tab. wykr. summ.
Słowa kluczowe: FPGA, UML, Verilog, maszyna stanowa, state machine
Kod: CZR-JCR BibTeX (pkt. 15)

19. Obsługa wyjątków w maszynie stanowej UML realizowanej w mikrosystemach cyfrowych, 2010, Grzegorz Bazydło , Marian Adamski , Pomiary, Automatyka, Kontrola, Vol. 56, nr 7, 728--731, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Kod: CZR-WYKAZ BibTeX (pkt. 9)

20. Synteza behawioralna sterowników rekonfigurowalnych na podstawie modelu maszyny stanowej UML, 2009, Grzegorz Bazydło , Pomiary, Automatyka, Kontrola, nr 7, 508--510, ISSN: 0032-4110, bibliogr. rys. summ.
Słowa kluczowe: FPGA, UML, Verilog, reconfigurable controller, rekonfigurowalny sterownik
Kod: CZR-WYKAZ BibTeX (pkt. 6)

21. Projektowanie sterowników logicznych opisanych diagramami maszyny stanowej UML, 2008, Grzegorz Bazydło , Marian Adamski , Czasopismo Techniczne : Informatyka, z. 24, 3--18, ISSN: 1897-631X, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, UML, Verilog, diagram maszyny stanowej, logic controller, state machine diagram, sterownik logiczny
Kod: CZR-WYKAZ BibTeX (pkt. [?])

22. Specyfikacja behawioralna dla rekonfigurowalnych sterowników logicznych z wykorzystaniem diagramów maszyny stanowej z języka UML 2.0, 2007, Grzegorz Bazydło , Pomiary, Automatyka, Kontrola, nr 5, 21--23, ISSN: 0032-4110, bibliogr. rys. summ.
Słowa kluczowe: UML, specyfikacja behawioralna, statechart
Kod: CZR-WYKAZ BibTeX (pkt. [?])

23. System do komputerowego projektowania programów dla rekonfigurowalnych sterowników logicznych, 2007, Grzegorz Bazydło , Informatyka Teoretyczna i Stosowana, R. 7, nr 11, 89--100, ISSN: 1643-2355, bibliogr. rys. tab. summ.
Słowa kluczowe: UML, Verilog, diagramy maszyny stanowej, logic controller, state machine diagrams, sterownik logiczny
Kod: CZR-INNE3 BibTeX (pkt. 0)

1. Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets,, 2022, Mateusz Popławski , Marcin Wojnakowski , Remigiusz Wiśniewski , Grzegorz Bazydło , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2022, Heraklion, Grecja, -, 2024, AIP Conference Procedings, VOL. 3030, s. 1--5, - (ISSN 0094-243X)
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0193168

2. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems, 2023, Remigiusz Wiśniewski , Grzegorz Bazydło , Marcin Wojnakowski , Mateusz Popławski , W: 44th International Conference On Application And Theory of Petri Nets and Concurrency - Petri Nets 2023 (#), Lisbon, Portugalia, Cham: Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, 13929, s. 191--204, ISBN: 9783031336195,
Słowa kluczowe: Analysis, Boundedness, Cyber-physical system, Invariants, Liveness, Petri net, Reachability tree, Safety, Verification
Kod: KON-ANG BibTeX (pkt. 70) DOI: 10.1007/978-3-031-33620-1_10

3. Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks, 2023, Wenli Duo , Shouguang Wang , Mengchu Zhou , Dan You , Remigiusz Wiśniewski , Grzegorz Bazydło , W: ICNSC 2023 : 20th IEEE International conference on Networking, Sensing and Control, Marsylia, Francja, -: IEEE Xplore, 2023, s. 1--6, ISBN: 9798-3503-6950-2,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1109/ICNSC58704.2023.10318985

4. Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets, 2022, Marcin Wojnakowski , Mateusz Popławski , Grzegorz Bazydło , Remigiusz Wiśniewski , W: International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (#), Prague, Czechy, New York: IEEE Xplore, 2022, s. 1090--1095, ISBN: 9781665452588,
Kod: KON-ANG BibTeX (pkt. 70) DOI: 10.1109/SMC53654.2022.9945425

5. Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems - A case study, 2022, Grzegorz Bazydło , Anicó Costa , Luis Gomes , W: IEEE 9th International Conference on e-Learning in Industrial Electronics - ICELIE 2022, Brussel, Belgia, New York: IEEE Xplore, 2022, s. 1--6, ISBN: 9781665489904,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1109/ICELIE55228.2022.9969438

6. Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems, 2021, Mateusz Popławski , Marcin Wojnakowski , Grzegorz Bazydło , Remigiusz Wiśniewski , W: International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021, Heraklion, Grecja, Melville, New York: AIP Publishing, 2022, AIP Conference Proceedings, Vol. 2611, iss.1, s. 0700071--0700074,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0119328

7. Safeness Analysis of Petri net-based Cyber-Physical Systems Based on the Linear Algebra and Parallel Reductions, 2021, Marcin Wojnakowski , Mateusz Popławski , Remigiusz Wiśniewski , Grzegorz Bazydło , W: International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021, Heraklion, Grecja, Melville, New York: AIP Publishing, 2022, AIP Conference Proceedings, Vol. 2611, iss.1, s. 0700061--700064,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0119327

8. Trusted and Secure E-service Based on the Durable Medium and Blockchain Technology, 2021, Kamil Kozdrój , Grzegorz Bazydło , Remigiusz Wiśniewski , Jacek Starościc , W: International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021, Heraklion, Grecja, New York: AIP Publishing, 2022, AIP Conference Proceedings, Vol. 2611, iss. 1, s. 0700051--0700054,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0120190

9. Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Luis Gomes , Anico Costa , Marcin Wojnakowski , W: 45th Annual Conference of the IEEE Industrial Electronics Society - IECON 2019, Lisbon, Portugalia, New York: IEEE Xplore, 2019, s. 5843--5848, ISBN: 9781728148786,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1109/IECON.2019.8926692

10. A Preface for Symposium No 12 "Logic Synthesis and Control Systems", 2018, Robert Czerwiński , Dariusz Kania , Józef Kulisz , Remigiusz Wiśniewski , Grzegorz Bazydło , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--4,
Kod: ROZ-5 BibTeX (pkt. 0) DOI: 10.1063/1.5079135

11. Model Driven Architecture Approach to Logic Controller Design, 2018, Grzegorz Łabiak , Grzegorz Bazydło , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079137

12. The Use of UML and Petri Net for Graphic Specification of the Reconfigurable Logic Controllers, 2018, Grzegorz Bazydło , Marcin Wojnakowski , Remigiusz Wiśniewski , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079138

13. User Awareness in IoT Security. A Survey of Polish users, 2018, Iwona Grobelna , Michał Grobelny , Grzegorz Bazydło , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079136

14. A Preface for Symposium No 29 "Logic Synthesis and Control Systems", 2017, Dariusz Kania , Józef Kulisz , Remigiusz Wiśniewski , Grzegorz Bazydło , W: Proceedings of the International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2017, Thessaloniki, Grecja, New York: AIP Publishing, 2017, AIP Conference Proceedings, Vol. 1906, s. 1--3,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/1.5012393

15. Hardware realization of an SVM algorithm implemented in FPGAs, 2017, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , W: Photonics Applications in Astronomy, Communications, Industry and Hight Energy Physics Experiments 2017, Wilga, Polska, Bellingham: Society of Photo-Optical Instrumentation Engineers. SPIE, 2017, Proceedings of SPIE, Vol 10445, s. 1--11, ISBN: 9781510613546,
Słowa kluczowe: field programmable gate arrays
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1117/12.2280447

16. IoT Security with One-Time Pad Secure Algorithm Based on the Double Memory Technique, 2017, Remigiusz Wiśniewski , Michał Grobelny , Iwona Grobelna , Grzegorz Bazydło , W: Proceedings of the International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2017, Thessaloniki, Grecja, New York: AIP Publishing, 2017, AIP Conference Proceedings, Vol. 1906, s. 1--5, ISBN: 9780735415966,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5012401

17. Load shifting with the use of home energy management system implemented in FPGA, 2017, Grzegorz Bazydło , Szymon Wermiński , W: Photonics Applications in Astronomy, Communications, Industry and Hight Energy Physics Experiments 2017, Wilga, Polska, Bellingham: Society of Photo-Optical Instrumentation Engineers. SPIE, 2017, Proceedings of SPIE, Vol 10445, s. 1--11, ISBN: 9781510613546,
Słowa kluczowe: field programmable gate arrays
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1117/12.2281065

18. Dynamic partial reconfiguration of logic controllers implemented in FPGAs, 2016, Grzegorz Bazydło , Remigiusz Wiśniewski , W: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016, Wilga, Polska, Bellingham: SPIE, 2016, Proceedings of SPIE, Vol. 10031, s. 1, ISBN: 9781510604858,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1117/12.2249405

19. Application of Hypergraphs in the Prime Implicants Selection Process, 2015, Remigiusz Wiśniewski , Łukasz Stefanowicz , Grzegorz Bazydło , Marek Węgrzyn , W: 13th IFAC and IEEE Conference on Programmable Devices and Embedded Systems, Cracow, Polska, Amsterdam: Elsevier Science Publishers B. V., 2015, IFAC-PapersOnLine, 2015, Vol. 48, no. 4, s. 302--305, ISBN: ISSN: 2405-8963,
Słowa kluczowe: selection of prime implicants, exact transversal, hypergraph, minimization of Boolean functions
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1016/j.ifacol.2015.07.051

20. Aplikacje webowe w obliczu ataków internetowych - na przykłądzie Codelgniter Framework, 2015, Łukasz Stefanowicz , Grzegorz Bazydło , Remigiusz Wiśniewski , W: Kryptologia a biznes - bezpieczeństwo stosowane : zdalne odczyty: II konferencja naukowo-przemysłowa, Zielona Góra - Nowy Kisielin, Polska, [b. m.], 2015, s. 1--21, - [postery]
Kod: ROZ-5 BibTeX (pkt. 0)

21. Design of FPGA-based Moore FSM with two sources of state codes, 2015, Oleksandr Barkalov , Larysa Titarenko , Grzegorz Bazydło , Marek Węgrzyn , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2015, Athens, Grecja, [B. m.]: AIP Publishing, 2015, AIP Conference Proceedings, Vol. 1702, s. 1--4, ISBN: 9780735413498,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.4938893

22. Translation UML diagrams into Verilog, 2014, Grzegorz Bazydło , Marian Adamski , Łukasz Stefanowicz , W: 7th International Conference on Human System Interactions - HSI 2014: USB proceedings, Lisbon, Portugalia, New York: IEEE, 2014, s. 267--271, ISBN: 9781479947140,
Słowa kluczowe: Hierarchical Concurrent Finite State Machine (HCFSM), UML, Verolog, logic controller, state machine diagram
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1109/HSI.2014.6860487

23. Zastosowanie diagramów UML w graficznej specyfikacji programów dla sterowników logicznych, 2014, Grzegorz Bazydło , W: Informatyka - sztuka czy rzemiosło - KNWS' 14: materiały 11. konferencji naukowej, Karpacz, Polska, Zielona Góra: Uniwersytet Zielonogórski, Wydział Elektrotechniki,Informatyki i Telekomunikacji, 2014, s. 34--35,
Kod: KON-NANG BibTeX (pkt. 0)

24. From UML state machine diagram into FPGA implementation, 2013, Grzegorz Bazydło , Marian Adamski , Marek Węgrzyn , Alfredo Rosado-Munoz , W: 12th IFAC Conference on Programmable Devices and Embedded Systems - PDeS 2013, Velké Karlovice, Czechy, [B. m.]: [brak wydawcy], 2013, s. 298--303, ISBN: 9783902823533,
Słowa kluczowe: discrete event-system design, embedded systems, industrial PCs and PLCs, industrial programmable controllers, microprocessors and microcontrollers
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.3182/20130925-3-CZ-3023.00061

25. Specyfikacja hierarchicznej maszyny stanów UML 2.3 i jej automatyczna implementacja w języku Verilog, 2011, Grzegorz Bazydło , Marian Adamski , W: Informatyka - sztuka czy rzemiosło - KNWS' 11: materiały 8. konferencji naukowej, Karpacz, Polska, [B. m.]: [brak wydawcy], 2011, s. 47--52,
Kod: KON-NANG BibTeX (pkt. 0)

26. Synteza behawioralna sterowników rekonfigurowalnych na podstawie modelu maszyny stanowej UML, 2009, Grzegorz Bazydło , W: Informatyka - sztuka czy rzemiosło - KNWS' 09: materiały 6. konferencji naukowej : preprint, Rydzyna, Polska, [B. m.]: [brak wydawcy], 2009, s. 22--24,
Słowa kluczowe: FPGA, UML, Verilog, reconfigurable controller, rekonfigurowalny sterownik
Kod: KON-NANG BibTeX (pkt. 0)

27. From UML state machine diagrams to FPGA, 2007, Grzegorz Bazydło , W: International Workshop Control and Information Technology - IWCIT 2007, Ostrava, Czechy, Ostrava: VSB - Technical University of Ostrava, 2007, s. 183--186, ISBN: 9788024815671,
Kod: KON-ANG BibTeX (pkt. 0)

28. Od diagramu maszyny stanowej UML do FPGA, 2007, Grzegorz Bazydło , W: Innovacijni problemi avtomatizacii upravlinnâ biznesom: materiali 1-oi mižnarodnoi naukovo-praktičnoi konferencii, Žitomir, Polska, Žitomir: Institut Pidpriemnictva ta Sučasnih Tehnologij, 2007, s. 81--84,
Kod: ROZ-5 BibTeX (pkt. 0)

29. Diagramy maszyny stanowej z języka UML 2.0 jako narzędzie specyfikacji behawioralnej dla sterowników logicznych, 2006, Grzegorz Bazydło , W: VIII Międzynarodowe Warsztaty Doktoranckie - OWD 2006, Wisła, Polska, Gliwice: [brak wydawcy], 2006, Archiwum Konferencji PTETIS, Vol. 22, s. 327--332, ISBN: 8392224213,
Kod: KON-NANG BibTeX (pkt. 0)

30. Graphic specification of programs for logic controllers using state machine diagrams from UML, 2006, Grzegorz Bazydło , W: Tools of Information Technology: Proceedings of the 1th Conference, Rzeszów, Polska, Rzeszów: [brak wydawcy], 2006, s. 32--36, ISBN: 8360583005,
Kod: KON-ANG BibTeX (pkt. 0)

31. The UML diagrams in graphic specification of logic controllers, 2006, Grzegorz Bazydło , W: 1st. International Conference for Young Researchers in Computer Science, Control, Electrical Engineering and Telecommunications - ICYR: abstracts, Zielona Góra, Polska, Zielona Góra: [brak wydawcy], 2006, s. 77--78,
Kod: ROZ-5 BibTeX (pkt. 0)

32. Graficzna specyfikacja programów dla sterowników logicznych z wykorzystaniem języka UML, 2005, Grzegorz Bazydło , Marian Adamski , W: Reprogramowalne Układy Cyfrowe - RUC 2005: materiały VIII krajowej konferencji naukowej, Szczecin, Polska, Szczecin: Politechnika Szczecińska, 2005, s. 65--71, ISBN: 8387362697,
Kod: KON-NANG BibTeX (pkt. 0)

33. Modelowanie multiautomatu cyfrowego LSM, 2004, Grzegorz Bazydło , W: Współczesne problemy zarządzania i marketingu: [konferencja naukowa], Legnica, Polska, Legnica: Wyższa Szkoła Menedżerska, 2004, s. 293--297, ISBN: 8391346528,
Kod: KON-NANG BibTeX (pkt. 0)

34. Wykorzystanie języka UML do modelowania małych systemów reaktywnych, 2004, Grzegorz Bazydło , W: VI Międzynarodowe Warsztaty Doktoranckie - OWD 2004, Wisła, Polska, Gliwice: [brak wydawcy], 2004, Archiwum Konferencji PTETiS, Vol. 19, z. 5, s. 379--383, ISBN: 83915999183,
Kod: KON-NANG BibTeX (pkt. 0)