Sara NavidPour

Proving programs robust

Sumit Gulwani, Swarat Chaudhuri, Roberto Lublinerman, 2011, ESEC/FSE '11.

Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps

Ali Movaghar-Rahimabadi, Mohammad Izadi, Sara NavidPour, 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.