Bozena Wozna-Szczesniak

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