Jie An

42 papers A* 1A 3B 5C 1Journal 22Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Exact Moment Estimation of Stochastic Differential Dynamics.
CoRR
Shenghua Feng, Jie An, Naijun Zhan, Fanjiang Xu
2026 — conf
Quantifier Elimination Meets Treewidth.
TACAS (1)
Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
2026 J jnl
Quantifier Elimination Meets Treewidth.
CoRR
Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
2026 A* conf
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation.
AAAI
Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiao-hong Chen, Naijun Zhan
2026 B conf
SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation.
VMCAI
Junjie Meng, Jie An, Yong Li, Andrea Turrini, Miaomiao Zhang
2026 J jnl
STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version).
CoRR
Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
2025 J jnl
Active learning of deterministic timed automata via timed classification tree.
Sci. China Inf. Sci.
Yu Teng, Hanyue Chen, Junri Mi, Miaomiao Zhang, Jie An, Naijun Zhan
2025 — conf
Causality Monitoring for MIMOS.
Principles of Formal Quantitative Analysis
Chengzi Huang, Behnam Khodabandeloo, Duc Anh Nguyen, Wang Yi, Jie An, Zhang Zhenya
2025 J jnl
Componentwise Automata Learning for System Integration (Extended Version).
CoRR
Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo
2025 B conf
Componentwise Automata Learning for System Integration.
ATVA
Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo
2025 A conf
Control Synthesis of Cyber-Physical Systems for Real-Time Specifications Through Causation-Guided Reinforcement Learning.
RTSS
Xiaochen Tang, Zhenya Zhang, Miaomiao Zhang, Jie An
2025 J jnl
Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning.
CoRR
Xiaochen Tang, Zhenya Zhang, Miaomiao Zhang, Jie An
2025 J jnl
Derivative-Agnostic Inference of Nonlinear Hybrid Systems.
CoRR
Hengzhi Yu, Bohan Ma, Mingshuai Chen, Jie An, Bin Gu, Naijun Zhan, Jianwei Yin
2025 J jnl
Efficient Decomposition Identification of Deterministic Finite Automata from Examples.
CoRR
Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang
2025 — conf
Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge.
ACL (Findings)
Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiao-hong Chen, Naijun Zhan
2025 J jnl
Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge.
CoRR
Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiao-hong Chen, Naijun Zhan
2025 A conf
On Synthesis of Timed Regular Expressions.
RTSS
Ziran Wang, Jie An, Naijun Zhan, Miaomiao Zhang, Zhenya Zhang
2025 J jnl
On Synthesis of Timed Regular Expressions.
CoRR
Ziran Wang, Jie An, Naijun Zhan, Miaomiao Zhang, Zhenya Zhang
2025 J jnl
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation.
CoRR
Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiao-hong Chen, Naijun Zhan
2024 — conf
CauMon: An Informative Online Monitor for Signal Temporal Logic.
FM (2)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
2024 — conf
Learning Deterministic Multi-Clock Timed Automata.
HSCC
Yu Teng, Miaomiao Zhang, Jie An
2024 J jnl
Learning Deterministic Multi-Clock Timed Automata.
CoRR
Yu Teng, Miaomiao Zhang, Jie An
2024 — conf
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.
CAV (3)
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
2024 J jnl
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.
CoRR
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
2024 — conf
The Opacity of Timed Automata.
FM (1)
Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo
2023 — conf
Online Causation Monitoring of Signal Temporal Logic.
CAV (1)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
2023 J jnl
Online Causation Monitoring of Signal Temporal Logic.
CoRR
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
2022 B conf
Active Learning of One-Clock Timed Automata Using Constraint Solving.
ATVA
Runqing Xu, Jie An, Bohua Zhan
2022 J jnl
Active Learning of One-Clock Timed Automata using Constraint Solving.
CoRR
Runqing Xu, Jie An, Bohua Zhan
2022 B conf
Learning Deterministic One-Clock Timed Automata via Mutation Testing.
ATVA
Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan
2021 J jnl
Inferring Switched Nonlinear Dynamical Systems.
Formal Aspects Comput.
Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2021 J jnl
Learning Nondeterministic Real-Time Automata.
ACM Trans. Embed. Comput. Syst.
Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2021 J jnl
Learning real-time automata.
Sci. China Inf. Sci.
Jie An, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2020 J jnl
From model to implementation: a network algorithm programming language.
Sci. China Inf. Sci.
Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan
2020 — conf
Learning One-Clock Timed Automata.
TACAS (1)
Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2020 C conf
PAC Learning of Deterministic One-Clock Timed Automata.
ICFEM
Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan
2019 B conf
High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training.
ICTAI
Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu
2019 J jnl
Learning One-Clock Timed Automata.
CoRR
Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2019 A conf
NIL: Learning Nonlinear Interpolants.
CADE
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
2019 J jnl
NIL: Learning Nonlinear Interpolants.
CoRR
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
2018 — conf
Model Checking Bounded Continuous-time Extended Linear Duration Invariants.
HSCC
Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi
2018 J jnl
The Opacity of Real-Time Automata.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Lingtai Wang, Naijun Zhan, Jie An