Dr hab. Bożena Woźna-Szcześniak, prof. UJD

• UJD |
• KaMI |
• PL |
• EN



Publikacje

|  DBLP | Google Scholar  |

Rok 2022

• Yuriy Povstenko, Tamara Kyrylych, Bożena Woźna-Szcześniak, Renata Kawa, Andrzej Yatsko. An External Circular Crack in an Infinite Solid under Axisymmetric Heat Flux Loading in the Framework of Fractional Thermoelasticity. Entropy 2022, 24(1), 70; https://doi.org/10.3390/e24010070.
• Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bożena Woźna-Szcześniak, SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. In Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) - Volume 1, pages 345-352 ISBN: 978-989-758-547-0; ISSN: 2184-433X. Copyright © 2022 by SCITEPRESS – Science and Technology Publications.

Rok 2021

• Ireneusz Szcześniak, Ireneusz Olszewski, Bożena Woźna-Szcześniak. Towards an Efficient and Exact Algorithm for Dynamic Dedicated Path Protection. Entropy 2021, 23(9), 1116; https://doi.org/10.3390/e23091116

Rok 2019

• Ireneusz Szcześniak, Andrzej Jajszczyk, Bożena Woźna-Szcześniak. Generic Dijkstra for Optical Networks. Journal of Optical Communications and Networking, 11(11): pp. 568-577 (2019). https://doi.org/10.1364/JOCN.11.000568. Editors' Pick. ISSN:1943-0620 (print). ISSN:1943-0639 (online).
• Bożena Woźna-Szcześniak, Ireneusz Szcześniak. Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems. The 15th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2018). Advances in Intelligent Systems and Computing. Springer. Volume 800. pp. 103-111. 2019. DOI https://doi.org/10.1007/978-3-319-94649-8.

Rok 2018

• Artur Rataj, Bożena Woźna-Szcześniak. Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking Fundamenta Informaticae, 157(4): 443-461, 2018. DOI 10.3233/FI-2018-1637.
• Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bożena Woźna-Szcześniak. Modeling and checking robustness of communicating autonomous vehicles. Materiały konferencji: the 14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017). Advances in Intelligent Systems and Computing series. Tom 620, str. 173-180. Springer, 2018. DOI: 10.1007/978-3-319-62410-5_21 Print ISBN 978-3-319-62409-9. Online ISBN 978-3-319-62410-5.

Rok 2017

• M. Copik, A. Rataj, B. Woźna-Szcześniak. A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC. Scientific Issues of Jan Długosz University in Częstochowa, Mathematics XXII. pp.85--98, 2017.
• Ireneusz Szcześniak, Andrzej R. Pach, Bożena Woźna-Szcześniak. Performance of interoperator fixed-mobile network sharing. Materiały konferencji: the 21th International Conference on Optical Network Design and Modeling (ONDM 2017), IFIP Open Digital Library, IEEE Xplore, ISBN: 978-3-901882-93-7. Budapeszt, Węgry, 15-18 Maj 2017.
• Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SMT-based searching for k-quasi-optimal runs in weighted timed automata. Fundamenta Informaticae, 152(4): 411-433, 2017. DOI 10.3233/FI-2017-1527
• Ireneusz Szczesniak, Artur Gola, Andrzej Jajszczyk, Andrzej R. Pach, Bożena Woźna-Szcześniak. Itinerant routing in elastic optical networks. Journal of Lightwave Technology, tom. 35, Nr 10, str. 1868-1875, 15 Maj 2017. DOI 10.1109/JLT.2017.2674182.

Rok 2016

