Gal Amram

29 papers A* 2A 2B 4C 1Misc 1Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automata Models for Effective Bug Description.
CoRR
Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun
2025 A conf
Automata Models for Effective Bug Pattern Description.
MODELS
Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun
2025 J jnl
Black-Box Bug-Amplification for Multithreaded Software.
CoRR
Yeshayahu Weiss, Gal Amram, Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss
2025 J jnl
De Bruijn Sequences: from Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem.
Electron. J. Comb.
Gal Amram, Amir Rubin, Yotam Svoray, Gera Weiss
2025 J jnl
LaajMeter: A Framework for LaaJ Evaluation.
CoRR
Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Avi Ziv
2025 — conf
Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes.
ASEW
Ora Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz
2025 J jnl
Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes.
CoRR
Ora Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz
2024 C conf
Triggers for Reactive Synthesis Specifications.
Software Engineering
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2023 A* conf
Triggers for Reactive Synthesis Specifications.
ICSE
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2022 A* conf
Dynamic Update for Synthesized GR(1) Controllers.
ICSE
Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef
2022 A conf
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure.
DISC
Gal Amram, Avi Hayoun, Lior Mizrahi, Gera Weiss
2021 J jnl
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence.
CoRR
Gal Amram, Amir Rubin, Gera Weiss
2021 — conf
Adapting Behaviors via Reactive Synthesis.
CAV (1)
Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
2021 J jnl
Adapting Behaviors via Reactive Synthesis.
CoRR
Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss
2021 B conf
Efficient Algorithms for Omega-Regular Energy Games.
FM
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2021 J jnl
GR(1)*: GR(1) specifications extended with existential guarantees.
Formal Aspects Comput.
Gal Amram, Shahar Maoz, Or Pistiner
2020 J jnl
An efficient generalized shift-rule for the prefer-max De Bruijn sequence.
Discret. Math.
Gal Amram, Amir Rubin
2020 J jnl
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games.
CoRR
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2019 J jnl
An efficient shift rule for the prefer-max De Bruijn sequence.
Discret. Math.
Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss
2019 B conf
GR(1)*: GR(1) Specifications Extended with Existential Guarantees.
FM
Gal Amram, Shahar Maoz, Or Pistiner
2018 J jnl
An Efficient Generalized Shift-Rule for the Prefer-Max De Bruijn Sequence.
CoRR
Gal Amram, Amir Rubin
2017 J jnl
An Efficient Shift Rule for the Prefer-Max De Bruijn Sequence.
CoRR
Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss
2017 J jnl
Two-process synchronization.
Theor. Comput. Sci.
Uri Abraham, Gal Amram
2016 B conf
The F-Snapshot Problem.
SIROCCO
Gal Amram
2015 J jnl
Simple Executions of Snapshot Implementations.
CoRR
Gal Amram, Lior Mizrahi, Gera Weiss
2015 J jnl
The F-snapshot Problem.
CoRR
Gal Amram
2014 B conf
On the Mailbox Problem.
OPODIS
Uri Abraham, Gal Amram
2014 Misc conf
On the Signaling Problem.
ICDCN
Gal Amram
2013 J jnl
On the Mailbox Problem.
CoRR
Uri Abraham, Gal Amram