Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jan Sadolewski
@inproceedings{DBLP:conf/fedcsis/SadolewskiT23,
author = {Jan Sadolewski and
Bartosz Trybus},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki and
Dominik Slezak},
title = {Exception Handling in Programmable Controllers with Denotational Model},
booktitle = {Proceedings of the 18th Conference on Computer Science and Intelligence
Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023},
series = {Annals of Computer Science and Information Systems},
volume = {35},
pages = {721--730},
year = {2023},
url = {https://doi.org/10.15439/2023F5651},
doi = {10.15439/2023F5651},
timestamp = {Wed, 24 Apr 2024 14:55:54 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/SadolewskiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/SadolewskiT22,
author = {Jan Sadolewski and
Bartosz Trybus},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki and
Dominik Slezak},
title = {Denotational Model and Implementation of Scalable Virtual Machine
in CPDev},
booktitle = {Proceedings of the 17th Conference on Computer Science and Intelligence
Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7, 2022},
series = {Annals of Computer Science and Information Systems},
volume = {30},
pages = {587--591},
year = {2022},
url = {https://doi.org/10.15439/2022F236},
doi = {10.15439/2022F236},
timestamp = {Tue, 07 May 2024 20:06:45 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/SadolewskiT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamris/RzoncaSSSTT20,
author = {Dariusz Rzonca and
Jan Sadolewski and
Andrzej Stec and
Zbigniew Swider and
Bartosz Trybus and
Leszek Trybus},
title = {Developing a Multiplatform Control Environment},
journal = {J. Autom. Mob. Robotics Intell. Syst.},
volume = {13},
number = {4},
pages = {73--84},
year = {2020},
url = {https://doi.org/10.14313/jamris/4-2019/40},
doi = {10.14313/JAMRIS/4-2019/40},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jamris/RzoncaSSSTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kka/RzoncaSSSTT20,
author = {Dariusz Rzonca and
Jan Sadolewski and
Andrzej Stec and
Zbigniew Swider and
Bartosz Trybus and
Leszek Trybus},
editor = {Andrzej Bartoszewicz and
Jacek Kabzinski and
Janusz Kacprzyk},
title = {Ship Autopilot Software - {A} Case Study},
booktitle = {Advanced, Contemporary Control - Proceedings of {KKA} 2020 - The 20th
Polish Control Conference, {\L}{\'{o}}d{\'{z}}, Poland,
2020},
series = {Advances in Intelligent Systems and Computing},
volume = {1196},
pages = {1499--1506},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50936-1\_124},
doi = {10.1007/978-3-030-50936-1\_124},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kka/RzoncaSSSTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automation/RzoncaSSSTT17,
author = {Dariusz Rzonca and
Jan Sadolewski and
Andrzej Stec and
Zbigniew Swider and
Bartosz Trybus and
Leszek Trybus},
editor = {Roman Szewczyk and
Cezary Zielinski and
Malgorzata Kaliczynska},
title = {{LD} Graphic Editor Implemented in CPDev Engineering Environment},
booktitle = {Automation 2017 - Innovations in Automation, Robotics and Measurement
Techniques, Proceedings of {AUTOMATION} 2017, March 15-17, 2017, Warsaw,
Poland},
series = {Advances in Intelligent Systems and Computing},
volume = {550},
pages = {178--185},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-54042-9\_16},
doi = {10.1007/978-3-319-54042-9\_16},
timestamp = {Thu, 14 Oct 2021 10:21:13 +0200},
biburl = {https://dblp.org/rec/conf/automation/RzoncaSSSTT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kka/RzoncaSSSTT17,
author = {Dariusz Rzonca and
Jan Sadolewski and
Andrzej Stec and
Zbigniew Swider and
Bartosz Trybus and
Leszek Trybus},
editor = {Wojciech Mitkowski and
Janusz Kacprzyk and
Krzysztof Oprzedkiewicz and
Pawel Skruch},
title = {CPDev engineering environment for control programming},
booktitle = {Trends in Advanced Intelligent Control, Optimization and Automation
- Proceedings of {KKA} 2017 - The 19th Polish Control Conference,
Krak{\'{o}}w, Poland, June 18-21, 2017},
series = {Advances in Intelligent Systems and Computing},
volume = {577},
pages = {303--314},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60699-6\_29},
doi = {10.1007/978-3-319-60699-6\_29},
timestamp = {Thu, 14 Oct 2021 10:18:05 +0200},
biburl = {https://dblp.org/rec/conf/kka/RzoncaSSSTT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automation/JamroRSSSTT16,
author = {Marcin Jamro and
Dariusz Rzonca and
Jan Sadolewski and
Andrzej Stec and
Zbigniew Swider and
Bartosz Trybus and
Leszek Trybus},
editor = {Roman Szewczyk and
Cezary Zielinski and
Malgorzata Kaliczynska},
title = {Structure and Functionalities of Ship Autopilot Simulator},
booktitle = {Challenges in Automation, Robotics and Measurement Techniques - Proceedings
of AUTOMATION-2016, March 2-4, 2016, Warsaw, Poland},
series = {Advances in Intelligent Systems and Computing},
volume = {440},
pages = {223--231},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29357-8\_20},
doi = {10.1007/978-3-319-29357-8\_20},
timestamp = {Thu, 14 Oct 2021 10:21:14 +0200},
biburl = {https://dblp.org/rec/conf/automation/JamroRSSSTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/HajdukTS15,
author = {Zbigniew Hajduk and
Bartosz Trybus and
Jan Sadolewski},
title = {Architecture of {FPGA} Embedded Multiprocessor Programmable Controller},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {62},
number = {5},
pages = {2952--2961},
year = {2015},
url = {https://doi.org/10.1109/TIE.2014.2362888},
doi = {10.1109/TIE.2014.2362888},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/HajdukTS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/RzoncaST15,
author = {Dariusz Rzonca and
Jan Sadolewski and
Bartosz Trybus},
editor = {Roman Szewczyk and
Cezary Zielinski and
Malgorzata Kaliczynska},
title = {Object-Oriented Approach to {I/O} Handling in Control Programs},
booktitle = {Progress in Automation, Robotics and Measuring Techniques - Control
and Automation},
series = {Advances in Intelligent Systems and Computing},
volume = {350},
pages = {223--232},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15796-2\_23},
doi = {10.1007/978-3-319-15796-2\_23},
timestamp = {Thu, 14 Oct 2021 08:45:23 +0200},
biburl = {https://dblp.org/rec/series/asc/RzoncaST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/JamroRSSSTT14,
author = {Marcin Jamro and
Dariusz Rzonca and
Jan Sadolewski and
Andrzej Stec and
Zbigniew Swider and
Bartosz Trybus and
Leszek Trybus},
editor = {Roman Szewczyk and
Cezary Zielinski and
Malgorzata Kaliczynska},
title = {CPDev Engineering Environment for Modeling, Implementation, Testing,
and Visualization of Control Software},
booktitle = {Recent Advances in Automation, Robotics and Measuring Techniques},
series = {Advances in Intelligent Systems and Computing},
volume = {267},
pages = {81--90},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-05353-0\_9},
doi = {10.1007/978-3-319-05353-0\_9},
timestamp = {Thu, 14 Oct 2021 08:45:24 +0200},
biburl = {https://dblp.org/rec/series/asc/JamroRSSSTT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/RzoncaST14,
author = {Dariusz Rzonca and
Jan Sadolewski and
Bartosz Trybus},
editor = {Roman Szewczyk and
Cezary Zielinski and
Malgorzata Kaliczynska},
title = {Interfacing Inputs and Outputs with {IEC} 61131-3 Control Software},
booktitle = {Recent Advances in Automation, Robotics and Measuring Techniques},
series = {Advances in Intelligent Systems and Computing},
volume = {267},
pages = {229--238},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-05353-0\_23},
doi = {10.1007/978-3-319-05353-0\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/asc/RzoncaST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eInformatica/Sadolewski11,
author = {Jan Sadolewski},
title = {Conversion of {ST} Control Programs to {ANSI} {C} for Verification
Purposes},
journal = {e Informatica Softw. Eng. J.},
volume = {5},
number = {1},
pages = {65--76},
year = {2011},
url = {https://doi.org/10.2478/v10233-011-0031-3},
doi = {10.2478/V10233-011-0031-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eInformatica/Sadolewski11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eInformatica/HajdukST11,
author = {Zbigniew Hajduk and
Jan Sadolewski and
Bartosz Trybus},
title = {Multiple tasks in FPGA-based programmable controller},
journal = {e Informatica Softw. Eng. J.},
volume = {5},
number = {1},
pages = {77--85},
year = {2011},
url = {https://doi.org/10.2478/v10233-011-0032-2},
doi = {10.2478/V10233-011-0032-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eInformatica/HajdukST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/Sadolewski11,
author = {Jan Sadolewski},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Automated Conversion of {ST} Control Programs to Why for Verification
Purposes},
booktitle = {Federated Conference on Computer Science and Information Systems,
FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings},
pages = {849--854},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6078286/},
timestamp = {Mon, 09 Aug 2021 14:54:05 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/Sadolewski11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cn/RzoncaST10,
author = {Dariusz Rzonca and
Jan Sadolewski and
Bartosz Trybus},
editor = {Andrzej Kwiecien and
Piotr Gaj and
Piotr Stera},
title = {{OPC} Data Acquisition Server for CPDev Engineering Environment},
booktitle = {Computer Networks - 17th Conference, {CN} 2010, Ustro{\'{n}},
Poland, June 15-19, 2010. Proceedings},
series = {Communications in Computer and Information Science},
volume = {79},
pages = {315--321},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13861-4\_33},
doi = {10.1007/978-3-642-13861-4\_33},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cn/RzoncaST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/RzoncaSSSTT09,
author = {Dariusz Rzonca and
Jan Sadolewski and
Andrzej Stec and
Zbigniew Swider and
Bartosz Trybus and
Leszek Trybus},
title = {Open environment for programming small controllers according to {IEC}
61131-3 standard},
journal = {Scalable Comput. Pract. Exp.},
volume = {10},
number = {3},
year = {2009},
url = {http://www.scpe.org/index.php/scpe/article/view/622},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/RzoncaSSSTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imcsit/RzoncaSSSTT08,
author = {Dariusz Rzonca and
Jan Sadolewski and
Andrzej Stec and
Zbigniew Swider and
Bartosz Trybus and
Leszek Trybus},
title = {{IEC} structured text programming of a small Distributed Control System},
booktitle = {Proceedings of the International Multiconference on Computer Science
and Information Technology, {IMCSIT} 2008, Wisla, Poland, 20-22 October
2008},
pages = {757--760},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IMCSIT.2008.4747327},
doi = {10.1109/IMCSIT.2008.4747327},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imcsit/RzoncaSSSTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/RzoncaST07,
author = {Dariusz Rzonca and
Jan Sadolewski and
Bartosz Trybus},
title = {Prototype environment for controller programming in the {IEC} 61131-3
{ST} language},
journal = {Comput. Sci. Inf. Syst.},
volume = {4},
number = {2},
pages = {133--148},
year = {2007},
url = {https://doi.org/10.2298/CSIS0702131R},
doi = {10.2298/CSIS0702131R},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/RzoncaST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