• Bożena Woźna-Szcześniak, Ireneusz Szcześniak. On the SMT-based Verification of Communicative Commitments. Scientific Issues of Jan Długosz University in Częstochowa, Mathematics XXI. Str.165-192, 2016. DOI http://dx.doi.org/10.16926/m.2016.21.14.
• Artur Rataj, Bożena Woźna-Szcześniak. Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking. Materiały konferencji: the 25nd International Workshop on Concurrency, Specification and Programming (CS&P 2016). Volume 1698 of the CEUR Workshop Proceedings, str. 189-198, 2016. Rostock, Niemcy, 28-30 Wrzesień, 2016.
• Marcin Copik, Artur Rataj, Bożena Woźna-Szcześniak. A GPGPU--based Simulator for Prism: Statistical Verification of Results of PMC [extended abstract]. Materiały konferencji: the 25nd International Workshop on Concurrency, Specification and Programming (CS&P 2016). Volume 1698 of the CEUR Workshop Proceedings, str. 199-208, 2016. Rostock, Niemcy, 28-30 Wrzesień, 2016.
• Ireneusz Szcześniak, Bożena Woźna-Szcześniak. Adapted and Constrained Dijkstra for Elastic Optical Networks. Materiały konferencji: the 20th International Conference on Optical Network Design and Modeling (ONDM 2016), str. 1-6, IEEE Press. Kartagena, Hiszpania 9-12 Maj, 2016.
• Bożena Woźna-Szcześniak, Andrzej Zbrzezny. Checking EMTLK properties of Timed Interpreted Systems via Bounded Model Checking. Studia Logica, 104(4), pp. 641–678, 2016. Online: 29 październik 2015. DOI: 10.1007/s11225-015-9637-9.
• Bożena Woźna-Szcześniak. SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems Fundamenta Informaticae, 143(1-2), str.173-205, 2016.

Rok 2015

• Bożena Woźna-Szcześniak, Ireneusz Szcześniak. SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties. Scientific Issues of Jan Długosz University in Częstochowa, Mathematics XX. str.69-81, 2015.
• Bożena Woźna-Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. SMT-based searching for k-quasi-optimal runs in weighted timed automata (Extended Abstract). Materiały konferencji: the 24nd International Workshop on Concurrency, Specification and Programming (CS&P 2015), str. 196-206. Uniwersytet Rzeszowski, 2015. ISBN 978-83-7996-181-8. Również: The CEUR Workshop Proceedings, tom 1492, str. 196-206 (paper44.pdf). urn:nbn:de:0074-1492-5.
• Agnieszka Zbrzezny, Bożena Woźna-Szcześniak, Andrzej Zbrzezny. SMT-based Bounded Model Checking for Weighted Epistemic ECTL (Short paper). Materiały konferencji: 17th Portuguese Conference on Artificial Intelligence (EPIA'2015). LNAI, tom 9273, str. 651-657. Springer-Verlag, 2015.
• Ireneusz Szcześniak, Piotr Chołda, Andrzej Pach, and Bożena Woźna-Szcześniak. Interoperator fixed-mobile network sharing. The Proceedings of the 19th International Conference on Optical Network Design and Modeling (ONDM 2015), str. 192-197. IEEE Press. Piza, Włochy, 11-14 Maj, 2015.
• Agnieszka Zbrzezny, Bożena Woźna-Szcześniak, Andrzej Zbrzezny. SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL (Short paper). The Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2015), str. 1671-1672. IFAAMAS Press. Stambuł, Turcja. Maj 4-8, 2015.

Rok 2014

