Follow
Bozena Wozna-Szczesniak
Bozena Wozna-Szczesniak
Instytut Matematyki i Informatyki, Jan Dlugosz University in Czestochowa
Verified email at ajd.czest.pl - Homepage
Title
Cited by
Cited by
Year
Bounded model checking for the universal fragment of CTL
W Penczek, B Woźna, A Zbrzezny
Fundamenta Informaticae 51 (1-2), 135-156, 2002
1442002
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
1272008
√ 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
912003
Checking reachability properties for timed automata via SAT
B Woźna, A Zbrzezny, W Penczek
Fundamenta Informaticae 55 (2), 223-241, 2003
692003
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
612002
Bounded model checking for knowledge and real time
A Lomuscio, W Penczek, B Woźna
Artificial Intelligence 171 (16-17), 1011-1038, 2007
532007
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
452014
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
392019
ACTLS properties and bounded model checking
B Woźna
Fundamenta Informaticae 63 (1), 65-87, 2004
342004
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
302005
Bounded model checking for deontic interpreted systems
B Woźna, A Lomuscio, W Penczek
Electronic Notes in Theoretical Computer Science 126, 93-114, 2005
302005
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
292006
SAT-based bounded model checking for weighted deontic interpreted systems
B Woźna-Szcześniak
Fundamenta Informaticae 143 (1-2), 173-205, 2016
242016
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
232004
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
222007
Verification of the TESLA protocol in MCMAS-X
A Lomuscio, F Raimondi, B Woźna
Fundamenta Informaticae 79 (3-4), 473-486, 2007
212007
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
172012
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
17
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
152011
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
132016
The system can't perform the operation now. Try again later.
Articles 1–20