Bozena Wozna-Szczesniak
Bozena Wozna-Szczesniak
Instytut Matematyki i Informatyki, Jan Dlugosz University in Czestochowa
Geverifieerd e-mailadres voor ajd.czest.pl - Homepage
TitelGeciteerd doorJaar
Bounded model checking for the universal fragment of CTL
W Penczek, B Woźna, A Zbrzezny
Fundamenta Informaticae 51 (1-2), 135-156, 2002
1262002
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
1032008
√ 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
832003
Checking reachability properties for timed automata via SAT
B Woźna, A Zbrzezny, W Penczek
Fundamenta Informaticae 55 (2), 223-241, 2003
632003
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
582002
Bounded model checking for knowledge and real time
A Lomuscio, W Penczek, B Woźna
Artificial Intelligence 171 (16-17), 1011-1038, 2007
502007
ACTLS properties and bounded model checking
B Woźna
Fundamenta Informaticae 63 (1), 65-87, 2004
372004
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
362014
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
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
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
242006
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
SAT-based bounded model checking for weighted deontic interpreted systems
B Woźna-Szcześniak
Fundamenta Informaticae 143 (1-2), 173-205, 2016
192016
Verification of the TESLA protocol in MCMAS-X
A Lomuscio, F Raimondi, B Woźna
Fundamenta Informaticae 79 (3-4), 473-486, 2007
192007
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
182007
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
162011
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
142012
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20