• Bożena Woźna-Szcześniak, Ireneusz Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. The 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014). LNAI, tom 8861, str. 107-115. Springer-Verlag, 2014. (Web of Science)
• Bożena Woźna-Szcześniak. SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract). Anglojęzyczna monografia naukowa: Concurrency, Specification and Programming (CS&P 2014). Informatik-Berichte, tom 245, str. 281-292, Humboldt-University. Chemnitz, Niemcy, 29 Wrzesień - 1 Październik, 2014. Również: The CEUR Workshop Proceedings, tom 1269, str. 281-292 (paper281.pdf). urn:nbn:de:0074-1269-2.
• Maciej Rosół, Krzysztof Kołek, Dawid Knapik, Andrzej Turnau, Wojciech Zwonarz, Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. Selected Applications of Real Time Systems. Anglojęzyczna monografia naukowa, Zeszyty Rady Naukowej Polskiego Towarzystwa Naukowego. Poznań-Warszawa, 2014.
• Bożena Woźna-Szcześniak, Andrzej Zbrzezny. Checking MTL properties of Discrete Timed Automata via Bounded Model Checking. Fundamenta Informaticae, 135(4), str.553-568. 2014.
• Bożena Woźna-Szcześniak. On the SAT-based Verification of Communicative Commitments. Anglojęzyczna monografia naukowa: Trends in Contemporary Computer Science. Rozdział 4: Formal Methods and Data Mining, str. 175-186. Politechnika Białostocka, 2014. ISBN 978-83-62582-58-7. The 6th Podlasie Conference on Mathematics (PCM 2014) - sesja specjalna poświęcona zagadnieniom z informatyki.
• Bożena Woźna-Szcześniak. Checking EMTLK properties of Timed Interpreted Systems via Bounded Model Checking. Materiały warsztatów: the 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2014). Paryż, Francja. 5-9 Maj 2014. On-line informal proceedings: p1.pdf.
• Bożena Woźna-Szcześniak. Checking EMTLK properties of Timed Interpreted Systems via Bounded Model Checking (Short paper). Materiały konferencji: the 13th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2014), str. 1477-1478. IFAAMAS Press. Paryż, Francja. 5-9 Maj 2014.
• Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny. BDD- versus SAT-based Bounded Model Checking for the Existential Fragment of Linear Temporal Logic with Knowledge: Algorithms and their Performance. Journal of Autonomous Agents and Multi-Agent Systems, 28(4), str. 558-604. Springer, 2014. Published online: 31 August 2013. DOI 10.1007/s10458-013-9232-2. Online ISSN 1573-7454. Print ISSN 1387-2532.

Rok 2013

• Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. Materiały konferencji: the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013). Tom 8291, LNAI, str. 355-371. Springer-Verlag, 2013.
• Bożena Woźna-Szcześniak, Andrzej Zbrzezny. Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking (Extended Abstract). Materiały konferencji: the 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013). CEUR Workshop Proceedings, tom 1032, str. 469-477. Warszawa, Polska, 25-27 Wrzesień 2013. ISBN 978-83-62582-42-6.
• Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SAT-based Bounded Model Checking for Metric Temporal Logic and Simply-timed systems. XX Systemy Czasu Rzeczywistego (SCR 2013). Rozdział 14 w monografii naukowej (anglojęzycznej): Designe, development and implementation of real time systems. str.181-190. Zeszyty Rady Naukowej Polskiego Towarzystwa Naukowego. Warszawa, 2013.
• Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SAT-based Bounded Model Checking for RTECTL and Simply-timed systems. Materiały międzynarodowych warsztatów: 10th European Workshop on Performance Engineering (EPEW 2013). LNCS, tom 8168, str. 337-349. Springer-Verlag, 2013.
• Bożena Woźna-Szcześniak. SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems. Materiały konferencji: 16th Portuguese Conference on Artificial Intelligence (EPIA'2013). LNAI, tom 8154, str. 444-455. Springer-Verlag, 2013. (Web of Science)
• Artur Męski, Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. Anglojęzyczna monografia naukowa: Distributed Computing and Artificial Intelligence. The 10th International Conference. (DCAI 2013). Seria: Advances in Intelligent and Soft-Computing, Tom 217, str. 483-492. Springer, 2013.
• Bożena Woźna-Szcześniak, Andrzej Zbrzezny. SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. Materiały powarsztatowe: Declarative Agent Languages and Technologies X. The 10th International Workshop, (DALT 2012), Revised Selected and Invited Papers. LNAI, tom 7784, str. 170-189, Springer-Verlag, 2013.
• Bożena Woźna-Szcześniak, Andrzej Zbrzezny. A translation of the existential model checking problem from MITL to HLTL. Fundamenta Informaticae, 122(4), str. 401-420, 2013.

Rok 2012

• Wojciech Penczek, Bożena Woźna-Szcześniak i Andrzej Zbrzezny. Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. Fundamenta Informaticae 119(3-4), str. 373-392, 2012.
• Bożena Woźna-Szcześniak i Andrzej Zbrzezny. SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. Materiały międzynarodowych warsztatów: the 10th International Workshop on Declarative Agent Languages and Technologies (DALT 2012 ), str. 83-98. Walencja, Hiszpania, Czerwiec 2012.
• Bożena Woźna-Szcześniak i Andrzej Zbrzezny. SAT-based Bounded Model Checking for Deontic Interleaved Interpreted Systems. Materiały konferencji: the 1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS) oraz ( KES-AMSTA 2012 ). LNAI, tom 7327, str. 494-503, Springer-Verlag. Dubrownik, Chorwacja, 25-27 Czerwiec 2012.
• Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak i Andrzej Zbrzezny. Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. Materiały konferencji: the 1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS) oraz ( KES-AMSTA 2012 ). LNAI, tom 7327, str. 514-523, Springer-Verlag. Dubrownik, Chorwacja, 25-27 Czerwiec 2012.
• Bożena Woźna-Szcześniak. Bounded model checking for the existential part of Real-Time CTL and knowledge. In post-conference proceedings of CEE-SET'2009: Advances in Software Engineering Techniques. LNCS, tom 7054, str. 164-178, Springer-Verlag, 2012. (Web of Science)
• Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny. Bounded Model Checking for Knowledge and Linear Time. Materiały konferencji: the 11th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2012), str. 1447-1448. Walencja, Hiszpania. IFAAMAS Press. 2012.

