Folgen
Jie An
Jie An
Project Assistant Professor, National Institute of Informatics, Tokyo, Japan
Bestätigte E-Mail-Adresse bei nii.ac.jp - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
352020
The opacity of real-time automata
L Wang, N Zhan, J An
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
282018
Learning real-time automata
J An, L Wang, B Zhan, N Zhan, M Zhang
Science China Information Sciences 64 (9), 192103, 2021
142021
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
7*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
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
52020
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
42021
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
32022
Learning one-clock timed automata (full version)
J An, M Chen, B Zhan, N Zhan, M Zhang
arXiv preprint arXiv:1910.10680, 2019
22019
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
12022
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
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, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17