Gal Amram

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 17

Top Topics

Top Venues

Publications

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. Software Engineering (2024)
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. ICSE (2023)
Gal Amram, Avi Hayoun, Lior Mizrahi, Gera Weiss
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. DISC (2022)
Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef
Dynamic Update for Synthesized GR(1) Controllers. ICSE (2022)
Gal Amram, Shahar Maoz, Or Pistiner
GR(1)*: GR(1) specifications extended with existential guarantees. Formal Aspects Comput. 33 (4-5) (2021)
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Efficient Algorithms for Omega-Regular Energy Games. FM (2021)
Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CoRR (2021)
Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CAV (1) (2021)
Gal Amram, Amir Rubin, Gera Weiss
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence. CoRR (2021)
Gal Amram, Amir Rubin
An efficient generalized shift-rule for the prefer-max De Bruijn sequence. Discret. Math. 343 (2) (2020)
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. CoRR (2020)
Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss
An efficient shift rule for the prefer-max De Bruijn sequence. Discret. Math. 342 (1) (2019)
Gal Amram, Shahar Maoz, Or Pistiner
GR(1)*: GR(1) Specifications Extended with Existential Guarantees. FM (2019)
Gal Amram, Amir Rubin
An Efficient Generalized Shift-Rule for the Prefer-Max De Bruijn Sequence. CoRR (2018)
Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss
An Efficient Shift Rule for the Prefer-Max De Bruijn Sequence. CoRR (2017)
Uri Abraham, Gal Amram
Two-process synchronization. Theor. Comput. Sci. 688 (2017)
Gal Amram
The F-Snapshot Problem. SIROCCO (2016)
Gal Amram, Lior Mizrahi, Gera Weiss
Simple Executions of Snapshot Implementations. CoRR (2015)
Gal Amram
The F-snapshot Problem. CoRR (2015)
Uri Abraham, Gal Amram
On the Mailbox Problem. OPODIS (2014)
Gal Amram
On the Signaling Problem. ICDCN (2014)
Uri Abraham, Gal Amram
On the Mailbox Problem. CoRR (2013)