acm sigbed
|
emsoft
|
participants
Jie An
EMSOFT 2021: 21st International Conference on Embedded Software
Learning Nondeterministic Real-Time Automata
Jie An
,
Bohua Zhan
,
Naijun Zhan
, and
Miaomiao Zhang
10.1145/3477030
https://lcs.ios.ac.cn/~znj/papers/Learning_Nondeterministic_Real_Time_Automata.pdf
EMSOFT 2018: 18th International Conference on Embedded Software
The Opacity of Real-Time Automata
Lingtai Wang
,
Naijun Zhan
, and
Jie An
10.1109/TCAD.2018.2857363
https://lcs.ios.ac.cn/~znj/papers/EMSOFT2018.pdf