近期论文
查看导师最新文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
软件自动生成及最终用户编程
Huanghao Yin, Jiacheng Liu, Xiaohong Chen, Guoqiang Li. WeAnimate: Motion-coherent animation generation from video data. Multimedia Tools and Applications. Online 2022.(本科生一作)
边寒,陈小红,金芝,张民.基于环境建模的物联网系统 TAP 规则生成方法.软件学报,2021,32(4):934–952.
Han Bian, Xiaohong Chen, Zhi Jin, Lin Liu, Smart3E: Enabling End Users to Express Their Needs for Smart Homes, RE 2021: 422-423.
金芝; 陈小红; 边寒 ; 物联网系统按需设备调度规划方法与系统, 2021-3-18, 中国, CN202110291181.8, 专利号:ZL2021 10291182.2
刘家诚; 陈小红; 杨佳佳 ; 基于SHA的信物融合智能系统的原型生成方法及系统, 2022-2-15, 中国,202210004271.9
陈小红,杨佳佳, 一种基于SHA的信物融合系统自动建模与验证方法及系统,2022-3-10,中国,202111675956.8
边寒,陈小红。智能家居的调度指令按需生成系统,证书号:软著登记第8535094号。2021SR1812468,2021年11月19日。
杨佳佳,陈小红。智能家居用户需求仿真验证软件,证书号:软著登记第8535501号。2021SR1812875,2021年11月19日。
刘家诚,陈小红。智能家居仿真结果的可视化软件。证书号:软著登记第8535093号。2021SR1812467,2021年11月19日。
基于环境建模的需求工程
Yin Bin, Chen Xiaohong, Li wanyu, Tian Jinyue, An Incremental Software Automation Testing for Space Telemetry, Track and Command Software Systems based on Domain Knowledge, Journal of Circuits, Systems, and Computers. 2022.
Qianqian Liu, Xiaohong Chen, Zhi Jin. Environment Model based Requirements Consistency Verification: An Example, RE Workshops 2021: 422-427
Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao: RE2B: Enhancing Correctness of Both Requirements and Design Models. TASE2021: 191-198
Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun. Verifyingthe Relationship Among Three Descriptions in Problem Frames Using CSP. TASE2019,p. 248-255.
Xiaohong Chen, Zhi Jin. Capturing Software Requirements From the Expected Interactions Between the Software and its Environment: an Ontology based Approach. International Journal of Software Engineering and Knowledge Engineering, 26(1): 15-39, 2016.(SCI)
Chen Xiaohong, Liu Jing, Liu Zhiming. Requirements monitoring for Internetware: aninteraction based approach. Science China Information Sciences.2013, 56:082106(15), doi: 10.1007/s11432-013-4909-3 (SEI)
Yin Bin, Jin Zhi, Chen Xiaohong. An Approach for Selecting Implementation Strategies of Non-Functional Requirements. In proceedings of Internetware 2012.
Xiaohong Chen, Jing Liu. Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach. In proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering(SEKE2012), pp. 61-65, 2012.
陈小红, 尹斌, 金芝.从交互情景出发的需求捕获方法及其支撑工具.计算机学报,2011, 34(2):329-341.
陈小红,尹斌,金芝.基于问题框架方法的需求建模:一个本体制导的方法.软件学报,2011, 22(2):177-195.
Xiaohong Chen, Zhi Jin, and Lijun Yi. An Ontology of Problem Frames for Guiding Problem Frame Specification. Proceedings of Knowledge Science, Engineering and Management - Second International Conference, KSEM 2007. Lecture Notes in Computer Science, v 4798 LNAI, p 384-395, 2007.
陈小红,易利军,金芝.一个指导问题框架规范描述的本体,,2007年全国软件与应用学术会议,计算机科学,34(9A),124-127页, 2007.
Xiaohong Chen, Bin Yin, Zhi Jin. DPTool: A Tool for Guiding the Problem Description and the Problem Projection. In proceeding of the 18th IEEE International Requirements Engineering Conference, p401-402, 2010.
Xiaohong Chen, and Zhi Jin. An Ontology-guided Process for Developing Problem Frame Specification: An Example. Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, IWAAPF'08 , p 36-39, 2008.
Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu. Problem Frames Construction from Feature Models. APSEC2013, 2013:164-171.
金芝,尹斌,陈小红,《一个基于问题框架本体的需求描述系统》,软件著作权登记号:2010SR000399,2009.
自动的问题分解-问题投影
刘筱珊,袁正恒,陈小红,陈铭松,刘静,周庭梁.区域控制器的安全需求建模与自动验证.软件学报,2020,31(5): 1374?1391. http://www.jos.org.cn/1000-9825/5952.htm
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 Constraints based Projection. IEEE Transaction on Intelligent Transportation System. 2018, 19(11):3517 – 3528
周庭梁,许婧,陈小红,赵时旻。基于因果关系的列控系统模型约减方法。同济学报,11(44):1702-1708, 2016
Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan and Kezhen Huang. Decomposing Automatic Train Control Verification System with Projection, Accepted, APSEC2015, 2015.
Zhi Jin, Xiaohong Chen, and Didar Zowghi. Performing Projection in Problem Frames Using Scenarios. Proceedings of 16th Asia-Pacific software Engineering Conference, APSEC 2009, p249-256, 2009.
Xiaohong Chen, and Zhi Jin. A Scenario-Based Problem Decomposition. Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, p 1150-1155, 2008.
需求的形式化与验证
Xiaohong Chen; Qianqian Liu; Frederic Mallet; Qin Li; Shubin Cai; Zhi Jin ; Formally verifying consistency of sequence diagrams for safety critical systems, Science of Computer Programming, 2022, 216.
陈小红,刘少彬,一种CPS需求的实时不一致性检测和定位方法与系统,申请号:202111590128.4,2022-4-21
Qianqian Liu, Xiaohong Chen, Zhi Jin. Environment Model based Requirements Consistency Verification: An Example, RE Workshops 2021: 422-427
Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao: RE2B: Enhancing Correctness of Both Requirements and Design Models. TASE2021: 191-198
赵梦瑶,陈小红,孙海英,刘静,陈良育,周庭梁.轨道交通联锁领域特定语言的形式化.软件学报,2020,31(6): 1638?1653. http://www.jos.org.cn/1000-9825/5997.htm
Xiaohong Chen, Frederic Mallet and Xiaoshan Liu. Formally Verifying Sequence Diagrams for Safety Critical Systems. TASE 2020, 217-224.
Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen and Tingliang Zhou. Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems,RE2019.
Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun. Verifyingthe Relationship Among Three Descriptions in Problem Frames Using CSP. TASE2019,p. 248-255.
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 Constraints based Projection. IEEE Transaction on Intelligent Transportation System. 2018, 19(11):3517 – 3528
Yan Wang, Wen Zhong, Xiaohong Chen*, Jing Liu. Predicting Accidents in Interlocking Systems: An SHA Model-Based Approach. International Journal of Performability Engineering. Volume 13, Number 6, pp. 897-912, 2017.
陈铭松,鲍勇翔,孙海英,缪炜恺,陈小红,周庭梁. 基于通信的列车控制系统可信构造:形式化方法研究,软件学报,2017.28(5):1183-1203.
Yan Wang, Wen Zhong, Xiaohong Chen, Dehui Du. Modeling of Interlocking Systems based on Patterns. SEKE2018: 292-298
Wen Zhong, Yan Wang and Xiaohong Chen. New Requirements Elicited from Accidents of Train Control System Simulated by Modelica. APRES 2017. 189-204.
Yan Wang, Wen Zhong, Xiaohong Chen, Jing Liu. Predicting Accidents in Interlocking Systems: an SHA Model based Approach. International Journal of Performability Engineering. Volume 13, Number 6, October 2017 - Paper 11 - pp. 897-912 DOI: 10.23940/ijpe.17.06.p11.897912
Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen: Safety Requirements Specification and Verification for Railway Interlocking Systems. COMPSAC 2016: 335-340.
Xiaohong Chen, Li Han, Jing Liu, Haiying Sun. Using safety requirement patterns to elicit requirements for railway interlocking systems. In proceedings of Requirements Engineering Conference workshop, RePa, 2016.
Chen Xiaohong, Liu Jing, Liu Zhiming. Requirements monitoring for Internetware: aninteraction based approach. Science China Information Sciences.2013, 56:082106(15), doi: 10.1007/s11432-013-4909-3 (SEI)
一种将SysML模型进行仿真验证的方法。钟雯,陈小红。专利申请号:20180367004.1,中华人民共和国国家知识产权局,申请时间2018.4.23
一种基于活动图路径的仿真参数数据自动生成方法。钟雯,陈小红。专利申请号:201810435001.0 ,中华人民共和国国家知识产权局,申请时间2018.5.9
周浩,赵梦瑶,刘筱珊,陈小红,基于SysML模型的系统仿真软件V1.0(登记号2018SR1026917),2018年12月17日获批。
Jie Liu, Jing Liu, MiaomiaoZhang, Haiying Sun, XiaohongChen, Dehui Du, Mingsong Chen:An Approach to Proving Proof Obligation of Hybrid Event B Based on DifferentialInvariants. COMPSAC(1) 2017: 138-143
陈铭松,顾璠,徐思远,陈小红。不确定环境下基于价格时间自动机的智能大厦空调系统调度策略评估,2016,27(3):655-669,软件学报.
Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen. Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach. Proceedings of International Conference on Software Engineering and Knowledge Engineering, July, pp.547-550, 2016.
Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du. Evaluating Energy Consumption for Cyber-Physical Energy System: an Environment Ontology-Based Approach. COMPSAC2015,pp.5-14, 2015.
孙海英,刘静,陈小红,杜德慧,周亭梁.基于形式化测试的实时系统变更后安全性验证,中国科学2014,44(1):70-90.
Xiaohong Chen, Mingsong Chen. Extending the Four-Variable Model for Cyber-Physical Systems. In proceedings of 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2012), 2012:pp.31-36.
含(时间需求的建模与形式化验证)
Jiajia Yang, Xiaong Chen, Ling Yin. Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach. Accepted TASE 2021, TASE 2021: 199-206.
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems by Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen and Tingliang Zhou. RE2019 (最佳论文提名).
Xiaohong Chen, Ling Yin, Yijun Yu, Zhi Jin. Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems. ICFEM 2017: 54-70
尹玲,陈小红,刘静.信息物理融合系统的时间需求一致性分析。软件学报 2014,25(2): 400-418
陈小红,刘静. 基于环境的多形态时间需求建模方法. 计算机学报, 2013, 36(1):88-103. (EI)
Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu. Deriving Requirements Specification With Time: A Software Environment Ontology based Approach. COMPSAC 2013. 2013: 431-436.
Yuanyang Wang, Xiaohong Chen, Ling Yin. TimePF: A Tool for Modeling and Verifying Timing Requirements based on Problem Frames. APRES 2015, pp.149-154,2015.
Xiaohong Chen, Jing Liu, Mallet Frederic, Zhi Jin. Modeling Timing Requirements in Problem Frames Using CCSL. In proceedings of the 18th Asia-Pacific software Engineering Conference (APSEC 2011), pp.381-388, 2011.
Xiaohong Chen, Jing Liu, Zuohua Ding. On Constructing Software Environment Ontology for Time-Continuous Environment. In proceedings of the 2011 International Conference on Knowledge Science, Engineering and Management(KSEM2011), pp.148-159, 2011.
陈小红,贾少勇,尹玲,刘静,岳阳,基于问题框架方法的时间需求建模与验证系统,登记号:2015SR126936,2015.7.8获批