VLDB 2026 Research / reviewers in the wild / expert
Christian Brenner 0001
dblp:129/9137-1
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2015
—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-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.
| Software engineering, system software, and programming languages
1 paper |
Program synthesis and code generation · 67% Requirements engineering and software design · 33% | |
| Theoretical computer science
1 paper |
Computational complexity · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation
controller synthesis |
0.2 | 1 | 2013 | Incrementally synthesizing controllers from scenario-based product line specifications · ESEC/SIGSOFT FSE 2013 |
Program synthesis and code generation
incremental synthesis |
0.2 | 1 | 2013 | Incrementally synthesizing controllers from scenario-based product line specifications · ESEC/SIGSOFT FSE 2013 |
Requirements engineering and software design
software product lines |
0.2 | 1 | 2013 | Incrementally synthesizing controllers from scenario-based product line specifications · ESEC/SIGSOFT FSE 2013 |
Computational complexity › constraint satisfaction
consistency checking |
0.0 | 1 | 2013 | Incrementally synthesizing controllers from scenario-based product line specifications · ESEC/SIGSOFT FSE 2013 |
Methods — techniques the papers use, named apart from their topics
product line model checking · 0.3modal sequence diagrams · 0.3game-based synthesis · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2015 | On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications
Christian Brenner 0001, Joel Greenyer, Wilhelm Schäfer |
FASE | 1 |
| 2013 | Incrementally synthesizing controllers from scenario-based product line specificationsabstractMany software-intensive systems consist of components that interact to fulfill complex functionality. Moreover, often many variants of such systems have to be designed at once. This adds complexity to the design task. Recently, we proposed a scenario-based approach to design product lines, which combines feature diagrams and Modal Sequence Diagrams. We proposed a consistency-checking technique based on a dedicated product line model checker. One limitation of this technique is that it is incomplete, i.e., it may fail to show the consistency of some consistent specifications. In this paper we propose a new game-based approach that overcomes this incompleteness and, in addition, automatically synthesizes controllers for the consistent product specifications. We exploit the fact that many variants are similar and efficiently synthesize product controllers incrementally. We provide a prototype tool and evaluate the efficiency of the approach. Joel Greenyer, Christian Brenner 0001, Maxime Cordy, Patrick Heymans, Erika Gressi |
ESEC/SIGSOFT FSE | 2 |