CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. - Zirong Chen; Isaac Li; Haoxiang Zhang 003; Sarah Masud Preum; John A. Stankovic; Meiyi Ma (SMARTCOMP, 2022)

An Intelligent Assistant for Converting City Requirements to Formal Specification. - Zirong Chen; Isaac Li; Haoxiang Zhang 003; Sarah Masud Preum; John A. Stankovic; Meiyi Ma (SMARTCOMP, 2022)

CitySpec with shield: A secure intelligent assistant for requirement formalization. - Zirong Chen; Isaac Li; Haoxiang Zhang 003; Sarah Preum; John A. Stankovic; Meiyi Ma (Pervasive Mob. Comput., 2023)