The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. - Bozena Wozna-Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (EPIA, 2011)

Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. - Artur Meski; Bozena Wozna-Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (DCAI, 2013)

SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. - Bozena Wozna-Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (EPEW, 2013)

SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. - Bozena Wozna-Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (PRIMA, 2013)

A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods for ECTL. - Agnieszka Zbrzezny; Andrzej Zbrzezny (CS&P, 2014)

System Monitoring with Extended Message Sequence Chart (Extended Abstract). - Agnieszka Zbrzezny; Andrzej Zbrzezny (CS&P, 2014)

Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. - Bozena Wozna-Szczesniak; Ireneusz Szczesniak; Agnieszka Zbrzezny; Andrzej Zbrzezny (PRIMA, 2014)

Selected Methods of Model Checking using SAT and SMT-solvers: (Doctoral Consortium). - Agnieszka M. Zbrzezny (AAMAS, 2015)

SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL. - Agnieszka M. Zbrzezny; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (AAMAS, 2015)

SMT-Based Bounded Model Checking for Weighted Epistemic ECTL. - Agnieszka M. Zbrzezny; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (EPIA, 2015)

Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny (EPIA, 2015)

Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking. - Agnieszka Zbrzezny; Andrzej Zbrzezny (ICCSW, 2015)

Selected Methods of Model Checking Using SAT and SMT-Solvers. - Agnieszka M. Zbrzezny (PAAMS (Special Sessions), 2015)

Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny (PRIMA, 2015)

Checking RTECTL properties of STSs via SMT-based Bounded Model Checking. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny (Int. J. Interact. Multim. Artif. Intell., 2015)

Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract). - Agnieszka Zbrzezny; Andrzej Zbrzezny (CS&P, 2016)

Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny; Franco Raimondi (KES-AMSTA, 2016)

Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny (PRIMA, 2016)

SAT-Versus SMT-Based BMC for TWIS and the Existential Fragment of WCTL with Knowledge. - Agnieszka M. Zbrzezny (KES-AMSTA, 2017)

Simple Bounded MTLK Model Checking for Timed Interpreted Systems. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny (KES-AMSTA, 2017)

Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny (IJCRS (2), 2017)

SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata. - Bozena Wozna-Szczesniak; Agnieszka M. Zbrzezny; Andrzej Zbrzezny (Fundam. Informaticae, 2017)

SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny (AICCSA, 2018)

Efficient Verification of Security Protocols Time Properties Using SMT Solvers. - Agnieszka M. Zbrzezny; Sabina Szymoniak; Miroslaw Kurkowski (CISIS-ICEUTE, 2019)

Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract). - Agnieszka M. Zbrzezny; Andrzej Zbrzezny (CS&P, 2019)

SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. - Agnieszka M. Zbrzezny; Olga Siedlecka-Lamch; Sabina Szymoniak; Miroslaw Kurkowski (PDCAT, 2019)

VerSecTis - An Agent based Model Checker for Security Protocols. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny; Sabina Szymoniak; Olga Siedlecka-Lamch; Miroslaw Kurkowski (AAMAS, 2020)

Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems. - Heiko Bühler; Andrzej Zbrzezny; Agnieszka M. Zbrzezny; Andreas Walz; Axel Sikora (IDAACS, 2021)

On Guaranteed Optimal Robust Explanations for NLP Models. - Emanuele La Malfa; Rhiannon Michelmore; Agnieszka M. Zbrzezny; Nicola Paoletti; Marta Kwiatkowska (IJCAI, 2021)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects. - Sabina Szymoniak; Olga Siedlecka-Lamch; Agnieszka M. Zbrzezny; Andrzej Zbrzezny; Miroslaw Kurkowski (Sensors, 2021)

SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny; Bozena Wozna-Szczesniak (ICAART (1), 2022)

Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories. - Agnieszka M. Zbrzezny; Sabina Szymoniak; Miroslaw Kurkowski (Log. J. IGPL, 2022)

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny (Sensors, 2022)