Towards Bounded Model Checking for the Universal Fragment of TCTL. - Wojciech Penczek; Bozena Wozna; Andrzej Zbrzezny (FTRTFT, 2002)

Bounded Model Checking for the Universal Fragment of CTL. - Wojciech Penczek; Bozena Wozna; Andrzej Zbrzezny (Fundam. Informaticae, 2002)

Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. - Bozena Wozna; Andrzej Zbrzezny (FORMATS, 2003)

Verics: A Tool for Verifying Timed Automata and Estelle Specifications. - Piotr Dembinski; Agata Janowska; Pawel Janowski; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Bozena Wozna; Andrzej Zbrzezny (TACAS, 2003)

Checking Reachability Properties for Timed Automata via SAT. - Bozena Wozna; Andrzej Zbrzezny; Wojciech Penczek (Fundam. Informaticae, 2003)

A Logic for Knowledge, Correctness, and Real Time. - Bozena Wozna; Alessio Lomuscio (CLIMA, 2004)

Bounded Model Checking for Deontic Interpreted Systems. - Bozena Wozna; Alessio Lomuscio; Wojciech Penczek (LCMAS, 2004)

ACTLS properties and Bounded Model Checking. - Bozena Wozna (Fundam. Informaticae, 2004)

A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. - Alessio Lomuscio; Bozena Wozna (DALT, 2005)

A complete and decidable security-specialised logic and its application to the TESLA protocol. - Alessio Lomuscio; Bozena Wozna (AAMAS, 2006)

A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. - Alessio Lomuscio; Bozena Wozna (DEON, 2006)

Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. - Alessio Lomuscio; Bozena Wozna; Andrzej Zbrzezny (MoChArt, 2006)

A temporal epistemic logic with a reset operation. - Alessio Lomuscio; Bozena Wozna (AAMAS, 2007)

Bounded model checking for knowledge and real time. - Alessio Lomuscio; Wojciech Penczek; Bozena Wozna (Artif. Intell., 2007)

Verification of the TESLA protocol in MCMAS-X. - Alessio Lomuscio; Franco Raimondi; Bozena Wozna (Fundam. Informaticae, 2007)

Bounded Model Checking for the Existential Fragment of TCTL-G and Diagonal Timed Automata. - Bozena Wozna; Andrzej Zbrzezny (Fundam. Informaticae, 2007)

VerICS 2007 - a Model Checker for Knowledge and Real-Time. - Magdalena Kacprzak; Wojciech Nabialek; Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Bozena Wozna; Andrzej Zbrzezny (Fundam. Informaticae, 2008)

Towards Verification of Java Programs in perICS. - Andrzej Zbrzezny; Bozena Wozna (Fundam. Informaticae, 2008)

Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge. - Bozena Wozna-Szczesniak (CEE-SET, 2009)

A Translator of Java Programs to TADDs. - Artur Rataj; Bozena Wozna; Andrzej Zbrzezny (Fundam. Informaticae, 2009)

Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. - Artur Meski; Agata Pólrola; Wojciech Penczek; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (PNSE, 2011)

The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. - Bozena Wozna-Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (EPIA, 2011)

Bounded model checking for knowledge and linear time. - Artur Meski; Wojciech Penczek; Maciej Szreter; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (AAMAS, 2012)

SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. - Bozena Wozna-Szczesniak; Andrzej Zbrzezny (DALT, 2012)

Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. - Artur Meski; Wojciech Penczek; Maciej Szreter; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (KES-AMSTA, 2012)

SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems. - Bozena Wozna-Szczesniak; Andrzej Zbrzezny (KES-AMSTA, 2012)

Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. - Wojciech Penczek; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (Fundam. Informaticae, 2012)

Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. - Artur Meski; Bozena Wozna-Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (DCAI, 2013)

SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. - Bozena Wozna-Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (EPEW, 2013)

SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. - Bozena Wozna-Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (PRIMA, 2013)

A Translation of the Existential Model Checking Problem from MITL to HLTL. - Bozena Wozna-Szczesniak; Andrzej Zbrzezny (Fundam. Informaticae, 2013)

