Bringing LTL Model Checking to Biologists. - Zara Ahmed; David Benqué; Sergey Berezin; Anna Caroline E. Dahl; Jasmin Fisher; Benjamin A. Hall; Samin Ishtiaq; Jay Nanavati; Nir Piterman; Maik Riechert; Nikita Skoblov (VMCAI, 2017)

Trust Management With Fault-Tolerant Supervised Routing for Smart Cities Using Internet of Things. - Khalid Haseeb; Tanzila Saba; Amjad Rehman; Zara Ahmed; Houbing Herbert Song; Huihui Helen Wang (IEEE Internet Things J., 2022)