Lookahead-Based SMT Solving. - Antti E. J. Hyvärinen; Matteo Marescotti; Parvin Sadigova; Hana Chockler; Natasha Sharygina (LPAR, 2018)

The Security of Smart Buildings: a Systematic Literature Review. - Pierre Ciholas; Aidan Lennie; Parvin Sadigova; Jose M. Such (CoRR, 2019)