Matan Yossef

dblp:322/7363 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Program synthesis and code generation
controller synthesis
0.612022
Dynamic Update for Synthesized GR(1) Controllers · ICSE 2022
Operating systems
live update
0.612022
Dynamic Update for Synthesized GR(1) Controllers · ICSE 2022
Program synthesis and code generation › controller synthesis
reactive synthesis
0.612022
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
YearPublicationVenuePosition
2022 Dynamic Update for Synthesized GR(1) Controllers
abstract
Reactive 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
ICSE4