Jie An

According to our database, Jie An authored at least 19 papers between 2018 and 2024.

Collaborative distances:

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

2024

Learning Deterministic Multi-Clock Timed Automata.

Yu Teng, Miaomiao Zhang, Jie An

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

CauMon: An Informative Online Monitor for Signal Temporal Logic.

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Proceedings of the Formal Methods - 26th International Symposium, 2024

The Opacity of Timed Automata.

Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo

Proceedings of the Formal Methods - 26th International Symposium, 2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.

Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Online Causation Monitoring of Signal Temporal Logic (Artifact).

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Dataset, April, 2023

Online Causation Monitoring of Signal Temporal Logic (Artifact).

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Dataset, April, 2023

Online Causation Monitoring of Signal Temporal Logic.

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Active Learning of One-Clock Timed Automata Using Constraint Solving.

Runqing Xu, Jie An, Bohua Zhan

Proceedings of the Automated Technology for Verification and Analysis, 2022

Learning Deterministic One-Clock Timed Automata via Mutation Testing.

Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Learning Nondeterministic Real-Time Automata.

Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

ACM Trans. Embed. Comput. Syst., 2021

Inferring Switched Nonlinear Dynamical Systems.

Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

Formal Aspects Comput., 2021

Learning real-time automata.

Jie An, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

Sci. China Inf. Sci., 2021

2020

From model to implementation: a network algorithm programming language.

Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan

Sci. China Inf. Sci., 2020

Learning One-Clock Timed Automata.

Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

PAC Learning of Deterministic One-Clock Timed Automata.

Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan

Proceedings of the Formal Methods and Software Engineering, 2020

2019

High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training.

Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

NIL: Learning Nonlinear Interpolants.

Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan

Proceedings of the Automated Deduction - CADE 27, 2019

2018

The Opacity of Real-Time Automata.

Lingtai Wang, Naijun Zhan, Jie An

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Model Checking Bounded Continuous-time Extended Linear Duration Invariants.

Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018