| Bounded model checking for the universal fragment of CTL W Penczek, B Woźna, A Zbrzezny Fundamenta Informaticae 51 (1-2), 135-156, 2002 | 143 | 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 | 126 | 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 | 91 | 2003 |
| Checking reachability properties for timed automata via SAT B Woźna, A Zbrzezny, W Penczek Fundamenta Informaticae 55 (2), 223-241, 2003 | 68 | 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 | 61 | 2002 |
| Bounded model checking for knowledge and real time A Lomuscio, W Penczek, B Woźna Artificial Intelligence 171 (16-17), 1011-1038, 2007 | 53 | 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 | 43 | 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 | 36 | 2019 |
| ACTLS properties and bounded model checking B Woźna Fundamenta Informaticae 63 (1), 65-87, 2004 | 34 | 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 | 30 | 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 | 30 | 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 | 29 | 2006 |
| SAT-based bounded model checking for weighted deontic interpreted systems B Woźna-Szcześniak Fundamenta Informaticae 143 (1-2), 173-205, 2016 | 23 | 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 | 23 | 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 | 22 | 2007 |
| Verification of the TESLA protocol in MCMAS-X A Lomuscio, F Raimondi, B Woźna Fundamenta Informaticae 79 (3-4), 473-486, 2007 | 20 | 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 | 17 | 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 | 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 | 15 | 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 | 13 | 2016 |
