Xiaohong Chen

55 papers A 4B 7C 12Misc 6Journal 16Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Expressing the Needs in Smart Home: What Is the End Users' Favorite Way.
ACM Trans. Comput. Hum. Interact.
Xiaohong Chen, Shi Chen, Zhi Jin, Han Bian, Zihan Chen, Haotian Li
2025 A conf
Requirements Dependency Driven Test Case Generation: An Automotive Industry Practice.
RE
Tong Xu, Zheng Zhou, Xiaohong Chen, Zhiyi Xue, Yi Zhao, Min Zhang, Zhi Jin
2025 J jnl
What You See Is What You Get: Prototype Generation for IoT End-User Programming.
IEEE Trans. Software Eng.
Xiaohong Chen, Shi Chen, Zhi Jin, Zihan Chen, Mingsong Chen
2024 J jnl
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems.
IEEE Trans. Intell. Transp. Syst.
Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou
2024 — conf
Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain.
ICSE Companion
Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang
2024 C conf
Efficient Verification of Multi-Agent Systems Through Parallel.
QRS
Zhen Yao, Jing Liu, Xiaohong Chen, Li Han, Haiying Sun
2024 — conf
Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems.
RE Workshops
Yike Huang, Xiaohong Chen, Zhi Jin, Tingliang Zhou
2024 A conf
LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing.
ISSTA
Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang
2024 J jnl
TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming.
IEEE Internet Things J.
Liangyu Chen, Chen Wang, Cheng Chen, Caidie Huang, Xiaohong Chen, Min Zhang
2023 J jnl
AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ming Hu, E. Cao, Hongbing Huang, Min Zhang, Xiaohong Chen, Mingsong Chen
2023 J jnl
Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, Mingsong Chen
2023 J jnl
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements.
IEEE Trans. Intell. Transp. Syst.
Xiaohong Chen, Juan Zhang, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou
2023 B conf
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models.
ICECCS
Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He
2022 C conf
A Novel Approach to Maintain Traceability between Safety Requirements and Model Design.
SEKE
Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He
2022 — conf
Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach.
HPCC/DSS/SmartCity/DependSys
Shaobin Liu, Xiaohong Chen, Zhi Jin, Min Zhang
2022 J jnl
Formally verifying consistency of sequence diagrams for safety critical systems.
Sci. Comput. Program.
Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin
2021 J jnl
Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling.
Int. J. Softw. Informatics
Bian Han, Xiaohong Chen, Zhi Jin, Min Zhang
2021 B conf
DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.
TrustCom
Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu
2021 Misc conf
Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach.
TASE
Jiajia Yang, Xiaohong Chen, Ling Yin
2021 Misc conf
RE2B: Enhancing Correctness of Both Requirements and Design Models.
TASE
Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao
2021 J jnl
Runtime Verification of Spatio-Temporal Specification Language.
Mob. Networks Appl.
Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun
2021 A conf
Smart3E: Enabling End Users to Express Their Needs for Smart Homes.
RE
Bian Han, Xiaohong Chen, Zhi Jin, Lin Liu
2020 J jnl
2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform.
J. Cloud Comput.
Pan Fan, Jing Liu, Wei Yin, Hui Wang, Xiaohong Chen, Haiying Sun
2020 Misc conf
Formally Verifying Sequence Diagrams for Safety Critical Systems.
TASE
Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu
2020 C conf
Model Checking of Spatial Logic.
APSEC
Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han
2020 B conf
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems.
TrustCom
Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun
2020 C conf
Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System.
APSEC
Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang
2020 Misc conf
Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress.
EMSOFT
Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu
2020 C conf
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.
QRS
Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang
2020 J jnl
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.
J. Syst. Softw.
Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun
2019 C conf
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning.
ICFEM
Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin
2019 A conf
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.
RE
Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou
2019 B conf
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.
FASE
Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
2019 J jnl
Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica.
Int. J. Softw. Sci. Comput. Intell.
Hao Zhou, Mengyao Zhao, Linbo Wu, Xiaohong Chen
2019 Misc conf
Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP.
TASE
Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun
2018 J jnl
A proof-based method of hybrid systems development using differential invariants.
Frontiers Comput. Sci.
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2018 J jnl
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.
IEEE Trans. Intell. Transp. Syst.
Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin
2017 — conf
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
COMPSAC (1)
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2016 C conf
Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach.
SEKE
Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen
2016 B conf
Safety Requirements Specification and Verification for Railway Interlocking Systems.
COMPSAC
Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen
2016 — conf
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.
RE Workshops
Xiaohong Chen, Li Han, Jing Liu, Haiying Sun
2015 B conf
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.
COMPSAC
Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun
2015 C conf
HSD: Hybrid MARTE Sequence Diagram.
QRS
Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen
2015 — conf
Hybrid Lustre.
Ershov Memorial Conference
Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen
2015 C conf
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.
APSEC
Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
2014 — conf
Improving Testing Coverage for Safety-Critical System by Mutated Specification.
APSEC (1)
Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
2013 B conf
Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach.
COMPSAC
Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu
2013 — conf
Hybrid AADL: a sublanguage extension to AADL.
Internetware
Yuqing Qian, Jing Liu, Xiaohong Chen
2013 — conf
Problem Frames Construction from Feature Models.
APSEC (1)
Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu
2013 J jnl
Requirements monitoring for Internetware: an interaction based approach.
Sci. China Inf. Sci.
Xiaohong Chen, Jing Liu, Zhiming Liu
2013 Misc conf
Unified Modeling of Active and Reactive Components for Real-Time Systems.
TASE
Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
2012 — conf
An approach to communicating process modeling of MARTE.
Internetware
Zhike Wu, Jing Liu, Xiaohong Chen, Mingsong Chen
2012 C conf
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach.
SEKE
Xiaohong Chen, Jing Liu
2011 C conf
Modeling Timing Requirements in Problem Frames Using CCSL.
APSEC
Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin
2011 C conf
On Constructing Software Environment Ontology for Time-Continuous Environment.
KSEM
Xiaohong Chen, Jing Liu, Zuohua Ding