Andrzej Zbrzezny

73 papers A 6B 4C 1Misc 5Journal 27Unranked 30
YearRankTypeTitle / Venue / Authors
2024 A conf
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL.
AAMAS
Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny
2023 A conf
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic.
ECAI
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej 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 — conf
SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties.
ICAART (1)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak
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
SMT-Based Encoding of Argumentation Dialogue Games.
ICAISC (2)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
2019 J jnl
Towards Encoding of the Transition Relation in Dialogue Games Model Checking.
Fundam. Informaticae
Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny
2018 — conf
Modelling the Affective Power of Locutions in a Persuasive Dialogue Game.
ICAISC (2)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
2018 C conf
SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems.
AICCSA
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
2017 — conf
A Novel Description Language for Two-Agent Dialogue Games.
IJCRS (2)
Anna Sawicka, Magdalena Kacprzak, Andrzej 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 J jnl
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking.
Stud Logica
Bozena Wozna-Szczesniak, 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 — conf
Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract).
CS&P
Agnieszka Zbrzezny, Andrzej Zbrzezny
2016 — conf
Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract).
CS&P
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
2016 — conf
Towards Verification of Dialogue Protocols: A Mathematical Model.
ICAISC (2)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
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 — conf
Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking.
ICCSW
Agnieszka 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 — conf
Dialogue Systems: Modeling and Prediction of their Dynamics.
AECIA
Magdalena Kacprzak, Anna Sawicka, 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
2014 — conf
A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods for ECTL.
CS&P
Agnieszka Zbrzezny, Andrzej Zbrzezny
2014 J jnl
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance.
Auton. Agents Multi Agent Syst.
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2014 B conf
Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic.
PRIMA
Bozena Wozna-Szczesniak, Ireneusz Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
2014 J jnl
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking.
Fundam. Informaticae
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2014 — conf
System Monitoring with Extended Message Sequence Chart (Extended Abstract).
CS&P
Agnieszka Zbrzezny, Andrzej Zbrzezny
2013 J jnl
A Translation of the Existential Model Checking Problem from MITL to HLTL.
Fundam. Informaticae
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2013 — conf
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking.
CS&P
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2013 — conf
On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems.
CS&P
Andrzej Zbrzezny
2013 — conf
SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems.
EPEW
Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
2013 B conf
SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic.
PRIMA
Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
2013 Misc conf
Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic.
DCAI
Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
2013 J jnl
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets.
Trans. Petri Nets Other Model. Concurr.
Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
2012 J jnl
A New Translation from ECTL* to SAT.
Fundam. Informaticae
Andrzej Zbrzezny
2012 A conf
Bounded model checking for knowledge and linear time.
AAMAS
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2012 — conf
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems.
DALT
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2012 — conf
SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems.
KES-AMSTA
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2012 J jnl
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios.
Fundam. Informaticae
Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
2012 J jnl
Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems.
Fundam. Informaticae
Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2012 — conf
Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge.
KES-AMSTA
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2012 — conf
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets.
PNSE
Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
2011 — conf
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets.
PNSE
Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
2011 J jnl
PlanICS - a Web Service Composition Toolset.
Fundam. Informaticae
Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
2011 Misc conf
The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems.
EPIA
Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
2010 J jnl
Parametric Model Checking with VerICS.
Trans. Petri Nets Other Model. Concurr.
Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
2010 J jnl
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets.
Trans. Petri Nets Other Model. Concurr.
Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
2010 — conf
Towards Automatic Composition of Web Services: A SAT-Based Phase.
ACSD/Petri Nets Workshops
Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
2009 J jnl
A Translator of Java Programs to TADDs.
Fundam. Informaticae
Artur Rataj, Bozena Wozna, Andrzej Zbrzezny
2008 J jnl
Improving the Translation from ECTL to SAT.
Fundam. Informaticae
Andrzej Zbrzezny
2008 J jnl
Towards Verification of Java Programs in perICS.
Fundam. Informaticae
Andrzej Zbrzezny, Bozena Wozna
2008 J jnl
VerICS 2007 - a Model Checker for Knowledge and Real-Time.
Fundam. Informaticae
Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
2007 J jnl
Bounded Model Checking for the Existential Fragment of TCTL
Fundam. Informaticae
Bozena Wozna, Andrzej Zbrzezny
2007 J jnl
SAT-Based Reachability Checking for Timed Automata with Discrete Data.
Fundam. Informaticae
Andrzej Zbrzezny, Agata Pólrola
2006 — conf
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.
MoChArt
Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny
2006 — conf
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.
MoChArt
Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny
2005 J jnl
SAT-based Reachability Checking for Timed Automata with Diagonal Constraints.
Fundam. Informaticae
Andrzej Zbrzezny
2004 J jnl
Improvements in SAT-based Reachability Analysis for Timed Automata.
Fundam. Informaticae
Andrzej Zbrzezny
2003 — conf
Checking ACTL
FORMATS
Bozena Wozna, Andrzej Zbrzezny
2003 J jnl
Checking Reachability Properties for Timed Automata via SAT.
Fundam. Informaticae
Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek
2003 A conf
Verics: A Tool for Verifying Timed Automata and Estelle Specifications.
TACAS
Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
2002 J jnl
Bounded Model Checking for the Universal Fragment of CTL.
Fundam. Informaticae
Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny
2002 — conf
Towards Bounded Model Checking for the Universal Fragment of TCTL.
FTRTFT
Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny
1990 J jnl
The hilbert type axiomatization of some three-valued propositional logic.
Math. Log. Q.
Andrzej Zbrzezny