EDBT 2026 Demo / reviewers in the wild / expert
Marcelo Glusman
dblp:81/3480
· DBLP profile ↗
5ranked-venue papers
5as first author
0since 2021 · last 2003
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 4 first-authorSoftware engineering, systems software and programming languages · 3 · 3 first-author
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.
| Theoretical computer science
2 papers |
Automated reasoning and model checking · 73% Computational complexity · 27% | |
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking
model checking |
0.0 | 1 | 2003 | Model Checking Conformance with Scenario-Based Specifications · CAV 2003 |
Computational complexity › computability theory
computation equivalence |
0.0 | 1 | 1999 | Mechanizing Proofs of Computation Equivalence · CAV 1999 |
Automated reasoning and model checking › theorem proving › formal theorem proving
proof mechanization |
0.0 | 1 | 1999 | Mechanizing Proofs of Computation Equivalence · CAV 1999 |
Requirements engineering and software design › specification
scenario-based specification |
0.0 | 1 | 2003 | Model Checking Conformance with Scenario-Based Specifications · CAV 2003 |
Methods — techniques the papers use, named apart from their topics
model checking · 0.1mechanized proof · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2003 | Model Checking Conformance with Scenario-Based Specifications
Marcelo Glusman, Shmuel Katz |
CAV | 1 |
| 2003 | Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation
Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi |
TACAS | 1 |
| 2003 | A Mechanized Proof Environment for the Convenient Computations Proof Method
Marcelo Glusman, Shmuel Katz |
Formal Methods Syst. Des. | 1 |
| 2001 | Extending Memory Consistency of Finite Prefixes to Infinite Computations
Marcelo Glusman, Shmuel Katz |
CONCUR | 1 |
| 1999 | Mechanizing Proofs of Computation Equivalence
Marcelo Glusman, Shmuel Katz |
CAV | 1 |