| 2024 | ICAART | Better Spacial Hashing with Linear Memory Usage and Parallelism. | Mykola Zhyhallo, Bozena Wozna-Szczesniak |
| 2023 | NOMS | Generic Dijkstra: correctness and tractability. | Ireneusz Szczesniak, Bozena Wozna-Szczesniak |
| 2022 | ICAART | SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. | Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak |
| 2018 | DCAI | Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems. | Bozena Wozna-Szczesniak, Ireneusz Szczesniak |
| 2017 | DCAI | Modeling and checking robustness of communicating autonomous vehicles. | Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak |
| 2015 | EPIA | SMT-Based Bounded Model Checking for Weighted Epistemic ECTL. | Agnieszka M. Zbrzezny, Bozena Wozna-Szczesniak, Andrzej Zbrzezny |
| 2014 | PRIMA | Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. | Bozena Wozna-Szczesniak, Ireneusz Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2013 | DCAI | Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. | Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2013 | EPIA | SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems. | Bozena Wozna-Szczesniak |
| 2013 | PRIMA | SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. | Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2012 | AAMAS | Bounded model checking for knowledge and linear time. | Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny |
| 2011 | EPIA | The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. | Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |