Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. - Sara NavidPour; Mohammad Izadi; Ali Movaghar 001 (COMPSAC, 2008)

Linear Temporal Logic of Constraint Automata. - Sara NavidPour; Mohammad Izadi (CSICC, 2008)

Proving programs robust. - Swarat Chaudhuri; Sumit Gulwani; Roberto Lublinerman; Sara NavidPour (SIGSOFT FSE, 2011)