Gal Amram

According to our database, Gal Amram authored at least 15 papers between 2014 and 2024.

Collaborative distances:

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

2024

Triggers for Reactive Synthesis Specifications.

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

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

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

GR(1)*: GR(1) specifications extended with existential guarantees.

Gal Amram, Shahar Maoz, Or Pistiner

Formal Aspects Comput., 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

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