Bozena Wozna-Szczesniak
Bozena Wozna-Szczesniak
Instytut Matematyki i Informatyki, Jan Dlugosz University in Czestochowa
Adresse e-mail validée de ajd.czest.pl - Page d'accueil
Titre
Citée par
Citée par
Année
Bounded model checking for the universal fragment of CTL
W Penczek, B Woźna, A Zbrzezny
Fundamenta Informaticae 51 (1-2), 135-156, 2002
1372002
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
1142008
√ 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
862003
Checking reachability properties for timed automata via SAT
B Woźna, A Zbrzezny, W Penczek
Fundamenta Informaticae 55 (2), 223-241, 2003
662003
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 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 (4), 558-604, 2014
392014
ACTLS properties and bounded model checking
B Woźna
Fundamenta Informaticae 63 (1), 65-87, 2004
342004
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
252006
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
222004
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
202007
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
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
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
14
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
132019
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20