Jie An

According to our database, Jie An authored at least 44 papers between 2018 and 2026.

Collaborative distances:

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

2026

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification.

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

CoRR, May, 2026

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version).

Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

CoRR, March, 2026

Counterexample Classification against Signal Temporal Logic Specifications.

Zhenya Zhang, Parv Kapoor, Jie An, Eunsuk Kang

CoRR, January, 2026

Quantifier Elimination Meets Treewidth (Research Artifact).

Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan

Dataset, January, 2026

Quantifier Elimination Meets Treewidth (Research Artifact).

Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan

Dataset, January, 2026

CauMon: A tool for online monitoring against signal temporal logic.

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Sci. Comput. Program., 2026

SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation.

Junjie Meng, Jie An, Yong Li, Andrea Turrini, Miaomiao Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2026

Quantifier Elimination Meets Treewidth.

Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan

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

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP.

Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

Proceedings of the Formal Methods - 27th International Symposium, 2026

Exact Moment Estimation of Stochastic Differential Dynamics.

Shenghua Feng, Jie An, Naijun Zhan, Fanjiang Xu

Proceedings of the Formal Methods - 27th International Symposium, 2026

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions.

Shenghua Feng, Jie An, Fanjiang Xu

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation.

Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiao-hong Chen, Naijun Zhan

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

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

Active learning of deterministic timed automata via timed classification tree.

Yu Teng, Hanyue Chen, Junri Mi, Miaomiao Zhang, Jie An, Naijun Zhan

Sci. China Inf. Sci., 2025

Efficient Decomposition Identification of Deterministic Finite Automata from Examples.

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

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2025

On Synthesis of Timed Regular Expressions.

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

Proceedings of the IEEE Real-Time Systems Symposium, 2025

Control Synthesis of Cyber-Physical Systems for Real-Time Specifications Through Causation-Guided Reinforcement Learning.

Xiaochen Tang, Zhenya Zhang, Miaomiao Zhang, Jie An

Proceedings of the IEEE Real-Time Systems Symposium, 2025

Causality Monitoring for MIMOS.

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

Proceedings of the Principles of Formal Quantitative Analysis, 2025

Componentwise Automata Learning for System Integration.

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

Proceedings of the Automated Technology for Verification and 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, Xiao-hong 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, Zhenya Zhang, Ichiro Hasuo

Dataset, April, 2024

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

Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

Dataset, April, 2024

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

Sota Sato, Jie An, Zhenya Zhang, 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