1 citations · 2 across the 3 of their papers we have counts for
4 papers
Adapting Behaviors via Reactive Synthesis
Gal Amram, Suguman Bansal, Dror Fried +3
In the \emph{Adapter Design Pattern}, a programmer implements a \emph{Target} interface by constructing an \emph{Adapter} that accesses an existing \emph{Adaptee} code. In this wor…
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence
Gal Amram, Amir Rubin, Gera Weiss
We propose a novel construction for the well-known prefer-max De Bruijn sequence, based on the cycle joining technique. We further show that the construction implies known results…
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games
Gal Amram, Shahar Maoz, Or Pistiner +1
-regular energy games, which are weighted two-player turn-based games with the quantitative objective to keep the energy levels non-negative, have been used in the context of ve…
Simple Executions of Snapshot Implementations
Gal Amram, Lior Mizrahi, Gera Weiss
The well known snapshot primitive in concurrent programming allows for n-asynchronous processes to write values to an array of single-writer registers and, for each process, to tak…