Concepedia

Andrzej Zbrzezny

AZ

14

Publications

466

Citations

11

H-Index

2002

Active since

Affiliations

Jan Długosz University(Current)

Institute of Mathematics

Institute of Computer Science

University of Łódź

University of Siedlce

Andrzej Zbrzezny is an author at Jan Długosz University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringProgram AnalysisSoftware Verification

Publications per year

2002–2015

14

Publications

14

Bounded Model Checking for the Universal Fragment of CTL

Wojciech Penczek, Bożena Woźna-Szcześniak, Andrzej Zbrzezny · 2002 · 102 citations

Bounded Model Checking, Engineering, Automated Reasoning +13

VerICS 2007 - a Model Checker for Knowledge and Real-Time

Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski et al. · Fundamenta Informaticae · 2008 · 88 citations

Verics 2007, Engineering, Verification +23

Checking Reachability Properties for Timed Automata via SAT

Bożena Woźna-Szcześniak, Andrzej Zbrzezny, Wojciech Penczek · 2002 · 42 citations

Logical Automaton, Bounded Model Checking, Engineering +13

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance

Artur Męski, Wojciech Penczek, Maciej Szreter et al. · Autonomous Agents and Multi-Agent Systems · 2013 · 37 citations · Full text

Engineering, Formal Modeling, Automated Reasoning +13

Improving the Translation from ECTL to SAT

Andrzej Zbrzezny · Fundamenta Informaticae · 2008 · 29 citations

Engineering, Verification, New Translation +18

Rows per page

1–5 of 14