Gal Amram
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELS | Automata Models for Effective Bug Pattern Description. | Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun |
| 2023 | ICSE | Triggers for Reactive Synthesis Specifications. | Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
| 2022 | ICSE | Dynamic Update for Synthesized GR(1) Controllers. | Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef |
| 2021 | CAV | Adapting Behaviors via Reactive Synthesis. | Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss |
| 2021 | FM | Efficient Algorithms for Omega-Regular Energy Games. | Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
| 2019 | FM | GR(1)*: GR(1) Specifications Extended with Existential Guarantees. | Gal Amram, Shahar Maoz, Or Pistiner |
| 2016 | SIROCCO | The F-Snapshot Problem. | Gal Amram |
| 2014 | ICDCN | On the Signaling Problem. | Gal Amram |
| 2014 | OPODIS | On the Mailbox Problem. | Uri Abraham, Gal Amram |