Rachel Faran

According to our database, Rachel Faran authored at least 6 papers between 2018 and 2020.

Collaborative distances:

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

2020

Verification and Synthesis of Systems with a Rich Structure (כותר נוסף בעברית: אימות וסינתזה של מערכות בעלות מבנה עשיר).

Rachel Faran

PhD thesis, 2020

On Synthesis of Specifications with Arithmetic.

Rachel Faran, Orna Kupferman

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

On (I/O)-Aware Good-For-Games Automata.

Rachel Faran, Orna Kupferman

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

A Parametrized Analysis of Algorithms on Hierarchical Graphs.

Rachel Faran, Orna Kupferman

Int. J. Found. Comput. Sci., 2019

2018

Spanning the spectrum from safety to liveness.

Rachel Faran, Orna Kupferman

Acta Informatica, 2018

LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems.

Rachel Faran, Orna Kupferman

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018