Follow
Jie An
Title
Cited by
Cited by
Year
Learning one-clock timed automata
J An, M Chen, B Zhan, N Zhan, M Zhang
International Conference on Tools and Algorithms for the Construction and …, 2020
372020
The opacity of real-time automata
L Wang, N Zhan, J An
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
312018
Learning real-time automata
J An, L Wang, B Zhan, N Zhan, M Zhang
Science China Information Sciences 64 (9), 192103, 2021
152021
Model checking bounded continuous-time extended linear duration invariants
J An, N Zhan, X Li, M Zhang, W Yi
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
102018
Inferring switched nonlinear dynamical systems
X Jin, J An, B Zhan, N Zhan, M Zhang
Formal Aspects of Computing 33 (3), 385-406, 2021
8*2021
NIL: learning nonlinear interpolants
M Chen, J Wang, J An, B Zhan, D Kapur, N Zhan
International Conference on Automated Deduction, 178-196, 2019
72019
Learning nondeterministic real-time automata
J An, B Zhan, N Zhan, M Zhang
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021
62021
PAC learning of deterministic one-clock timed automata
W Shen, J An, B Zhan, M Zhang, B Xue, N Zhan
International Conference on Formal Engineering Methods, 129-146, 2020
62020
Active learning of one-clock timed automata using constraint solving
R Xu, J An, B Zhan
International Symposium on Automated Technology for Verification and …, 2022
42022
Learning deterministic one-clock timed automata via mutation testing
X Tang, W Shen, M Zhang, J An, B Zhan, N Zhan
International Symposium on Automated Technology for Verification and …, 2022
22022
Learning one-clock timed automata (full version)
J An, M Chen, B Zhan, N Zhan, M Zhang
arXiv preprint arXiv:1910.10680, 2019
22019
From model to implementation: a network algorithm programming language
J Wang, J An, M Chen, N Zhan, L Wang, M Zhang, T Gan
Science China Information Sciences 63, 1-17, 2020
12020
基于实时自动机的连续时段演算的验证
安杰， 张苗苗
软件学报 30 (7), 1953-1965, 2019
12019
Learning Deterministic Multi-Clock Timed Automata
Y Teng, M Zhang, J An
arXiv preprint arXiv:2404.07823, 2024
2024
Online Causation Monitoring of Signal Temporal Logic
Z Zhang, J An, P Arcaini, I Hasuo
International Conference on Computer Aided Verification, 62-84, 2023
2023
运用时间分类树的确定单时钟时间自动机学习
米钧日， 张苗苗， 安杰， 杜博闻
软件学报 33 (8), 2797-2814, 2022
2022
High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training
X Hou, J An, M Zhang, B Du, J Liu
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
2019
Sub-Reviewers TASE 2021
J An, P Arcaini, JP Bodeveix, H Cirstea, G Cledou, D Dghaym, J Dubut, ...
The system can't perform the operation now. Try again later.
Articles 1–18