Or Pistiner

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 7

Top Topics

Reactive Behavior

Delay Insensitive

Specification Language

Top Venues

Formal Aspects Comput.

Publications

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. Software Engineering (2024)
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. ICSE (2023)
Gal Amram, Shahar Maoz, Or Pistiner
GR(1)*: GR(1) specifications extended with existential guarantees. Formal Aspects Comput. 33 (4-5) (2021)
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Efficient Algorithms for Omega-Regular Energy Games. FM (2021)
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. CoRR (2020)
Gal Amram, Shahar Maoz, Or Pistiner
GR(1)*: GR(1) Specifications Extended with Existential Guarantees. FM (2019)
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Symbolic BDD and ADD Algorithms for Energy Games. SYNT@CAV (2016)