Modeling Timing Requirements in Problem Frames Using CCSL. - Xiaohong Chen 007; Jing Liu 012; Frédéric Mallet; Zhi Jin (APSEC, 2011)

On Constructing Software Environment Ontology for Time-Continuous Environment. - Xiaohong Chen 007; Jing Liu 012; Zuohua Ding (KSEM, 2011)

An approach to communicating process modeling of MARTE. - Zhike Wu; Jing Liu 012; Xiaohong Chen 007; Mingsong Chen 001 (Internetware, 2012)

Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach. - Xiaohong Chen 007; Jing Liu 012 (SEKE, 2012)

Problem Frames Construction from Feature Models. - Xiaohong Chen 007; Haiying Sun; Ronghua Ye; Jing Liu 012 (APSEC (1), 2013)

Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach. - Xiaohong Chen 007; Ronghua Ye; Haiying Sun; Hong Lu (COMPSAC, 2013)

Hybrid AADL: a sublanguage extension to AADL. - Yuqing Qian; Jing Liu 012; Xiaohong Chen 007 (Internetware, 2013)

Unified Modeling of Active and Reactive Components for Real-Time Systems. - Zhucheng Shao; Jing Liu 012; Xiaohong Chen 007; Zuohua Ding; Zhengheng Yuan (TASE, 2013)

Requirements monitoring for Internetware: an interaction based approach. - Xiaohong Chen 007; Jing Liu 012; Zhiming Liu 001 (Sci. China Inf. Sci., 2013)

Improving Testing Coverage for Safety-Critical System by Mutated Specification. - Tingliang Zhou; Haiying Sun; Jing Liu 012; Xiaohong Chen 007; Dehui Du (APSEC (1), 2014)

Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. - Haiying Sun; Jing Liu 012; Xiaohong Chen 007; Dehui Du (APSEC, 2015)

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. - Xiaohong Chen 007; Fan Gu; Mingsong Chen 001; Dehui Du; Jing Liu 012; Haiying Sun (COMPSAC, 2015)

Hybrid Lustre. - Zhengheng Yuan; Tingliang Zhou; Jing Liu 012; Juan Luo; Yi Zhang; Xiaohong Chen 007 (Ershov Memorial Conference, 2015)

HSD: Hybrid MARTE Sequence Diagram. - Lulu Yao; Jing Liu 012; Yan Zhang 072; Yuejun Wang; Haiying Sun; Qingsheng Wang; Dehui Du; Xiaohong Chen 007 (QRS, 2015)

Safety Requirements Specification and Verification for Railway Interlocking Systems. - Li Han 001; Jing Liu 012; Tingliang Zhou; Junfeng Sun; Xiaohong Chen 007 (COMPSAC, 2016)

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. - Xiaohong Chen 007; Li Han 001; Jing Liu 012; Haiying Sun (RE Workshops, 2016)

Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach. - Yuanyang Wang; Xiaohong Chen 007; Haiying Sun; Mingsong Chen 001 (SEKE, 2016)

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. - Jie Liu 013; Jing Liu 012; Miaomiao Zhang 003; Haiying Sun; Xiaohong Chen 007; Dehui Du; Mingsong Chen 001 (COMPSAC (1), 2017)

A proof-based method of hybrid systems development using differential invariants. - Jie Liu 013; Jing Liu 012; Miaomiao Zhang 003; Haiying Sun; Xiaohong Chen 007; Dehui Du; Mingsong Chen 001 (Frontiers Comput. Sci., 2018)

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. - Zhengheng Yuan; Xiaohong Chen 007; Jing Liu 012; Yijun Yu; Haiying Sun; Tingliang Zhou; Zhi Jin (IEEE Trans. Intell. Transp. Syst., 2018)

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. - Min Zhang 002; Fu Song; Frédéric Mallet; Xiaohong Chen 007 (FASE, 2019)

A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. - Dongdong An; Jing Liu 012; Xiaohong Chen 007; Tengfei Li 002; Ling Yin 002 (ICFEM, 2019)

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems. - Xiaohong Chen 007; Zhiwei Zhong; Zhi Jin; Min Zhang 002; Tong Li 001; Xiang Chen; Tingliang Zhou (RE, 2019)

Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP. - Xiaohong Chen 007; Xi Wu 005; Mengyao Zhao; Haiying Sun (TASE, 2019)

Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica. - Hao Zhou; Mengyao Zhao; Linbo Wu; Xiaohong Chen 007 (Int. J. Softw. Sci. Comput. Intell., 2019)

Model Checking of Spatial Logic. - Tengfei Li 002; Jing Liu 012; Jiexiang Kang; Haiying Sun; Xiaohong Chen 007; Li Han 001 (APSEC, 2020)

Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. - Qian Liu; Robert de Simone; Xiaohong Chen 007; Jiexiang Kang; Jing Liu 012; Wei Yin; Hui Wang (APSEC, 2020)

Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. - Qian Liu; Robert de Simone; Xiaohong Chen 007; Jing Liu 012 (EMSOFT, 2020)

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. - Tengfei Li 002; Jing Liu 012; Jiexiang Kang; Haiying Sun; Wei Yin; Xiaohong Chen 007; Hui Wang (QRS, 2020)

