Agnieszka M. Zbrzezny

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 17

Top Topics

Modulo Theories

Security Protocols

Metric Temporal Logic

Artifact Centric

Top Venues

Publications

Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak
SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. ICAART (1) (2022)
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories. Log. J. IGPL 30 (2) (2022)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. Sensors 22 (23) (2022)
Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska
On Guaranteed Optimal Robust Explanations for NLP Models. IJCAI (2021)
Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
SAT and SMT-Based Verification of Security Protocols Including Time Aspects. Sensors 21 (9) (2021)
Heiko Bühler, Andrzej Zbrzezny, Agnieszka M. Zbrzezny, Andreas Walz, Axel Sikora
Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems. IDAACS (2021)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
VerSecTis - An Agent based Model Checker for Security Protocols. AAMAS (2020)
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
Efficient Verification of Security Protocols Time Properties Using SMT Solvers. CISIS-ICEUTE (2019)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract). CS&P (2019)
Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski
SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. PDCAT (2019)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems. AICCSA (2018)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems. IJCRS (2) (2017)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Simple Bounded MTLK Model Checking for Timed Interpreted Systems. KES-AMSTA (2017)
Agnieszka M. Zbrzezny
SAT-Versus SMT-Based BMC for TWIS and the Existential Fragment of WCTL with Knowledge. KES-AMSTA (2017)
Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata. Fundam. Informaticae 152 (4) (2017)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Franco Raimondi
Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers. KES-AMSTA (2016)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking. PRIMA (2016)
Agnieszka M. Zbrzezny, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL. AAMAS (2015)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking. EPIA (2015)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Checking RTECTL properties of STSs via SMT-based Bounded Model Checking. Int. J. Interact. Multim. Artif. Intell. 3 (5) (2015)
Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata. CS&P (2015)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Checking RTECTL Properties of STSs via SMT-Based Bounded Model Checking. DCAI (2015)
Agnieszka M. Zbrzezny
Selected Methods of Model Checking using SAT and SMT-solvers: (Doctoral Consortium). AAMAS (2015)
Agnieszka M. Zbrzezny, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
SMT-Based Bounded Model Checking for Weighted Epistemic ECTL. EPIA (2015)
Agnieszka M. Zbrzezny
Selected Methods of Model Checking Using SAT and SMT-Solvers. PAAMS (Special Sessions) (2015)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking. PRIMA (2015)