Agnieszka M. Zbrzezny

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