Bozena Wozna-Szczesniak
Bozena Wozna-Szczesniak
Instytut Matematyki i Informatyki, Jan Dlugosz University in Czestochowa
Verified email at - Homepage
Cited by
Cited by
Bounded model checking for the universal fragment of CTL
W Penczek, B Woźna, A Zbrzezny
Fundamenta Informaticae 51 (1-2), 135-156, 2002
Verics 2007-a model checker for knowledge and real-time
M Kacprzak, W Nabiałek, A Niewiadomski, W Penczek, A Pˇłrola, ...
Fundamenta Informaticae 85 (1-4), 313-328, 2008
√ erics: a tool for verifying timed automata and estelle specifications
P Dembiński, A Janowska, P Janowski, W Penczek, A Pˇłrola, M Szreter, ...
International Conference on Tools and Algorithms for the Construction andá…, 2003
Checking reachability properties for timed automata via SAT
B Woźna, A Zbrzezny, W Penczek
Fundamenta Informaticae 55 (2), 223-241, 2003
Towards bounded model checking for the universal fragment of TCTL
W Penczek, B Woźna, A Zbrzezny
International Symposium on Formal Techniques in Real-Time and Fault-Tolerantá…, 2002
Bounded model checking for knowledge and real time
A Lomuscio, W Penczek, B Woźna
Artificial Intelligence 171 (16-17), 1011-1038, 2007
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
A Mȩski, W Penczek, M Szreter, B Woźna-Szcześniak, A Zbrzezny
Autonomous Agents and Multi-Agent Systems 28, 558-604, 2014
Generic Dijkstra for optical networks
I Szcześniak, A Jajszczyk, B Woźna-Szcześniak
Journal of Optical Communications and Networking 11 (11), 568-577, 2019
ACTLS properties and bounded model checking
B Woźna
Fundamenta Informaticae 63 (1), 65-87, 2004
Bounded model checking for knowledge and real time
B Woźna, A Lomuscio, W Penczek
Proceedings of the fourth international joint conference on Autonomousá…, 2005
Bounded model checking for deontic interpreted systems
B Woźna, A Lomuscio, W Penczek
Electronic Notes in Theoretical Computer Science 126, 93-114, 2005
A complete and decidable security-specialised logic and its application to the TESLA protocol
A Lomuscio, B Woźna
Proceedings of the fifth international joint conference on Autonomous agentsá…, 2006
SAT-based bounded model checking for weighted deontic interpreted systems
B Woźna-Szcześniak
Fundamenta Informaticae 143 (1-2), 173-205, 2016
A logic for knowledge, correctness, and real time
B Woźna, A Lomuscio
International Workshop on Computational Logic in Multi-Agent Systems, 1-15, 2004
A methodology for on-line monitoring non-functional specifications of web-services
F Raimondi, J Skene, W Emmerich, B Wozna
Proc. of the First International Workshop on Property Verification forá…, 2007
Verification of the TESLA protocol in MCMAS-X
A Lomuscio, F Raimondi, B Woźna
Fundamenta Informaticae 79 (3-4), 473-486, 2007
Towards SAT-based BMC for LTLK over interleaved interpreted systems
W Penczek, B Woźna-Szcześniak, A Zbrzezny
Fundamenta Informaticae 119 (3-4), 373-392, 2012
Reachability for timed systems based on SAT-solvers
B Wozna, W Penczek, A Zbrzezny
Proc. of the Int. Workshop on Concurrency, Specification and Programming (CSá…, 0
The BMC method for the existential part of RTCTLK and interleaved interpreted systems
B Woźna-Szcześniak, A Zbrzezny, A Zbrzezny
Progress in Artificial Intelligence: 15th Portuguese Conference oná…, 2011
Checking EMTLK properties of timed interpreted systems via bounded model checking
B Woźna-Szcześniak, A Zbrzezny
Studia Logica 104 (4), 641-678, 2016
The system can't perform the operation now. Try again later.
Articles 1–20