Publications

|  DBLP | Google Scholar  |

Year 2023 Rok 2023 Year 2022 Year 2021 Year 2019 Year 2018 Year 2017 Year 2016 Year 2015 Year 2014 Year 2013
  • Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. In Proceedings of the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013). Volume 8291 of LNAI, pp. 355-371. Springer-Verlag, 2013.
  • Bożena Woźna-Szcześniak, Andrzej Zbrzezny. Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking (Extended Abstract). In Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013). Volume 1032 of the CEUR Workshop Proceedings, pp. 469-477. Warsaw, Poland, 25-27 September 2013. ISBN 978-83-62582-42-6.
  • Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SAT-based Bounded Model Checking for Metric Temporal Logic and Simply-timed systems. XX Real Time Systems (SCR 2013). Chapter 14 in scientific monograph: Designe, development and implementation of real time systems. Pp.181-190. Scientific papers of the Scientific Council of the Polish Information Processing Society. Warsaw, 2013.
  • Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SAT-based Bounded Model Checking for RTECTL and Simply-timed systems. 10th European Workshop on Performance Engineering (EPEW 2013). Volume 8168 of LNCS, pp. 337-349. Springer-Verlag, 2013.
  • Bożena Woźna-Szcześniak. SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems. In Proceedings of 16th Portuguese Conference on Artificial Intelligence (EPIA'2013). Vol. 8154 of LNAI, pp. 444-455. Springer-Verlag, 2013.
  • Artur Męski, Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. In Proceedings of the 10th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2013). Advances in Intelligent and Soft-Computing series. Volume 217, pp. 483-492. Springer, 2013.
  • Bożena Woźna-Szcześniak, Andrzej Zbrzezny. SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. In Post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies (DALT 2012). Volume 7784 of LNAI, pp. 170–189, Springer-Verlag, 2013. The online version of the article can be accessed at the following link: http://www.springerlink.com/content/978-3-642-37889-8/.
  • Bożena Woźna-Szcześniak, Andrzej Zbrzezny. A translation of the existential model checking problem from MITL to HLTL. Fundamenta Informaticae 122(4), pp. 401-420, 2013.
    • Year 2012
  • Wojciech Penczek, Bożena Woźna-Szcześniak and Andrzej Zbrzezny. Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. Fundamenta Informaticae 119(3-4), pp. 373-392, 2012.
  • Bożena Woźna-Szcześniak and Andrzej Zbrzezny. SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. The Proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies (DALT 2012 ), pp. 83-98. Edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos. Valencia, Spain, June 4th, 2012.
  • Bożena Woźna-Szcześniak and Andrzej Zbrzezny. SAT-based Bounded Model Checking for Deontic Interleaved Interpreted Systems. The Proceedings of the 1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS) and ( KES-AMSTA 2012 ). Vol. 7327 of LNAI, pp. 494-503, Springer-Verlag. Dubrovnik, Croatia, 25-27 June 2012.
  • Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak and Andrzej Zbrzezny. Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. The Proceedings of the 1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS) oraz ( KES-AMSTA 2012 ). Vol. 7327 of LNAI, pp. 514-523, Springer-Verlag. Dubrovnik, Croatia, 25-27 June 2012.
  • Bożena Woźna-Szcześniak. Bounded model checking for the existential part of Real-Time CTL and knowledge. In post-conference proceedings of CEE-SET'2009: Advances in Software Engineering Techniques. Vol. 7054 of LNCS, pp. 164-178, Springer-Verlag, 2011.
  • Artur Meski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny. Bounded Model Checking for Knowledge and Linear Time. The Proceedings of the 11th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2012), pp. 1447-1448, Valencia, Spain. IFAAMAS Press. 2012.
    • Year 2011
  • Bożena Woźna-Szcześniak, Agnieszka Zbrzezny and Andrzej Zbrzezny. Verifying RTECTL properties of a train controller system. Scientific Issues of Jan Długosz University in Czestochowa: Mathematica XVI, pp. 153-162, 2011.
  • Wojciech Penczek, Bożena Woźna-Szcześniak and Andrzej Zbrzezny. Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'11), pp. 565-576. Published by Białystok University of Technology. Pułtusk, Poland, 28-30 September 2011.
  • Bożena Woźna-Szcześniak, Agnieszka Zbrzezny and Andrzej Zbrzezny. The BMC method for the existential part of RTCTLK and interleaved interpreted systems. In Proceedings of 15th Portuguese Conference on Artificial Intelligence (EPIA'2011). Vol. 7026 of LNAI, pp. 551–565. Springer-Verlag, 2011.
  • Artur Męski, Wojciech Penczek, Agata Półrola, Bożena Woźna-Szcześniak and Andrzej Zbrzezny. Bounded Model Checking approaches for verification of Distributed Time Petri Nets. In Proceedings of the International Workshop on Petri Nets and Software Engineering, vol. 723, pp. 72-91, Newcastle upon Tyne, UK. University of Hamburg, June 20-21, 2011.
    • Year 2010
  • Bożena Woźna-Szcześniak and Andrzej Zbrzezny. SAT-based searching for k-quasi-optimal runs in weighted timed automata. Scientific Issues of Jan Długosz University in Czestochowa: Mathematica XV, pp. 149-162, 2010.
  • Bożena Woźna-Szcześniak and Andrzej Zbrzezny. A translation of the existential model checking problem from MITL to X-LTL. In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'10). Helenenau, Germany, 27-29 September 2010.
  • Bożena Woźna-Szcześniak and Radosław Klimek. Logiki temporalne i logiki czasu rzeczywistego Chapter 4 of the book: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego, pp. 64-113, WNT 2010. ISBN 978-83-204-3669-3. (In Polish).
  • Bożena Woźna-Szcześniak and Marcin Szpyrka. Automaty czasowe. Chapter 5 of the book: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego, pp. 114-128, WNT 2010. ISBN 978-83-204-3669-3. (In Polish).
  • Bożena Woźna-Szcześniak and Agata Półrola. Weryfikacja modelowa. Chapter 14 of the book: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego, pp. 311-373, WNT 2010. ISBN 978-83-204-3669-3. (In Polish).
    • Year 2009
  • Bożena Woźna-Szcześniak and Andrzej Zbrzezny. SAT-based searching for k-quasi-optimal runs in weighted timed automata. In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'09), vol 2, pp. 661-673. Krakow-Przegorzaly, Poland, 28-30 September 2009.
  • Bożena Woźna-Szcześniak. Bounded model checking for the existential part of Real-Time CTL and knowledge. 4th IFIP TC2 Central and Eastern European Conference on Software Engineering Techniques(CEE-SET'09). Krakow, Poland, 12-14 October 2009.
  • Artur Rataj, Bożena Woźna and Andrzej Zbrzezny. A translator of Java programs to TADDs. Fundamenta Informaticae 93(1-3), pp. 305--324, 2009. (pdf).
  • Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, and Andrzej Zbrzezny. Verics 2008 - a Model Checker for Time Petri Nets and High-Level Languages. In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'09). pp. 119-132, University of Hamburg, Department of Informatics. Paris, France, June 22-23, 2009.
  • Bożena Woźna and Andrzej Zbrzezny. Verification of Java programs using networks of finite automata with discrete data. Scientific Issues: Mathematica III, pp. 123-130. Catholic University in Ruzomberok, 2009. (pdf).
  • Bożena Woźna i Andrzej Zbrzezny. Model checking of Java programs using networks of FADDs. Scientific Issues of Jan Długosz University in Czestochowa: Mathematica XIV, pp. 151-164, 2009.

    • Year 2008
  • Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, and Andrzej Zbrzezny. Verics 2008 - a Model Checker for High-Level Languages. Artificial Intelligence Studies, 2008, vol. 5 (28)/2008, pp.131-140.
  • Artur Rataj, Bożena Woźna and Andrzej Zbrzezny. A translator of Java programs to TADDs. In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'08), pp. 524-535. Gross Vaeter (near Berlin), Germany, 28 September - 1 October 2008. (pdf).
  • Bożena Woźna and Andrzej Zbrzezny. Towards verification of Java programs in VerICS. Fundamenta Informaticae 85(1-4), pp. 533-548, 2008. (pdf).
  • Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, and Andrzej Zbrzezny. VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundamenta Informaticae 85(1-4), pp. 313-328, 2008. (pdf).
  • Bożena Woźna and Andrzej Zbrzezny. A SAT-based technique to analyse networks of finite automata. Scientific Issues: Mathematica II, pp. 89-100. Catholic University in Ruzomberok, 2008. (pdf).

    • Year 2007
  • Bożena Woźna, Andrzej Zbrzezny, Maciej Orzechowski and Franco Raimondi. Towards verification of Java programs in VerICS. In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'07), pp. 580-593. Lagow, Poland, 26-30 September 2007.
  • Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Polrola, Maciej Szreter, Bożena Woźna and Andrzej Zbrzezny. VerICS 2006 - A Model Checker for Real-Time and Multi-Agent Systems. In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'07), pp. 345-356. Lagow, Poland, 26-30 September 2007. (pdf).
  • W. Emmerich, Franco Raimondi, James Skene, Bożena Woźna. A Methodology for online monitoring non-functional specification of web-services. Proceedings of PROVECS 2007 - TOOLS 2007, pp. 50-59. Zurich, June 2007. (pdf).
  • Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, and Andrzej Zbrzezny. VERICS 2006 - WERYFIKATOR DLA SYSTEMÓW W CZASOWYCH I WIELOAGENTOWYCH. Proceedings of Real-Time Systems 2007, pages 243-252. Wyd. Komunikacji i Lacznosci (in Polish). Szczyrk, Poland. September, 2007.
  • Alessio Lomuscio, Bożena Woźna and Wojciech Penczek. Bounded model checking knowledge and real time. Journal of Artificial Intelligence 171 (2007), pp. 1011-1038. Elsevier 2007. Availiable online at www.elsevier.com/locate/artint. (pdf).
  • Alessio Lomuscio and Franco Raimondi and Bożena Woźna. Verification of the TESLA protocol in MCMAS-X. Fundamenta Informaticae 79(3-4), pp. 473-486, 2007. (pdf).
  • Bożena Woźna and Andrzej Zbrzezny. Bounded Model Checking for the Existential Fragment of TCTL_G and Diagonal Timed Automata. Fundamenta Informaticae 79(1-2), str. 229-256, 2007. (pdf).
  • Alessio Lomuscio and Bożena Woźna. A Temporal Epistemic Logic with a Reset Operation. In Proceedings of the 6th International Joint Conference on Autonomus Agents and Multi Agent Systems (AAMAS'07), pp. 562-569. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) Press. Honolulu, Hawai'i. May 14-18, 2007. (pdf).
  • Alessio Lomuscio, Bożena Woźna and Andrzej Zbrzezny. Bounded model checking real-time multi-agent systems with clock differences: theory and implementation. In Post-Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence (MoChArt'06), LNAI/LNCS, volume 4428, pp. 96-112. Springer-Verlag, 2007. (pdf).

    • Year 2006
  • Bożena Woźna, Maciej Orzechowski and Tomasz Siwiak. Towards verification of Java programs in VerICS. Report ICS PAS, No. 997, December 2006.
  • Alessio Lomuscio, Franco Raimondi, and Bożena Woźna. Verification of the TESLA protocol in MCMAS-X. In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'06), pp. 255 - 267. Wandlitz (nearby Berlin), Germany, 27-29 September 2006. (pdf).
    Display in BibTex Format
  • Alessio Lomuscio, Bożena Woźna and Andrzej Zbrzezny. Bounded Model Checking real-time multi-agent systems with clock differences: theory and implementation. In Proceedings of the 4th International Workshop on Model Checking and Artificial Intelligence (MoChArt'06). August, 2006.
    To appear in Springer Lecture Notes in AI.
    Also, Technical report RN/06/03, Department of Computer Science, University College London. March, 2006. (pdf).
    Display in BibTex Format
  • Alessio Lomuscio and Bożena Woźna.A complete and decidable axiomatisation for deontic interpreted systems. In Proceedings of the 8th International Workshop on Deontic Logic in Computer Science (DEON'06). LNCS, volume 4048, pp. 238 - 254. Springer Berlin / Heidelberg. Utrecht, The Netherlands. July 2006.
    Also, Technical report RN/06/17, Department of Computer Science, University College London. June, 2006. (pdf).
    Display in BibTex Format
  • Alessio Lomuscio and Bożena Woźna. A complete and decidable security-specialised logic and its application to the TESLA protocol. In Proceedings of the 5th International Joint Conference on Autonomus Agents and Multi Agent Systems (AAMAS'06). ACM Press, pp. 145-152. Hakodate, Japan, 2006. (pdf).
    Display in BibTex Format

    • Year 2005
  • Alessio Lomuscio and Bożena Woźna. A Temporal Epistemic Logic with a Reset Operation. Technical report RN/05/27, Department of Computer Science, University College London. November, 2005.
  • Alessio Lomuscio and Bożena Woźna. A combination of explicit and deductive knowledge with branching time: completeness and decidability results. In the post-proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT'05). LNCS, volume 3904, pp. 188-204. Springer Berlin / Heidelberg, 2006. Also, in proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'05). Ruciane Nida, Poland. September 2005. Also, Technical Report RN/05/18, Department of Computer Science, University College London. August, 2005. (pdf).
    Display in BibTex Format
  • Bożena Woźna and Andrzej Zbrzezny. Bounded Model Checking for the existential fragment of TCTL and Diagonal Timed Automata In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'05). Ruciane Nida, Poland. September 2005. Also, Technical report RN/05/19, Department of Computer Science, University College London. August, 2005. (pdf).
    Display in BibTex Format
  • Alessio Lomuscio, Bożena Woźna and Wojciech Penczek. Bounded Model Checking for Knowledge and Real Time. In Proceedings of the 4th International Joint Conference on Autonomus Agents and Multi Agent Systems (AAMAS'05). ACM Press, pp. 165-172. 2005. (pdf).
    Display in BibTex Format
  • Alessio Lomuscio and Bożena Woźna. A Logic for Knowledge, Correctness, and Real Time. In Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'04). LNAI, volume 3487. Springer-Verlag, pp. 1-15. 2005. (pdf).
    Display in BibTex Format

    • Year 2004
  • Bożena Woźna. Bounded Model Checking for the universal fragment of CTL*. Technical Report TR-04-03, Department of Computer Science, King's College London, 2004.
    Display in BibTex Format
  • Bożena Woźna and Andrzej Zbrzezny. Checking ACTL* properties of Discrete Timed Automata via Bounded Model Checking. In Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS'03). LNCS, volume 2791. Springer-Verlag, 2004.
    Display in BibTex Format
  • Bożena Woźna and Andrzej Zbrzezny. Checking ACTL* properties of Discrete Timed Automata via Bounded Model Checking. (Revised version of the paper published in Proceedings of the 1st International Workshop on Formal Analysis and Modeling of Timed Systems (FORMATS'03)). Technical Report TR-04-04, Department of Computer Science, King's College London, 2004.
    Display in BibTex Format
  • Alessio Lomuscio, Bożena Woźna and Wojciech Penczek. Bounded Model Checking for Deontic Interpreted Systems. Electronic Lecture Notes in Theoretical Computer Science, volume 126, pp. 93-114, 2004. (A previous version of this paper appeared in the proceedings of LCMAS04. Second Workshop on Logic and Communication in Multi-Agent Systems. Nancy, August, 2004.)
    Display in BibTex Format
  • Bożena Woźna. ACTL* properties and Bounded Model Checking. Fundamenta Informaticae 63(1) pp. 65-87, 2004.
    Display in BibTex Format
  • Alessio Lomuscio, Bożena Woźna and Wojciech Penczek. Bounded model checking for knowledge over real time. In Proceedings of Concurrency Specification and Programming (CS&P'04). Potsdam, September, 2004.
    Display in BibTex Format
  • Wojciech Penczek, A. Półrola, Bożena Woźna and Andrzej Zbrzezny. Bounded Model Checking for Reachability Testing in Time Petri Nets. In Proceedings of Concurrency Specification and Programming (CS&P'04). Potsdam, September, 2004.
    Display in BibTex Format

    • Year 2003
  • Piotr Dembiński, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna and Andrzej Zbrzezny. VERICS: A Tool for Verifying Timed Automata and Estelle Specifications. In Proceedings of the 9th Int. Conf. on Tools and Algorithms for Construction and Analysis of Systems (TACAS'03). LNCS, volume 2619, pp. 278-283, Springer-Verlag, 2003.
    Display in BibTex Format
  • Bożena Woźna and Andrzej Zbrzezny. Reaching the limits for Bounded Model Checking. Report ICS PAS, No. 958, May 2003.
    Display in BibTex Format
  • Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. Checking Reachability Properties for Timed Automata via SAT. Fundamenta Informaticae 55(2), pp. 223-241, 2003.
    Display in BibTex Format
  • Piotr Dembinski, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bożena Woźna and Andrzej Zbrzezny. VerICS: A Tool for Verifying Timed Automata and Estelle Specifications. In Proceedings of SCR'03 (in Polish), 2003.
    Display in BibTex Format
  • Bożena Woźna. ACTL* properties and Bounded Model Checking. In Proceedings of CS&P'03, volume 2, Warsaw 2003.
    Display in BibTex Format
    •
    Year 2002
  • Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. Branching Time Bounded Model Checking for Elementary Net Systems. Report ICS PAS, No. 940, January 2002.
    Display in BibTex Format
  • Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. Bounded Model Checking for the Universal Fragment of CTL. Fundamenta Informaticae, volume 51, 2002.
    Display in BibTex Format
  • Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. Towards Bounded Model Checking for the Universal Fragment of TCTL. In Proceedings of FTRTFT'02, volume 2469 of LNCS, Springer-Verlag, 2002.
    Display in BibTex Format
  • Bożena Woźna. A symbolic encoding of a network of concurrent Timed Automata. In Proceedings of SCR'02 (in Polish), 2002.
    Display in BibTex Format
  • Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. Reachability for Timed Systems based on SAT-Solvers. In Proceedings of CS&P'02, volume 2, Berlin 2002.
    Display in BibTex Format
  • Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. SAT-Based Bounded Model Checking for the Universal Fragment of TCTL. Report ICS PAS, No. 947, September 2002.
    Display in BibTex Format
  • Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. Checking Reachability Properties for Timed Automata via SAT. Report ICS PAS, No. 949, October 2002.
    Display in BibTex Format

    • Year 2001
  • Bożena Woźna. Bounded Model Checking for Timed Systems. In Proceedings of the SCR'01 (in Polish), Wyd. AGH, 2001.
    Display in BibTex Format
  • Bożena Woźna and Wojciech Penczek. Towards Bounded Model Checking for Timed Automata. In Proceedings of CS&P'01, Warsaw, 2001.
    Display in BibTex Format

    • Year 1999
  • Bożena Woźna. Greedy Algorithms. Prace naukowe WSP w Częstochowie. Matematyka VI. 1999 (In Polish)
  • Huffman Code. Acta Universitstis Purkynianae 42. Czech - Polish Mathematical School. 1999
    •
    © dr hab. Bozena Wozna-Szczesniak, 2009