Rok 2011

• Bożena Woźna-Szcześniak, Agnieszka Zbrzezny i Andrzej Zbrzezny. Verifying RTECTL properties of a train controller system. Prace Naukowe AJD w Częstochowie, Matematyka XVI, str. 153-162, 2011.
• Wojciech Penczek, Bożena Woźna-Szcześniak i Andrzej Zbrzezny. Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. Materiały konferencji: Concurrency, Specification and Programming (CS&P'11), str. 565-576. Opublikowane przez Politechnikę Białostocką. Pułtusk, Polska, 28-30 Wrzesień 2011.
• Bożena Woźna-Szcześniak, Agnieszka Zbrzezny i Andrzej Zbrzezny. The BMC method for the existential part of RTCTLK and interleaved interpreted systems. Materiały konferencji: 15th Portuguese Conference on Artificial Intelligence (EPIA'2011). LNAI, tom 7026, str. 551–565. Springer-Verlag, 2011.
• Artur Męski, Wojciech Penczek, Agata Półrola, Bożena Woźna-Szcześniak i Andrzej Zbrzezny. Bounded Model Checking approaches for verification of Distributed Time Petri Nets. Materiały międzynarodowych warsztatów: Petri Nets and Software Engineering, tom 723, str. 72-91, Newcastle upon Tyne, UK. Uniwersytet Hamburgski, 20-21 Czerwiec, 2011.

Rok 2010

• Bożena Woźna-Szcześniak i Andrzej Zbrzezny. SAT-based searching for k-quasi-optimal runs in weighted timed automata. Prace Naukowe AJD w Częstochowie, Matematyka XV, str. 149-162, 2010.
• Bożena Woźna-Szcześniak i Andrzej Zbrzezny. A translation of the existential model checking problem from MITL to X-LTL. Materiały konferencji: Concurrency, Specification and Programming (CS&P'10). Helenenau, Niemcy, 27-29 Wrzesień 2010.
• 
• Bożena Woźna-Szcześniak i Radosław Klimek. Logiki temporalne i logiki czasu rzeczywistego Rozdział 4 książki: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego. Str. 64-113, WNT 2010. ISBN 978-83-204-3669-3.
• Bożena Woźna-Szcześniak i Marcin Szpyrka. Automaty czasowe. Rozdział 5 książki: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego. Str. 114-128, WNT 2010. ISBN 978-83-204-3669-3
• Bożena Woźna-Szcześniak i Agata Półrola. Weryfikacja modelowa. Rozdział 14 książki: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego. Str. 311-373, WNT 2010. ISBN 978-83-204-3669-3

Rok 2009

• Bożena Woźna-Szcześniak i Andrzej Zbrzezny. SAT-based searching for k-quasi-optimal runs in weighted timed automata. Materiały konferencji: Concurrency, Specification and Programming (CS&P'09), tom 2, str. 661-673. Kraków-Przegorzały, Polska, 28-30 Wrzesień 2009.
• Bożena Woźna-Szcześniak. Bounded model checking for the existential part of Real-Time CTL and knowledge. Materiały konferencji: IFIP Central and Eastern European Conference on Software Engineering Techniques (CEE-SET'09). Kraków, Polska, 12-14 Październik 2009.
• Artur Rataj, Bożena Woźna i Andrzej Zbrzezny. A translator of Java programs to TADDs. Fundamenta Informaticae 93(1-3), str. 305-324, 2009. (pdf).
• Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, and Andrzej Zbrzezny. Verics 2008 - a Model Checker for Time Petri Nets and High-Level Languages. Materiały konferencji: International Workshop on Petri Nets and Software Engineering (PNSE'09). str.119-132, University of Hamburg, Department of Informatics. Paryż, Francja, Czerwiec 22-23, 2009.
• Bożena Woźna i Andrzej Zbrzezny. Verification of Java programs using networks of finite automata with discrete data. Scientific Issues: Mathematica III, str. 123-130. Catholic University in Ruzomberok, 2009. (pdf).
• Bożena Woźna i Andrzej Zbrzezny. Model checking of Java programs using networks of FADDs. Prace Naukowe AJD w Częstochowie, Matematyka, XIV, str. 151-164, 2009.

Rok 2008

• Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, and Andrzej Zbrzezny. Verics 2008 - a Model Checker for High-Level Languages. Artificial Intelligence Studies, 2008, tom 5 (28)/2008, str. 131-140.
• Artur Rataj, Bożena Woźna i Andrzej Zbrzezny. A translator of Java programs to TADDs. Materiały konferencji: Concurrency, Specification and Programming (CS&P'08), str. 524-535. Gross Vaeter koło Berlina, Niemcy, 28 Wrzesień - 1 Październik 2008. (pdf).
• Bożena Woźna i Andrzej Zbrzezny. A SAT-based technique to analyse networks of finite automata. Scientific Issues: Mathematica II, str. 89-100. Catholic University in Ruzomberok, 2008. (pdf).
• Bożena Woźna i Andrzej Zbrzezny. Towards verification of Java programs in VerICS. Fundamenta Informaticae 85(1-4), str. 533-548, 2008. (pdf).
• Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, Andrzej Zbrzezny. VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundamenta Informaticae 85(1-4), str. 313-328, 2008. (pdf).

Rok 2007

• Andrzej Zbrzezny, Bożena Woźna, Maciej Orzechowski i Franco Raimondi. Towards verification of Java programs in VerICS. Materiały międzynarodowych warsztatów: Concurrency, Specification and Programming (CS&P'07), str. 580-593. Łagów, Polska, 26-30 Wrzesień 2007.
• Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Polrola, Maciej Szreter, Bożena Woźna i Andrzej Zbrzezny. VerICS 2006 - A Model Checker for Real-Time and Multi-Agent Systems. Materiały międzynarodowych warsztatów: Concurrency, Specification and Programming (CS&P'07), str. 345-356. Łagów, Polska, 26-30 Wrzesień 2007. (pdf).
• Franco Raimondi, J. Skene, W. Emmerich i Bożena Woźna. A Methodology for online monitoring non-functional specification of web-services. Materiały międzynarodowych warsztatów: PROVECS 2007 - TOOLS 2007, str. 50-59. Zurich, Czerwiec 2007. (pdf).
• Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna oraz Andrzej Zbrzezny. VERICS 2006 - WERYFIKATOR DLA SYSTEMÓW CZASOWYCH I WIELOAGENTOWYCH. Materiały Konferencyjne: Systemy Czasu Rzeczywistego 2007. Metody i zastosowania, str. 243-252, Wyd. Komunikacji i Lacznosci. Szczyrk, Polska. Wrzesien, 2007.
• Alessio Lomuscio, Wojciech Penczek i Bożena Woźna. Bounded model checking knowledge and real time. Artificial Intelligence 171, str. 1011-1038. Elsevier, 2007. Osiagalny ze strony: www.elsevier.com/locate/artint (pdf).
• Alessio Lomuscio, Franco Raimondi oraz Bożena Woźna Verification of the TESLA protocol in MCMAS-X. Fundamenta Informaticae 79(3-4), str. 473-486, 2007. (pdf).
• Bożena Woźna oraz Andrzej Zbrzezny. Bounded Model Checking for the Existential Fragment of TCTL_G and Diagonal Timed Automata. Fundamenta Informaticae 79(1-2), str. 229-256, 2007. (pdf).
• Bożena Woźna oraz Alessio Lomuscio. A Temporal Epistemic Logic with a Reset Operation. In Proceedings of the 6th International Joint Conference on Autonomus Agents and Multi Agent Systems (AAMAS'07), str. 562-569. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) Press. Honolulu, Hawai'i. Maj 14-18, 2007. (pdf).
• Alessio Lomuscio, Bożena Woźna oraz Andrzej Zbrzezny. Bounded model checking real-time multi-agent systems with clock differences: theory and implementation. Materiały konferencyjne 4-tych międzynarodowych warsztatów ze sztucznej inteligencji (MoChArt'06), LNAI, tom 4448, str. 96-112. Springer-Verlag, 2007. (pdf). (Web of Science)

Rok 2006

• Maciej Orzechowski, Tomasz Siwiak oraz Bożena Woźna. Towards verification of Java programs in VerICS. Raport IPI PAN, Nr 997. Grudzień 2006.
• Alessio Lomuscio, F.Raimondi oraz Bożena Woźna. Verification of the TESLA protocol in MCMAS-X. Materiały konferencyjne CS&P'06, str. 255-267. Wandlitz (koło Berlina), Niemcy, 27-29 Wrzesień 2006. (pdf).
  Pokaz w formacie BibTex
• Alessio Lomuscio, Bożena Woźna i Andrzej Zbrzezny. Bounded Model Checking real-time multi-agent systems with clock differences: theory and implementation. Materiały konferencyjne MoChArt'06. Sierpień, 2006.
  Raport techniczny nr RN/06/03, Department of Computer Science, University College London. Marzec, 2006. (pdf).
  Pokaz w formacie BibTex
• Alessio Lomuscio i Bożena Woźna.A complete and decidable axiomatisation for deontic interpreted systems. Materiały konferencyjne: 8th International Workshop on Deontic Logic in Computer Science (DEON'06). DEONTIC LOGIC AND ARTIFICIAL NORMATIVE SYSTEMS, PROCEEDINGS. LNCS, tom 4048, str. 238-254. Springer, 2006. (Web of Science)
  Raport techniczny nr RN/06/17, Department of Computer Science, University College London. Czerwiec, 2006. (pdf).
  Pokaz w formacie BibTex
• Bożena Woźna i Alessio Lomuscio. A complete and decidable security-specialised logic and its application to the TESLA protocol. Materiały konferencyjne AAMAS'06. ACM Press, str. 145-152. Hakodate, Japonia, 2006. (pdf).
  Pokaz w formacie BibTex
• Alessio Lomuscio i Bożena Woźna. A combination of explicit and deductive knowledge with branching time: completeness and decidability results. Anglojęzyczna monografia naukowa: Declarative Agent Languages and Technologies (DALT'05). LNCS, tom 3904, str. 188-204. Springer, 2006. (Web of Science)

Rok 2005

• Bożena Woźna i Andrzej Zbrzezny. Bounded Model Checking for the existential fragment of TCTL and Diagonal Timed Automata Raport techniczny nr RN/05/19, Wydzial Informatyczny, University College London. Sierpień 2005. ( pdf).
• Alessio Lomuscio i Bożena Woźna. A combination of explicit and deductive knowledge with branching time: completeness and decidability results. Raport techniczny nr RN/05/18, Wydzial Informatyczny, University College London. Sierpień 2005. (pdf).
• Alessio Lomuscio i Bożena Woźna. A combination of explicit and deductive knowledge with branching time: completeness and decidability results. Materiały Konferencyjne CS&P'05. Ruciane Nida, Polska. Wrzesień 2005.
  Pokaz w formacie BibTex Also, Technical Report RN/05/18, Department of Computer Science, University College London. August, 2005. (pdf).
• Bożena Woźna i Andrzej Zbrzezny. Bounded Model Checking for the existential fragment of TCTL and Diagonal Timed Automata Materiały Konferencyjne CS&P'05. Ruciane Nida, Polska. Wrzesień 2005.
  Pokaz w formacie BibTex
• Alessio Lomuscio, W.Penczek i Bożena Woźna. Bounded Model Checking for Knowledge and Real Time. Materiały Konferencyjne AAMAS'05. ACM Press, str. 165-172. 2005. (pdf).
  Pokaz w formacie BibTex
• Alessio Lomuscio i Bożena Woźna. A Logic for Knowledge, Correctness, and Real Time. Materiały Konferencyjne: 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'04). COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS. Seria LNAI, tom 3487. Springer-Verlag, str. 1-15. 2005. (Web of Science).

Rok 2004

• Bożena Woźna. Bounded Model Checking for the universal fragment of CTL*. Raport Techniczny TR-04-03, Department of Computer Science, King's College London, 2004.
  Pokaz w formacie BibTex
• Bożena Woźna i Andrzej Zbrzezny. Checking ACTL* properties of Discrete Timed Automata via Bounded Model Checking. Materiały Konferencyjne: 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Seria LNCS, tom 2791. Springer-Verlag, 2004. (Web of Science)
• Bożena Woźna i Andrzej Zbrzezny. Checking ACTL* properties of Discrete Timed Automata via Bounded Model Checking. (Revised version of the paper published in Proceedings of the 1st International Workshop on Formal Analysis and Modeling of Timed Systems (FORMATS'03)). Raport Techniczny TR-04-04, Department of Computer Science, King's College London, 2004.
  Pokaz w formacie BibTex
• Alessio Lomuscio, Wojciech Penczek i Bożena Woźna. Bounded Model Checking for Deontic Interpreted Systems. Materiały Konferencyjne LCMAS'04. II Warsztaty: Logika i Komunikacja w Systemach Wieloagentowych. Sierpień, 2004.
  Pokaz w formacie BibTex
• Bożena Woźna. ACTL* properties and Bounded Model Checking. Fundamenta Informaticae 63(1), str. 65-87, 2004.
  Pokaz w formacie BibTex
• Alessio Lomuscio, Wojciech Penczek i Bożena Woźna. Bounded model checking for knowledge over real time. Materiały Konferencyjne CS&P'04. Poczdam, 2004.
  Pokaz w formacie BibTex
• Wojciech Penczek, A. Półrola, Bożena Woźna i Andrzej Zbrzezny. Bounded Model Checking for Reachability Testing in Time Petri Nets. Materiały Konferencyjne CS&P'04. Poczdam, 2004.
  Pokaz w formacie BibTex

Rok 2003

• Piotr Dembiński, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, Andrzej Zbrzezny. VERICS: A Tool for Verifying Timed Automata and Estelle Specifications. Materiały Konferencyjne: Joint European Conference on Theory and Practice of Software (ETAPS 2003). TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS (TACAS). LNCS, tom 2619, str. 278-283, Springer-Verlag, 2003. (Web of Science)
• Bożena Woźna i Andrzej Zbrzezny. Reaching the limits for Bounded Model Checking. Raport IPI PAN, Nr 958, Maj 2003.
  Pokaz w formacie BibTex
• Wojciech Penczek, Bożena Woźna i Andrzej Zbrzezny. Checking Reachability Properties for Timed Automata via SAT. Fundamenta Informaticae 55(2), str. 223-241, 2003.
  Pokaz w formacie BibTex
• Piotr Dembiński, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, Andrzej Zbrzezny. VerICS: weryfikator dla automatów czasowych i specyfikacji zapisanych w jezyku Estelle (VerICS: A Tool for Verifying Timed Automata and Estelle Specifications). Materiały Konferencyjne SCR'03, 2003.
  Pokaz w formacie BibTex
• Bożena Woźna. ACTL* properties and Bounded Model Checking. Materiały Konferencyjne CS&P'03. Tom 2, Warszawa 2003.
  Pokaz w formacie BibTex

Rok 2002

• Wojciech Penczek, Bożena Woźna i Andrzej Zbrzezny. Branching Time Bounded Model Checking for Elementary Net Systems. Raport IPI PAN, Nr 940, Styczen 2002.
  Pokaz w formacie BibTex
• Wojciech Penczek, Bożena Woźna i Andrzej Zbrzezny. Bounded Model Checking for the Universal Fragment of CTL. Fundamenta Informaticae, tom 51, 2002.
  Pokaz w formacie BibTex
• Wojciech Penczek, Bożena Woźna i Andrzej Zbrzezny. Towards Bounded Model Checking for the Universal Fragment of TCTL. Materiały Konferencyjne FTRTFT'02, LNCS, tom 2469, Springer-Verlag, 2002.
  Pokaz w formacie BibTex
• Bożena Woźna. Symboliczne kodowanie sieci współbieżnych automatów czasowych (A symbolic encoding of a network of concurrent Timed Automata). Materiały Konferencyjne SCR'02, 2002.
  Pokaz w formacie BibTex
• Wojciech Penczek, Bożena Woźna i Andrzej Zbrzezny. Reachability for Timed Systems based on SAT-Solvers. Materiały Konferencyjne CS&P'02, tom 2, Berlin 2002.
  Pokaz w formacie BibTex
• Wojciech Penczek, Bożena Woźna i Andrzej Zbrzezny. SAT-Based Bounded Model Checking for the Universal Fragment of TCTL. Raport IPI PAN, Nr 947, Wrzesien 2002.
  Pokaz w formacie BibTex
• Wojciech Penczek, Bożena Woźna i Andrzej Zbrzezny. Checking Reachability Properties for Timed Automata via SAT. Raport IPI PAN, Nr 949, Pazdziernik 2002.
  Pokaz w formacie BibTex

Rok 2001

• Bożena Woźna. Ograniczona Weryfikacja Modelowa dla systemów z czasem. Materiały Konferencyjne SCR, Wyd. AGH, 2001.
  Pokaz w formacie BibTex
• Wojciech Penczek i Bożena Woźna. Towards Bounded Model Checking for Timed Automata. Materiały Konferencyjne CS&P'01, Warszawa, 2001.
  Pokaż w formacie BibTex

Rok 1999

• Bożena Woźna. Algorytmy zachłanne. Prace naukowe WSP w Częstochowie. Matematyka VI. 1999
• Huffman Code. Acta Universitstis Purkynianae 42. Czech - Polish Mathematical School. 1999