Jie An

According to our database, Jie An authored at least 29 papers between 2018 and 2025.

Collaborative distances:

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

2025

Efficient Decomposition Identification of Deterministic Finite Automata from Examples.

Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang

CoRR, September, 2025

On Synthesis of Timed Regular Expressions.

Ziran Wang, Jie An, Naijun Zhan, Miaomiao Zhang, Zhenya Zhang

CoRR, September, 2025

Componentwise Automata Learning for System Integration (Extended Version).

Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo

CoRR, August, 2025

Derivative-Agnostic Inference of Nonlinear Hybrid Systems.

Hengzhi Yu, Bohan Ma, Mingshuai Chen, Jie An, Bin Gu, Naijun Zhan, Jianwei Yin

CoRR, July, 2025

Causality Monitoring for MIMOS.

Chengzi Huang, Behnam Khodabandeloo, Duc Anh Nguyen, Wang Yi, Jie An, Zhang Zhenya

Proceedings of the Principles of Formal Quantitative Analysis, 2025

Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge.

Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiaohong Chen, Naijun Zhan

Proceedings of the Findings of the Association for Computational Linguistics, 2025

2024

CauMon: An Informative Online Monitor for Signal Temporal Logic.

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Dataset, June, 2024

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

Sota Sato, Jie An, Zhang Zhenya, Ichiro Hasuo

Dataset, April, 2024

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

Sota Sato, Jie An, Zhang Zhenya, Ichiro Hasuo

Dataset, April, 2024

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

Sota Sato, Jie An, Zhang Zhenya, Ichiro Hasuo

Dataset, April, 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