Isaac Li

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Formal Specification

Top Venues

Pervasive Mob. Comput.

Publications

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John A. Stankovic, Meiyi Ma
CitySpec with shield: A secure intelligent assistant for requirement formalization. Pervasive Mob. Comput. 92 (2023)
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. CoRR (2022)
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. SMARTCOMP (2022)
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preurn, John A. Stankovic, Meiyi Ma
An Intelligent Assistant for Converting City Requirements to Formal Specification. SMARTCOMP (2022)
Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
An Intelligent Assistant for Converting City Requirements to Formal Specification. CoRR (2022)