Prototype environment for controller programming in the IEC 61131-3 ST language. - Dariusz Rzonca; Jan Sadolewski; Bartosz Trybus (Comput. Sci. Inf. Syst., 2007)

IEC structured text programming of a small Distributed Control System. - Dariusz Rzonca; Jan Sadolewski; Andrzej Stec; Zbigniew Swider; Bartosz Trybus; Leszek Trybus (IMCSIT, 2008)

Open environment for programming small controllers according to IEC 61131-3 standard. - Dariusz Rzonca; Jan Sadolewski; Andrzej Stec; Zbigniew Swider; Bartosz Trybus; Leszek Trybus (Scalable Comput. Pract. Exp., 2009)

OPC Data Acquisition Server for CPDev Engineering Environment. - Dariusz Rzonca; Jan Sadolewski; Bartosz Trybus (CN, 2010)

Automated Conversion of ST Control Programs to Why for Verification Purposes. - Jan Sadolewski (FedCSIS, 2011)

Multiple tasks in FPGA-based programmable controller. - Zbigniew Hajduk; Jan Sadolewski; Bartosz Trybus (e Informatica Softw. Eng. J., 2011)

Conversion of ST Control Programs to ANSI C for Verification Purposes. - Jan Sadolewski (e Informatica Softw. Eng. J., 2011)

CPDev Engineering Environment for Modeling, Implementation, Testing, and Visualization of Control Software. - Marcin Jamro; Dariusz Rzonca; Jan Sadolewski; Andrzej Stec; Zbigniew Swider; Bartosz Trybus; Leszek Trybus (Recent Advances in Automation, Robotics and Measuring Techniques, 2014)

Interfacing Inputs and Outputs with IEC 61131-3 Control Software. - Dariusz Rzonca; Jan Sadolewski; Bartosz Trybus (Recent Advances in Automation, Robotics and Measuring Techniques, 2014)

Architecture of FPGA Embedded Multiprocessor Programmable Controller. - Zbigniew Hajduk; Bartosz Trybus; Jan Sadolewski (IEEE Trans. Ind. Electron., 2015)

Object-Oriented Approach to I/O Handling in Control Programs. - Dariusz Rzonca; Jan Sadolewski; Bartosz Trybus (Progress in Automation, Robotics and Measuring Techniques, 2015)

Structure and Functionalities of Ship Autopilot Simulator. - Marcin Jamro; Dariusz Rzonca; Jan Sadolewski; Andrzej Stec; Zbigniew Swider; Bartosz Trybus; Leszek Trybus (AUTOMATION, 2016)

LD Graphic Editor Implemented in CPDev Engineering Environment. - Dariusz Rzonca; Jan Sadolewski; Andrzej Stec; Zbigniew Swider; Bartosz Trybus; Leszek Trybus (AUTOMATION, 2017)

CPDev engineering environment for control programming. - Dariusz Rzonca; Jan Sadolewski; Andrzej Stec; Zbigniew Swider; Bartosz Trybus; Leszek Trybus (KKA, 2017)

Ship Autopilot Software - A Case Study. - Dariusz Rzonca; Jan Sadolewski; Andrzej Stec; Zbigniew Swider; Bartosz Trybus; Leszek Trybus (KKA, 2020)

Developing a Multiplatform Control Environment. - Dariusz Rzonca; Jan Sadolewski; Andrzej Stec; Zbigniew Swider; Bartosz Trybus; Leszek Trybus (J. Autom. Mob. Robotics Intell. Syst., 2020)

Denotational Model and Implementation of Scalable Virtual Machine in CPDev. - Jan Sadolewski; Bartosz Trybus (FedCSIS, 2022)

Exception Handling in Programmable Controllers with Denotational Model. - Jan Sadolewski; Bartosz Trybus (FedCSIS, 2023)

Verification of Control System Runtime Using an Executable Semantic Model. - Jan Sadolewski; Bartosz Trybus (Algorithms, 2024)