Bozena Wozna-Szczesniak

Bozena Wozna-Szczesniak

Jan Dlugosz University in Czestochowa - Czestochowa / Poland
Others
AD Scientific Index ID: 4991494
Jan Dlugosz University of Czestochowa
person_outline Bozena Wozna-Szczesniak's MOST POPULAR ARTICLES
1-) Bounded model checking for the universal fragment of CTL W Penczek, B Woźna, A Zbrzezny Fundamenta Informaticae 51 (1-2), 135-156, 2002 1452002
2-) 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 1242008
3-) √ erics: a tool for verifying timed automata and estelle specificationsP Dembiński, A Janowska, P Janowski, W Penczek, A Półrola, M Szreter, ...International Conference on Tools and Algorithms for the Construction and …, 2003902003
4-) Checking reachability properties for timed automata via SATB Woźna, A Zbrzezny, W PenczekFundamenta Informaticae 55 (2), 223-241, 2003692003
5-) Towards bounded model checking for the universal fragment of TCTLW Penczek, B Woźna, A ZbrzeznyInternational Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002612002