Rachel Faran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2015–2020
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ATVA | On (I/O)-Aware Good-For-Games Automata. | Rachel Faran, Orna Kupferman |
| 2020 | SOFSEM | On Synthesis of Specifications with Arithmetic. | Rachel Faran, Orna Kupferman |
| 2018 | LPAR | LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems. | Rachel Faran, Orna Kupferman |
| 2015 | ATVA | Spanning the Spectrum from Safety to Liveness. | Rachel Faran, Orna Kupferman |