EDBT 2026 Demo / reviewers in the wild / expert
Aleksandr Zaks
dblp:88/472
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2008
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1Theory of computation · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
2 papers |
Program verification · 58% Program analysis · 42% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › static analysis
abstract interpretation |
0.1 | 1 | 2008 | Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008 |
Program analysis › static analysis › abstract interpretation
interval analysis |
0.1 | 1 | 2008 | Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008 |
Program verification › model checking
software model checking |
0.1 | 1 | 2008 | Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008 |
Program verification › model checking
state space reduction |
0.1 | 1 | 2008 | Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008 |
Program verification › dynamic verification
runtime verification |
0.1 | 1 | 2006 | PSL Model Checking and Run-Time Verification Via Testers · FM 2006 |
Automated reasoning and model checking
model checking |
0.1 | 1 | 2006 | PSL Model Checking and Run-Time Verification Via Testers · FM 2006 |
Methods — techniques the papers use, named apart from their topics
symbolic interval analysis · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2008 | Bitwidth Reduction via Symbolic Interval Analysis for Software Model CheckingabstractThis paper presents a lightweight interval analysis technique for determining the lower and upper bounds for program variables and its application in improving software model checking techniques. The experiments demonstrate that it is an effective approach to alleviate the state explosion problem in software model checking. Aleksandr Zaks, Zijiang Yang 0006, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |
| 2006 | PSL Model Checking and Run-Time Verification Via Testers
Amir Pnueli, Aleksandr Zaks |
FM | 2 |