Formally Verifying Sequence Diagrams for Safety Critical Systems. - Xiaohong Chen 007; Frédéric Mallet; Xiaoshan Liu (TASE, 2020)

Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems. - Tengfei Li 002; Xiaohong Chen 007; Haiying Sun; Jing Liu 012; Jiajia Yang; Chenchen Yang; Junfeng Sun (TrustCom, 2020)

2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform. - Pan Fan; Jing Liu 012; Wei Yin; Hui Wang; Xiaohong Chen 007; Haiying Sun (J. Cloud Comput., 2020)

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. - Dongdong An; Jing Liu 012; Min Zhang 002; Xiaohong Chen 007; Mingsong Chen 001; Haiying Sun (J. Syst. Softw., 2020)

Smart3E: Enabling End Users to Express Their Needs for Smart Homes. - Bian Han; Xiaohong Chen 007; Zhi Jin; Lin Liu 001 (RE, 2021)

RE2B: Enhancing Correctness of Both Requirements and Design Models. - Shiling Feng; Xiaohong Chen 007; Qin Li 002; Yongxin Zhao (TASE, 2021)

Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach. - Jiajia Yang; Xiaohong Chen 007; Ling Yin 002 (TASE, 2021)

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 007; Zhongjie Gao; Shuning Wang; Jing Liu 012 (TrustCom, 2021)

Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling. - Bian Han; Xiaohong Chen 007; Zhi Jin; Min Zhang 002 (Int. J. Softw. Informatics, 2021)

Runtime Verification of Spatio-Temporal Specification Language. - Tengfei Li 002; Jing Liu 012; Haiying Sun; Xiaohong Chen 007; Ling Yin 002; Xia Mao; Junfeng Sun (Mob. Networks Appl., 2021)

Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach. - Shaobin Liu; Xiaohong Chen 007; Zhi Jin; Min Zhang 002 (HPCC/DSS/SmartCity/DependSys, 2022)

A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. - Qian Wang; Jing Liu 012; John Zhang; Hui Dou; Haiying Sun; HongTao Chen; Xiaohong Chen 007; Jifeng He 001 (SEKE, 2022)

Formally verifying consistency of sequence diagrams for safety critical systems. - Xiaohong Chen 007; Qianqian Liu; Frédéric Mallet; Qin Li 002; Shubin Cai; Zhi Jin (Sci. Comput. Program., 2022)

Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. - Qian Wang; Jing Liu 012; John Zhang; Hui Dou; Haiying Sun; HongTao Chen; Xiaohong Chen 007; Jifeng He 001 (ICECCS, 2023)

AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems. - Ming Hu 003; E. Cao; Hongbing Huang; Min Zhang 002; Xiaohong Chen 007; Mingsong Chen 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL. - Ming Hu 003; Jun Xia 003; Min Zhang 002; Xiaohong Chen 007; Frédéric Mallet; Mingsong Chen 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements. - Xiaohong Chen 007; Juan Zhang; Zhi Jin; Min Zhang 002; Tong Li 001; Xiang Chen; Tingliang Zhou (IEEE Trans. Intell. Transp. Syst., 2023)

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 007; Pingping Li; Liangyu Chen 001; Tingting Jiang 012; Min Zhang 002 (ICSE Companion, 2024)

LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing. - Zhiyi Xue; Liangguo Li; Senyue Tian; Xiaohong Chen 007; Pingping Li; Liangyu Chen 001; Tingting Jiang 012; Min Zhang 002 (ISSTA, 2024)

Efficient Verification of Multi-Agent Systems Through Parallel. - Zhen Yao; Jing Liu 012; Xiaohong Chen 007; Li Han 001; Haiying Sun (QRS, 2024)

Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems. - Yike Huang; Xiaohong Chen 007; Zhi Jin; Tingliang Zhou (RE Workshops, 2024)

TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming. - Liangyu Chen 001; Chen Wang; Cheng Chen 028; Caidie Huang; Xiaohong Chen 007; Min Zhang 002 (IEEE Internet Things J., 2024)

A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. - Xiaohong Chen 007; Zhi Jin; Min Zhang 002; Frédéric Mallet; Xiaoshan Liu; Tingliang Zhou (IEEE Trans. Intell. Transp. Syst., 2024)

Expressing the Needs in Smart Home: What Is the End Users' Favorite Way. - Xiaohong Chen 007; Shi Chen; Zhi Jin; Han Bian; Zihan Chen; Haotian Li (ACM Trans. Comput. Hum. Interact., 2025)

What You See Is What You Get: Prototype Generation for IoT End-User Programming. - Xiaohong Chen 007; Shi Chen; Zhi Jin; Zihan Chen; Mingsong Chen 001 (IEEE Trans. Software Eng., 2025)