Jan Sadolewski

According to our database, Jan Sadolewski authored at least 19 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Verification of Control System Runtime Using an Executable Semantic Model.

Jan Sadolewski, Bartosz Trybus

Algorithms, July, 2024

2023

Exception Handling in Programmable Controllers with Denotational Model.

Jan Sadolewski, Bartosz Trybus

Proceedings of the 18th Conference on Computer Science and Intelligence Systems, 2023

2022

Denotational Model and Implementation of Scalable Virtual Machine in CPDev.

Jan Sadolewski, Bartosz Trybus

Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022

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

Ship Autopilot Software - A Case Study.

Dariusz Rzonca, Jan Sadolewski, Andrzej Stec, Zbigniew Swider, Bartosz Trybus, Leszek Trybus

Proceedings of the Advanced, Contemporary Control - Proceedings of KKA 2020, 2020

2017

CPDev engineering environment for control programming.

Dariusz Rzonca, Jan Sadolewski, Andrzej Stec, Zbigniew Swider, Bartosz Trybus, Leszek Trybus

Proceedings of the Trends in Advanced Intelligent Control, Optimization and Automation - Proceedings of KKA 2017, 2017

LD Graphic Editor Implemented in CPDev Engineering Environment.

Dariusz Rzonca, Jan Sadolewski, Andrzej Stec, Zbigniew Swider, Bartosz Trybus, Leszek Trybus

Proceedings of the Automation 2017, 2017

2016

Structure and Functionalities of Ship Autopilot Simulator.

Marcin Jamro, Dariusz Rzonca, Jan Sadolewski, Andrzej Stec, Zbigniew Swider, Bartosz Trybus, Leszek Trybus

Proceedings of the Challenges in Automation, Robotics and Measurement Techniques, 2016

2015

Object-Oriented Approach to I/O Handling in Control Programs.

Dariusz Rzonca, Jan Sadolewski, Bartosz Trybus

Proceedings of the Progress in Automation, Robotics and Measuring Techniques, 2015

Architecture of FPGA Embedded Multiprocessor Programmable Controller.

Zbigniew Hajduk, Bartosz Trybus, Jan Sadolewski

IEEE Trans. Ind. Electron., 2015

2014

Interfacing Inputs and Outputs with IEC 61131-3 Control Software.

Dariusz Rzonca, Jan Sadolewski, Bartosz Trybus

Proceedings of the Recent Advances in Automation, 2014

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

Proceedings of the Recent Advances in Automation, 2014

2011

Conversion of ST Control Programs to ANSI C for Verification Purposes.

Jan Sadolewski

e Informatica Softw. Eng. J., 2011

Multiple tasks in FPGA-based programmable controller.

Zbigniew Hajduk, Jan Sadolewski, Bartosz Trybus

e Informatica Softw. Eng. J., 2011

Automated Conversion of ST Control Programs to Why for Verification Purposes.

Jan Sadolewski

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

OPC Data Acquisition Server for CPDev Engineering Environment.

Dariusz Rzonca, Jan Sadolewski, Bartosz Trybus

Proceedings of the Computer Networks - 17th Conference, 2010

2009

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

2008

IEC structured text programming of a small Distributed Control System.

Dariusz Rzonca, Jan Sadolewski, Andrzej Stec, Zbigniew Swider, Bartosz Trybus, Leszek Trybus

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

2007

Prototype environment for controller programming in the IEC 61131-3 ST language.

Dariusz Rzonca, Jan Sadolewski, Bartosz Trybus

Comput. Sci. Inf. Syst., 2007