According to our database1, Rachel Faran authored at least 4 papers between 2015 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Spanning the spectrum from safety to liveness.
Acta Inf., 2018
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
A Parametrized Analysis of Algorithms on Hierarchical Graphs.
Proceedings of the Descriptional Complexity of Formal Systems, 2017
Spanning the Spectrum from Safety to Liveness.
Proceedings of the Automated Technology for Verification and Analysis, 2015