Checking EMTLK properties of timed interpreted systems via bounded model checking. - Bozena Wozna-Szczesniak (AAMAS, 2014)

SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract). - Bozena Wozna-Szczesniak (CS&P, 2014)

Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. - Bozena Wozna-Szczesniak; Ireneusz Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (PRIMA, 2014)

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. - Artur Meski; Wojciech Penczek; Maciej Szreter; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (Auton. Agents Multi Agent Syst., 2014)

Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking. - Bozena Wozna-Szczesniak; Andrzej Zbrzezny (Fundam. Informaticae, 2014)

SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL. - Agnieszka M. Zbrzezny; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (AAMAS, 2015)

SMT-Based Bounded Model Checking for Weighted Epistemic ECTL. - Agnieszka M. Zbrzezny; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (EPIA, 2015)

Interoperator fixed-mobile network sharing. - Ireneusz Szczesniak; Piotr Cholda; Andrzej R. Pach; Bozena Wozna-Szczesniak (ONDM, 2015)

A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract). - Marcin Copik; Artur Rataj; Bozena Wozna-Szczesniak (CS&P, 2016)

Adapted and constrained Dijkstra for elastic optical networks. - Ireneusz Szczesniak; Bozena Wozna-Szczesniak (ONDM, 2016)

Itinerant routing in elastic optical networks. - Ireneusz Szczesniak; Artur Gola; Andrzej Jajszczyk; Andrzej R. Pach; Bozena Wozna-Szczesniak (CoRR, 2016)

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems. - Bozena Wozna-Szczesniak (Fundam. Informaticae, 2016)

Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking. - Bozena Wozna-Szczesniak; Andrzej Zbrzezny (Stud Logica, 2016)

Modeling and checking robustness of communicating autonomous vehicles. - Johan Arcile; Raymond Devillers; Hanna Klaudel; Witold Klaudel; Bozena Wozna-Szczesniak (DCAI, 2017)

Performance of interoperator fixed-mobile network sharing. - Ireneusz Szczesniak; Andrzej R. Pach; Bozena Wozna-Szczesniak (ONDM, 2017)

SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata. - Bozena Wozna-Szczesniak; Agnieszka M. Zbrzezny; Andrzej Zbrzezny (Fundam. Informaticae, 2017)

Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems. - Bozena Wozna-Szczesniak; Ireneusz Szczesniak (DCAI, 2018)

Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking. - Artur Rataj; Bozena Wozna-Szczesniak (Fundam. Informaticae, 2018)

The efficient and optimal algorithm for the dynamic dedicated path protection. - Ireneusz Szczesniak; Ireneusz Olszewski; Bozena Wozna-Szczesniak (CoRR, 2019)

Generic Dijkstra for optical networks. - Ireneusz Szczesniak; Andrzej Jajszczyk; Bozena Wozna-Szczesniak (JOCN, 2019)

Towards an Efficient and Exact Algorithm for Dynamic Dedicated Path Protection. - Ireneusz Szczesniak; Ireneusz Olszewski; Bozena Wozna-Szczesniak (Entropy, 2021)

SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny; Bozena Wozna-Szczesniak (ICAART (1), 2022)

An External Circular Crack in an Infinite Solid under Axisymmetric Heat Flux Loading in the Framework of Fractional Thermoelasticity. - Yuriy Povstenko; Tamara Kyrylych; Bozena Wozna-Szczesniak; Renata Kawa; Andrzej Yatsko (Entropy, 2022)

Generic Dijkstra: correctness and tractability. - Ireneusz Szczesniak; Bozena Wozna-Szczesniak (NOMS, 2023)

Is dynamic dedicated path protection tractable? - Ireneusz Szczesniak; Ireneusz Olszewski; Bozena Wozna-Szczesniak (CoRR, 2023)

Better Spacial Hashing with Linear Memory Usage and Parallelism. - Mykola Zhyhallo; Bozena Wozna-Szczesniak (ICAART (1), 2024)