Seguir
Jie An
Título
Citado por
Citado por
Año
The opacity of real-time automata
L Wang, N Zhan, J An
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
442018
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
422020
Learning real-time automata
J An, L Wang, B Zhan, N Zhan, M Zhang
Science China Information Sciences 64 (9), 192103, 2021
172021
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
122022
Inferring switched nonlinear dynamical systems
X Jin, J An, B Zhan, N Zhan, M Zhang
Formal Aspects of Computing 33 (3), 385-406, 2021
10*2021
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
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
92021
NIL: learning nonlinear interpolants
M Chen, J Wang, J An, B Zhan, D Kapur, N Zhan
International Conference on Automated Deduction, 178-196, 2019
82019
The opacity of timed automata
J An, Q Gao, L Wang, N Zhan, I Hasuo
International Symposium on Formal Methods, 620-637, 2024
52024
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
42020
Online Causation Monitoring of Signal Temporal Logic
Z Zhang, J An, P Arcaini, I Hasuo
International Conference on Computer Aided Verification, 62-84, 2023
32023
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
32022
Learning Deterministic Multi-Clock Timed Automata
Y Teng, M Zhang, J An
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
22024
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
22020
Learning one-clock timed automata (full version)
J An, M Chen, B Zhan, N Zhan, M Zhang
arXiv preprint arXiv:1910.10680, 2019
22019
基于实时自动机的连续时段演算的验证
安杰, 张苗苗
软件学报 30 (7), 1953-1965, 2019
12019
CauMon: An Informative Online Monitor for Signal Temporal Logic
Z Zhang, J An, P Arcaini, I Hasuo
International Symposium on Formal Methods, 286-304, 2024
2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
S Sato, J An, Z Zhang, I Hasuo
International Conference on Computer Aided Verification, 282-306, 2024
2024
运用时间分类树的确定单时钟时间自动机学习
米钧日, 张苗苗, 安杰, 杜博闻
软件学报 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20