Demo Data from EDBT 2026 / reviewers in the wild / expert
Petr Spacek
dblp:93/4904
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-authorTheory 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.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › hardware verification and test › functional verification
constrained random verification |
0.1 | 1 | 2008 | Application of Formal Word-Level Analysis to Constrained Random Simulation · CAV 2008 |
Electronic design automation
hardware verification and test |
0.1 | 1 | 2008 | Application of Formal Word-Level Analysis to Constrained Random Simulation · CAV 2008 |
Methods — techniques the papers use, named apart from their topics
word-level analysis · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | An inheritance system for structural & behavioral reuse in component-based software programmingabstractIn the context of Component-based Programming, which addresses the implementation stage of a component-based software engineering development process, this paper describes a specification and an operational integration of an inheritance system into a self-contained new component-based programming language named Compo. Our proposal completes and extends related works by making it possible to apply inheritance to the full description of components, i.e. both to structural (description of provisions and requirements, of component architecture) and behavioral (full implementations of services) parts in component descriptions. Inheritance in Compo is designed to be used in conjunction with composition to maximize reuse capabilities and expressive power. Compo implementation proposes a clear operational solution for inheritance and for achieving and testing substitutions. Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse |
GPCE | 1 |
| 2008 | Application of Formal Word-Level Analysis to Constrained Random Simulation
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi |
CAV | 4 |