Journal Publications

​

Yeshayahu Weiss, Gal Amram, Achiya Elyasaf, Eitan Farchi, Oded Margalit, and Gera Weiss. Black-Box Bug-Amplification for Multithreaded Software. Mathematics, to appear, 2025.

​

Gal Amram, Amir Rubin, Yotam Svoray, and Gera Weiss. De Bruijn Sequences: from Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem. The Electronic Journal of Combinatorics, 33(3):11, 2025.

​

Gal Amram, Shahar Maoz, and Or Pistiner. GR(1)*: GR(1) specifications extended with existential guarantees. Formal Aspects of Computing, 33:729-761, 2021.

​

Gal Amram and Amir Rubin. An efficient generalized shift rule for the prefer-max De Bruijn sequence. Discrete Mathematics, 343(2):111657, 2020.

​

Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, and Gera Weiss. An efficient

shift rule for the prefer-max De Bruijn sequence. Discrete Mathematics, 342(1):226-232, 2019.

​

Uri Abraham and Gal Amram. Two-process synchronization. Theoretical Computer Science, 688:2-23, 2017.

​

Conference Publications

​​

Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun. Automata Models for Effective Bug Pattern Description. In ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS), to appear. ACM, 2025.

​

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner and Jan Oliver Ringert. Triggers for reactive synthesis specifications. In 45th International Conference on Software Engineering  (ICSE), pages 729-741. ACM, 2023.

​​

Gal Amram, Avi Hayoun, Lior Mizrahi, and Gera Weiss. Polynomial verification and linear testing of implementations of the snapshot data structure. In 36th symposium on distributed computing (DISC), pages 5:1-5:20. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022. (best student paper) 

​

Gal Amram, Shahar Maoz, Itai Segall, and Matan Yossef. Dynamic update for synthesized GR(1) controllers. In 44th International Conference on Software Engineering (ICSE), pages 786-797. ACM, 2022.   

​

Gal Amram, Shahar Maoz, Or Pistiner, and Jan Oliver Ringert. Efficient algorithms for omega-regular energy games. In 24th International Symposium on Formal Methods (FM), pages 163-181. Springer, 2021.   (slides)

​

Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Vardi, and Gera Weiss. Adapting behaviors via reactive synthesis. In 33rd International Conference on Computer-Aided Verification (CAV), pages 870-893. Springer, 2021.   (slides)

​

Gal Amram, Shahar Maoz, and Or Pistiner. GR(1)*: GR(1) specifications extended with existential guarantees. In 23rd International Symposium on Formal Methods (FM), pages 83-100. Springer, 2019.   (slides)  

​

Gal Amram. The F-snapshot problem. In 23rd International Colloquium on Structural Information
and Communication Complexity (SIROCCO), pages 159–176. Springer, 2016.     (slides)

​

Uri Abraham and Gal Amram. On the mailbox problem. In 18th International Conference on
Principles of Distributed Systems (OPODIS), pages 453–468. Springer, 2014.     (slides)

​

Gal Amram. On the signaling problem. In 15th International Conference on Distributed Computing
and Networking (ICDCN), pages 44–65. Springer, 2014.     (slides)

​

In Preparation

​

Gal Amram, Amir Rubin, and Gera Weiss. A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence.arXiv:2104.02999, 2021.​

​