Bozena Wozna-Szczesniak

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 28

Top Topics

Formal Verification

Linear Temporal Logic

Top Venues

Fundam. Informaticae

Publications

Mykola Zhyhallo, Bozena Wozna-Szczesniak
Better Spacial Hashing with Linear Memory Usage and Parallelism. ICAART (1) (2024)
Ireneusz Szczesniak, Bozena Wozna-Szczesniak
Generic Dijkstra: correctness and tractability. NOMS (2023)
Ireneusz Szczesniak, Ireneusz Olszewski, Bozena Wozna-Szczesniak
Is dynamic dedicated path protection tractable? CoRR (2023)
Yuriy Povstenko, Tamara Kyrylych, Bozena Wozna-Szczesniak, Renata Kawa, Andrzej Yatsko
An External Circular Crack in an Infinite Solid under Axisymmetric Heat Flux Loading in the Framework of Fractional Thermoelasticity. Entropy 24 (1) (2022)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak
SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. ICAART (1) (2022)
Ireneusz Szczesniak, Bozena Wozna-Szczesniak
Generic Dijkstra: correctness and tractability. CoRR (2022)
Ireneusz Szczesniak, Ireneusz Olszewski, Bozena Wozna-Szczesniak
Towards an Efficient and Exact Algorithm for Dynamic Dedicated Path Protection. Entropy 23 (9) (2021)
Ireneusz Szczesniak, Andrzej Jajszczyk, Bozena Wozna-Szczesniak
Generic Dijkstra for optical networks. JOCN 11 (11) (2019)
Ireneusz Szczesniak, Ireneusz Olszewski, Bozena Wozna-Szczesniak
The efficient and optimal algorithm for the dynamic dedicated path protection. CoRR (2019)
Ireneusz Szczesniak, Piotr Cholda, Andrzej R. Pach, Bozena Wozna-Szczesniak
Interoperator fixed-mobile network sharing. CoRR (2019)
Ireneusz Szczesniak, Bozena Wozna-Szczesniak
Adapted and constrained Dijkstra for elastic optical networks. CoRR (2019)
Bozena Wozna-Szczesniak, Ireneusz Szczesniak
Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems. DCAI (2018)
Ireneusz Szczesniak, Andrzej Jajszczyk, Bozena Wozna-Szczesniak
Generic Dijkstra for Optical Networks. CoRR (2018)
Artur Rataj, Bozena Wozna-Szczesniak
Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking. Fundam. Informaticae 157 (4) (2018)
Ireneusz Szczesniak, Andrzej R. Pach, Bozena Wozna-Szczesniak
Performance of interoperator fixed-mobile network sharing. ONDM (2017)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak
Modeling and checking robustness of communicating autonomous vehicles. DCAI (2017)
Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata. Fundam. Informaticae 152 (4) (2017)
Bozena Wozna-Szczesniak
SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems. Fundam. Informaticae 143 (1-2) (2016)
Ireneusz Szczesniak, Bozena Wozna-Szczesniak
Adapted and constrained Dijkstra for elastic optical networks. ONDM (2016)
Marcin Copik, Artur Rataj, Bozena Wozna-Szczesniak
A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract). CS&P (2016)
Ireneusz Szczesniak, Andrzej R. Pach, Bozena Wozna-Szczesniak
Performance of Interoperator Fixed-Mobile Network Sharing. CoRR (2016)
Artur Rataj, Bozena Wozna-Szczesniak
Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking. CS&P (2016)
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking. Stud Logica 104 (4) (2016)
Ireneusz Szczesniak, Artur Gola, Andrzej Jajszczyk, Andrzej R. Pach, Bozena Wozna-Szczesniak
Itinerant routing in elastic optical networks. CoRR (2016)
Agnieszka M. Zbrzezny, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL. AAMAS (2015)
Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata. CS&P (2015)
Agnieszka M. Zbrzezny, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
SMT-Based Bounded Model Checking for Weighted Epistemic ECTL. EPIA (2015)
Ireneusz Szczesniak, Piotr Cholda, Andrzej R. Pach, Bozena Wozna-Szczesniak
Interoperator fixed-mobile network sharing. ONDM (2015)
Bozena Wozna-Szczesniak
SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract). CS&P (2014)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. Auton. Agents Multi Agent Syst. 28 (4) (2014)
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking. Fundam. Informaticae 135 (4) (2014)
Bozena Wozna-Szczesniak
Checking EMTLK properties of timed interpreted systems via bounded model checking. AAMAS (2014)
Bozena Wozna-Szczesniak, Ireneusz Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. PRIMA (2014)
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking. CS&P (2013)
Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. PRIMA (2013)
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
A Translation of the Existential Model Checking Problem from MITL to HLTL. Fundam. Informaticae 122 (4) (2013)
Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. DCAI (2013)
Bozena Wozna-Szczesniak
SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems. EPIA (2013)
Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. EPEW (2013)
Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. Fundam. Informaticae 119 (3-4) (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. KES-AMSTA (2012)
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. DALT (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Bounded model checking for knowledge and linear time. AAMAS (2012)
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems. KES-AMSTA (2012)
Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. EPIA (2011)
Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. PNSE (2011)
Bozena Wozna-Szczesniak
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge. CEE-SET (2009)