Bozena Wozna-Szczesniak
Bozena Wozna-Szczesniak
Instytut Matematyki i Informatyki, Jan Dlugosz University in Czestochowa
Verified email at ajd.czest.pl - Homepage
TitleCited byYear
Bounded model checking for the universal fragment of CTL
W Penczek, B Woźna, A Zbrzezny
Fundamenta Informaticae 51 (1-2), 135-156, 2002
1182002
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
1022008
√ 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
762003
Checking reachability properties for timed automata via SAT
B Woźna, A Zbrzezny, W Penczek
Fundamenta Informaticae 55 (2), 223-241, 2003
592003
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
592002
Bounded model checking for knowledge and real time
A Lomuscio, W Penczek, B Wozna
Artificial Intelligence 171 (16), 1011-1038, 2007
512007
ACTLS properties and bounded model checking
B Woźna
Fundamenta Informaticae 63 (1), 65-87, 2004
362004
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
322005
Bounded model checking for deontic interpreted systems
B Woźna, A Lomuscio, W Penczek
Electronic Notes in Theoretical Computer Science 126, 93-114, 2005
322005
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 (4), 558-604, 2014
302014
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
232006
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
212004
Verification of the TESLA protocol in MCMAS-X
A Lomuscio, F Raimondi, B Woźna
Fundamenta Informaticae 79 (3-4), 473-486, 2007
172007
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
162007
SAT-based bounded model checking for weighted deontic interpreted systems
B Woźna-Szcześniak
Portuguese Conference on Artificial Intelligence, 444-455, 2013
152013
The BMC method for the existential part of RTCTLK and interleaved interpreted systems
B Woźna-Szcześniak, A Zbrzezny, A Zbrzezny
Portuguese Conference on Artificial Intelligence, 551-565, 2011
142011
SAT-based bounded model checking for weighted interpreted systems and weighted linear temporal logic
B Woźna-Szcześniak, AM Zbrzezny, A Zbrzezny
International Conference on Principles and Practice of Multi-Agent Systemsá…, 2013
132013
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
132012
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
13
A complete and decidable axiomatisation for deontic interpreted systems
A Lomuscio, B Woźna
International Workshop on Deontic Logic and Artificial Normative Systemsá…, 2006
122006
The system can't perform the operation now. Try again later.
Articles 1–20