EDBT 2026 Demo / reviewers in the wild / expert
Matan Yossef
dblp:322/7363
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021
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% Operating systems · 33% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation
controller synthesis |
0.6 | 1 | 2022 | Dynamic Update for Synthesized GR(1) Controllers · ICSE 2022 |
Operating systems
live update |
0.6 | 1 | 2022 | Dynamic Update for Synthesized GR(1) Controllers · ICSE 2022 |
Program synthesis and code generation › controller synthesis
reactive synthesis |
0.6 | 1 | 2022 | Dynamic Update for Synthesized GR(1) Controllers · ICSE 2022 |
Methods — techniques the papers use, named apart from their topics
reactive synthesis · 0.6bridge-controller computation · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Dynamic Update for Synthesized GR(1) ControllersabstractReactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. GR(1) is an expressive fragment of LTL that enables efficient synthesis and has been recently used in different contexts and application domains. In this paper we investigate the dynamic-update problem for GR(1): updating the behavior of an already running synthesized controller such that it would safely and dynamically, without stopping, start conforming to a modified, up-to-date specification. We formally define the dynamic-update problem and present a sound and complete solution that is based on the computation of a bridge-controller. We implemented the work in the Spectra synthesis and execution environment and evaluated it over benchmark specifications. The evaluation shows the efficiency and effectiveness of using dynamic updates. The work advances the state-of-the-art in reactive synthesis and opens the way to its use in application domains where dynamic updates are a necessary requirement. Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef |
ICSE | 4 |