On the Signaling Problem. - Gal Amram (ICDCN, 2014)

On the Mailbox Problem. - Uri Abraham; Gal Amram (OPODIS, 2014)

Simple Executions of Snapshot Implementations. - Gal Amram; Lior Mizrahi; Gera Weiss (CoRR, 2015)

The F-Snapshot Problem. - Gal Amram (SIROCCO, 2016)

Two-process synchronization. - Uri Abraham; Gal Amram (Theor. Comput. Sci., 2017)

An efficient shift rule for the prefer-max De Bruijn sequence. - Gal Amram; Yair Ashlagi; Amir Rubin; Yotam Svoray; Moshe Schwartz 001; Gera Weiss (Discret. Math., 2019)

Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. - Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (CoRR, 2020)

An efficient generalized shift-rule for the prefer-max De Bruijn sequence. - Gal Amram; Amir Rubin (Discret. Math., 2020)

Adapting Behaviors via Reactive Synthesis. - Gal Amram; Suguman Bansal; Dror Fried; Lucas Martinelli Tabajara; Moshe Y. Vardi; Gera Weiss (CAV (1), 2021)

Efficient Algorithms for Omega-Regular Energy Games. - Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (FM, 2021)

A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence. - Gal Amram; Amir Rubin; Gera Weiss (CoRR, 2021)

GR(1)*: GR(1) specifications extended with existential guarantees. - Gal Amram; Shahar Maoz; Or Pistiner (Formal Aspects Comput., 2021)

Dynamic Update for Synthesized GR(1) Controllers. - Gal Amram; Shahar Maoz; Itai Segall; Matan Yossef (ICSE, 2022)

Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. - Gal Amram; Avi Hayoun; Lior Mizrahi; Gera Weiss (DISC, 2022)

Triggers for Reactive Synthesis Specifications. - Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (Software Engineering, 2024)

De Bruijn Sequences: from Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem. - Gal Amram; Amir Rubin; Yotam Svoray; Gera Weiss (Electron. J. Comb., 2025)

Automata Models for Effective Bug Description. - Tom Yaacov; Gera Weiss; Gal Amram; Avi Hayoun (CoRR, 2025)

Black-Box Bug-Amplification for Multithreaded Software. - Yeshayahu Weiss; Gal Amram; Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss (CoRR, 2025)

LaajMeter: A Framework for LaaJ Evaluation. - Gal Amram; Eitan Farchi; Shmulik Froimovich; Raviv Gal; Avi Ziv (CoRR, 2025)