Gal Amram

According to our database, Gal Amram authored at least 19 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

LaajMeter: A Framework for LaaJ Evaluation.

Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Avi Ziv

CoRR, August, 2025

Black-Box Bug-Amplification for Multithreaded Software.

Yeshayahu Weiss, Gal Amram, Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss

CoRR, July, 2025

Automata Models for Effective Bug Description.

Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun

CoRR, July, 2025

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

2023

Triggers for Reactive Synthesis Specifications.

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure.

Gal Amram, Avi Hayoun, Lior Mizrahi, Gera Weiss

Proceedings of the 36th International Symposium on Distributed Computing, 2022

Dynamic Update for Synthesized GR(1) Controllers.

Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence.

Gal Amram, Amir Rubin, Gera Weiss

CoRR, 2021

Efficient Algorithms for Omega-Regular Energy Games.

Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Proceedings of the Formal Methods - 24th International Symposium, 2021

Adapting Behaviors via Reactive Synthesis.

Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

An efficient generalized shift-rule for the prefer-max De Bruijn sequence.

Gal Amram, Amir Rubin

Discret. Math., 2020

Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games.

Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

CoRR, 2020

2019

An efficient shift rule for the prefer-max De Bruijn sequence.

Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss

Discret. Math., 2019

GR(1)*: GR(1) Specifications Extended with Existential Guarantees.

Gal Amram, Shahar Maoz, Or Pistiner

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2017

Two-process synchronization.

Uri Abraham, Gal Amram

Theor. Comput. Sci., 2017

2016

The F-Snapshot Problem.

Gal Amram

Proceedings of the Structural Information and Communication Complexity, 2016

2015

Simple Executions of Snapshot Implementations.

Gal Amram, Lior Mizrahi, Gera Weiss

CoRR, 2015

2014

On the Mailbox Problem.

Uri Abraham, Gal Amram

Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

On the Signaling Problem.

Gal Amram

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014