Christian Brenner 0001

dblp:129/9137-1 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Program synthesis and code generation
controller synthesis
0.212013
Incrementally synthesizing controllers from scenario-based product line specifications · ESEC/SIGSOFT FSE 2013
Program synthesis and code generation
incremental synthesis
0.212013
Incrementally synthesizing controllers from scenario-based product line specifications · ESEC/SIGSOFT FSE 2013
Requirements engineering and software design
software product lines
0.212013
Incrementally synthesizing controllers from scenario-based product line specifications · ESEC/SIGSOFT FSE 2013
Computational complexity › constraint satisfaction
consistency checking
0.012013
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
YearPublicationVenuePosition
2015 On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications
Christian Brenner 0001, Joel Greenyer, Wilhelm Schäfer
FASE1
2013 Incrementally synthesizing controllers from scenario-based product line specifications
abstract
Many 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 FSE2