| 2026 | FOSSACS | $\mathbb {K}$ Definitions as Matching Logic Theories, Formally. | Xiaohong Chen, Horatiu Cheval, Dorel Lucanu, Grigore Rosu |
| 2025 | ICASSP | Mamba Meets Financial Markets: A Graph-Mamba Approach for Stock Price Prediction. | Ali Mehrabian, Ehsan Hoseinzade, Mahdi Mazloum, Xiaohong Chen |
| 2025 | ICECCS | UFPC: A Unified Framework for Source and Binary Program Comprehension. | Yiran Zhang, Weisong Sun, Yuqiang Sun, Chengwei Liu, Xiaohong Chen, Yang Liu |
| 2025 | RE | Welcome to the 5th IEEE International Workshop on Environment-Driven Requirements Engineering (EnviRE'25). | Xiaohong Chen, Zhi Jin, Nan Niu, Yijun Yu |
| 2025 | RE | Requirements Dependency Driven Test Case Generation: An Automotive Industry Practice. | Tong Xu, Zheng Zhou, Xiaohong Chen, Zhiyi Xue, Yi Zhao, Min Zhang, Zhi Jin |
| 2024 | ICRA | Synchronized Dual-arm Rearrangement via Cooperative mTSP. | Wenhao Li, Shishun Zhang, Sisi Dai, Hui Huang, Ruizhen Hu, Xiaohong Chen, Kai Xu |
| 2024 | ICSE | Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain. | Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang |
| 2024 | ISSTA | LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing. | Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang |
| 2024 | QRS | Efficient Verification of Multi-Agent Systems Through Parallel. | Zhen Yao, Jing Liu, Xiaohong Chen, Li Han, Haiying Sun |
| 2024 | RE | Building Device Models Using LLMs for Requirements Simulation in Smart Homes. | Shi Chen, Xiaohong Chen, Zhi Jin |
| 2024 | RE | Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems. | Yike Huang, Xiaohong Chen, Zhi Jin, Tingliang Zhou |
| 2024 | RE | Welcome to the Fourth International Workshop on Environment-Driven Requirements Engineering (EnviRE'24). | Zhi Li, Xiaohong Chen, Nan Niu, Yijun Yu |
| 2024 | RE | Generating Requirements Documents for Embedded Systems: A Device Knowledge-Guided Approach. | Chunhui Wang, Jiaqi Zhao, Xiaohong Chen, Zhi Jin |
| 2024 | TACAS | A Logical Treatment of Finite Automata. | Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu |
| 2023 | ICECCS | Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. | Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He |
| 2023 | RE | Requirements Modeling Aided by ChatGPT: An Experience in Embedded Systems. | Kun Ruan, Xiaohong Chen, Zhi Jin |
| 2023 | RE | A Model Checking Based Software Requirements Specification Approach for Embedded Systems. | Xiao Yang, Xiaohong Chen, Jiangtao Wang |
| 2022 | HPCC | Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach. | Shaobin Liu, Xiaohong Chen, Zhi Jin, Min Zhang |
| 2022 | ICML | On Well-posedness and Minimax Optimal Rates of Nonparametric Q-function Estimation in Off-policy Evaluation. | Xiaohong Chen, Zhengling Qi |
| 2022 | ICTAC | Towards a Unifying Logical Framework for Neural Networks. | Xiyue Zhang, Xiaohong Chen, Meng Sun |
| 2022 | RE | Requirements Patterns for Complex Embedded Systems. | Xiaoqi Wang, Xiaohong Chen, Xiao Yang, Bo Yang |
| 2022 | RE | Extracting Requirements Models from Natural-Language Document for Embedded Systems. | Chunhui Wang, Lu Hou, Xiaohong Chen |
| 2022 | SEKE | A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. | Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He |
| 2021 | CAV | Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. | Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu |
| 2021 | RE | Smart3E: Enabling End Users to Express Their Needs for Smart Homes. | Bian Han, Xiaohong Chen, Zhi Jin, Lin Liu |
| 2021 | RE | Environment Model based Requirements Consistency Verification: An Example. | Qianqian Liu, Xiaohong Chen, Zhi Jin |
| 2021 | TrustCom | DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks. | Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu |
| 2021 | TASE | RE2B: Enhancing Correctness of Both Requirements and Design Models. | Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao |
| 2021 | TASE | Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach. | Jiajia Yang, Xiaohong Chen, Ling Yin |
| 2020 | APSEC | Model Checking of Spatial Logic. | Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han |
| 2020 | APSEC | Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. | Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang |
| 2020 | CPP | Matching logic: the foundation of the K framework (invited talk). | Grigore Rosu, Xiaohong Chen |
| 2020 | EMSOFT | Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. | Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu |
| 2020 | QRS | STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. | Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang |
| 2020 | TrustCom | Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems. | Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun |
| 2020 | TASE | Formally Verifying Sequence Diagrams for Safety Critical Systems. | Xiaohong Chen, Frdric Mallet, Xiaoshan Liu |
| 2019 | CALCO | Matching mu-Logic: Foundation of K Framework (Invited Paper). | Xiaohong Chen, Grigore Rosu |
| 2019 | FASE | SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. | Min Zhang, Fu Song, Frdric Mallet, Xiaohong Chen |
| 2019 | ICFEM | A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. | Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin |
| 2019 | LICS | Matching μ-Logic. | Xiaohong Chen, Grigore Rosu |
| 2019 | QRS | Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML. | Linbo Wu, Yunqiang Yan, Feng Gao, Xiaohong Chen, Changhai Nie |
| 2019 | RE | Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems. | Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou |
| 2019 | RE | RE4CPS: Requirements Engineering for Cyber-Physical Systems. | Zhi Jin, Xiaohong Chen, Zhi Li, Yijun Yu |
| 2019 | TASE | Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP. | Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun |
| 2018 | ISoLA | A Language-Independent Approach to Smart Contract Verification. | Xiaohong Chen, Daejun Park, Grigore Rosu |
| 2018 | ISoLA | A Language-Independent Program Verification Framework. | Xiaohong Chen, Grigore Rosu |
| 2018 | SEKE | Modeling of Interlocking Systems based on Patterns. | Yan Wang, Wen Zhong, Xiaohong Chen, Dehui Du |
| 2018 | UIC | Monitoring and Predicating Accidents for Interlocking Systems Based on SHA. | Yan Wang, Xiaohong Chen |
| 2017 | AAAI | Solving Indefinite Kernel Support Vector Machine with Difference of Convex Functions Programming. | Haiming Xu, Hui Xue, Xiaohong Chen, Yunyun Wang |
| 2017 | COMPSAC | An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. | Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen |
| 2017 | ICFEM | Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems. | Xiaohong Chen, Ling Yin, Yijun Yu, Zhi Jin |
| 2017 | ICFEM | Improving Probability Estimation Through Active Probabilistic Model Learning. | Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin |
| 2017 | IDEAL | Universum Discriminant Canonical Correlation Analysis. | Xiaohong Chen, Hujun Yin, Menglei Hu, Liping Wang |
| 2017 | IDEAL | Fuzzy 2D-LDA Face Recognition Based on Sub-image. | Xingrui Zhang, Yulian Zhu, Xiaohong Chen |
| 2016 | COMPSAC | Safety Requirements Specification and Verification for Railway Interlocking Systems. | Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen |
| 2016 | FM | Towards Concolic Testing for Hybrid Systems. | Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang |
| 2016 | PRICAI | Maximum Margin Tree Error Correcting Output Codes. | Fa Zheng, Hui Xue, Xiaohong Chen, Yunyun Wang |
| 2016 | RE | Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. | Xiaohong Chen, Li Han, Jing Liu, Haiying Sun |
| 2016 | SEKE | Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach. | Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen |
| 2015 | APSEC | Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. | Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du |
| 2015 | APSEC | Decomposing Automatic Train Control Verification System with Projection. | Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang |
| 2015 | COMPSAC | Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. | Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun |
| 2015 | ICA3PP | LIP3: A Lightweighted Fine-Grained Privacy-Preserving Profile Matching Mechanism for Mobile Social Networks in Proximity. | Yufeng Wang, Xiaohong Chen, Qun Jin, Jianhua Ma |
| 2015 | QRS | HSD: Hybrid MARTE Sequence Diagram. | Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen |
| 2015 | TASE | A Framework for Off-Line Conformance Testing of Timed Connectors. | Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun |
| 2014 | APSEC | Improving Testing Coverage for Safety-Critical System by Mutated Specification. | Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du |
| 2014 | ICFEM | A Hybrid Model of Connectors in Cyber-Physical Systems. | Xiaohong Chen, Jun Sun, Meng Sun |
| 2013 | APSEC | Problem Frames Construction from Feature Models. | Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu |
| 2013 | COMPSAC | Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach. | Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu |
| 2013 | TASE | Unified Modeling of Active and Reactive Components for Real-Time Systems. | Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan |
| 2012 | IGARSS | Hyperspectral characteristics of seawater intrusion in Pearl River Delta, China based on laboratory experiments. | Yujiu Xiong, Guoyu Qiu, Xiaohong Chen, Sheng Lin Tan, Haixia Feng |
| 2012 | ISORC | Extending the Four-Variable Model for Cyber-Physical Systems. | Xiaohong Chen, Mingsong Chen |
| 2012 | SEKE | Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach. | Xiaohong Chen, Jing Liu |
| 2011 | APSEC | Modeling Timing Requirements in Problem Frames Using CCSL. | Xiaohong Chen, Jing Liu, Frdric Mallet, Zhi Jin |
| 2011 | ICDAR | Signature Verification Competition for Online and Offline Skilled Forgeries (SigComp2011). | Marcus Liwicki, Muhammad Imran Malik, C. Elisa van den Heuvel, Xiaohong Chen, Charles Berger, Reinoud Stoel, Michael Blumenstein, Bryan Found |
| 2011 | IGARSS | Mapping of chlorophyll-a concentration of reservoir Dajingshan, Zhuhai, China, from LandSat thematic mapper. | Yujiu Xiong, Xiaohong Chen, Guoyu Qiu, Sheng Lin Tan |
| 2011 | KSEM | On Constructing Software Environment Ontology for Time-Continuous Environment. | Xiaohong Chen, Jing Liu, Zuohua Ding |
| 2010 | RE | Dptool: A Tool for Supporting the Problem Description and Projection. | Xiaohong Chen, Bin Yin, Zhi Jin |
| 2009 | APSEC | Performing Projection in Problem Frames Using Scenarios. | Zhi Jin, Xiaohong Chen, Didar Zowghi |
| 2009 | ISPA | Research on Services Selection Based on Credible Alliance in Web Services Combination. | Chunhua Hu, Xiaohong Chen, Jianxun Liu, Jibo Liu |
| 2008 | ICSE | An ontology-guided process for developing problem frame specification: an example. | Xiaohong Chen, Zhi Jin |
| 2007 | CDVE | SECGrid: Science and Engineering Computing Based Collaborative Problem Solving Environment. | Xiaohong Chen, Bin Gong, Hui Liu, Yi Hu |
| 2007 | KSEM | An Ontology of Problem Frames for Guiding Problem Frame Specification. | Xiaohong Chen, Zhi Jin, Lijun Yi |
| 2007 | SNPD | A Cheating Detection Mechanism based on Fuzzy Reputation Management of P2P MMOGs. | Xiangbin Shi, Fang Liu, Ling Du, Xiaohong Chen, Yuansheng Xing |