Xiaohong Chen

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 25

Top Topics

Specification Language

Top Venues

IEEE Trans. Intell. Transp. Syst.

Publications

Liangyu Chen, Chen Wang, Cheng Chen, Caidie Huang, Xiaohong Chen, Min Zhang
TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming. IEEE Internet Things J. 11 (12) (2024)
Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang
Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain. ICSE Companion (2024)
Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Trans. Intell. Transp. Syst. 25 (8) (2024)
Xiaohong Chen, Juan Zhang, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements. IEEE Trans. Intell. Transp. Syst. 24 (12) (2023)
Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, Mingsong Chen
Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (12) (2023)
Ming Hu, E. Cao, Hongbing Huang, Min Zhang, Xiaohong Chen, Mingsong Chen
AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun
Runtime Verification of Spatio-Temporal Specification Language. Mob. Networks Appl. 26 (6) (2021)
Jiajia Yang, Xiaohong Chen, Ling Yin
Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach. TASE (2021)
Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems. TrustCom (2020)
Pan Fan, Jing Liu, Wei Yin, Hui Wang, Xiaohong Chen, Haiying Sun
2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform. J. Cloud Comput. 9 (2020)
Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. J. Syst. Softw. 167 (2020)
Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu
Formally Verifying Sequence Diagrams for Safety Critical Systems. TASE (2020)
Tengfei Li, Jing Liu, JieXiang Kang, Haiying Sun, Xiaohong Chen, Li Han
Model Checking of Spatial Logic. APSEC (2020)
Tengfei Li, Jing Liu, JieXiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. QRS (2020)
Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun
Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP. TASE (2019)
Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. ICFEM (2019)
Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems. RE (2019)
Hao Zhou, Mengyao Zhao, Linbo Wu, Xiaohong Chen
Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica. Int. J. Softw. Sci. Comput. Intell. 11 (3) (2019)
Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. FASE (2019)
Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. IEEE Trans. Intell. Transp. Syst. 19 (11) (2018)
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. 12 (5) (2018)
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) (2017)
Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen
Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach. SEKE (2016)
Xiaohong Chen, Li Han, Jing Liu, Haiying Sun
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. RE Workshops (2016)
Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen
Safety Requirements Specification and Verification for Railway Interlocking Systems. COMPSAC (2016)
Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen
HSD: Hybrid MARTE Sequence Diagram. QRS (2015)
Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen
Hybrid Lustre. Ershov Memorial Conference (2015)
Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. COMPSAC (2015)
Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC (2015)
Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) (2014)
Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu
Problem Frames Construction from Feature Models. APSEC (1) (2013)
Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
Unified Modeling of Active and Reactive Components for Real-Time Systems. TASE (2013)
Xiaohong Chen, Jing Liu, Zhiming Liu
Requirements monitoring for Internetware: an interaction based approach. Sci. China Inf. Sci. 56 (8) (2013)
Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu
Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach. COMPSAC (2013)
Yuqing Qian, Jing Liu, Xiaohong Chen
Hybrid AADL: a sublanguage extension to AADL. Internetware (2013)
Zhike Wu, Jing Liu, Xiaohong Chen, Mingsong Chen
An approach to communicating process modeling of MARTE. Internetware (2012)
Xiaohong Chen, Jing Liu
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach. SEKE (2012)
Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin
Modeling Timing Requirements in Problem Frames Using CCSL. APSEC (2011)
Xiaohong Chen, Jing Liu, Zuohua Ding
On Constructing Software Environment Ontology for Time-Continuous Environment. KSEM (2011)