Isaac Li

According to our database, Isaac Li authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

CitySpec with shield: A secure intelligent assistant for requirement formalization.

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John A. Stankovic, Meiyi Ma

Pervasive Mob. Comput., 2023

2022

An Intelligent Assistant for Converting City Requirements to Formal Specification.

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma

Proceedings of the 2022 IEEE International Conference on Smart Computing, 2022

CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities.

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma

Proceedings of the 2022 IEEE International Conference on Smart Computing, 2022