Xiaohong Chen

Orcid: 0000-0003-2217-6659

Affiliations:

East China Normal University, Shanghai, China

According to our database¹, Xiaohong Chen authored at least 41 papers between 2011 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., December, 2023

Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023

AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

2022

Formally verifying consistency of sequence diagrams for safety critical systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

2021

Runtime Verification of Spatio-Temporal Specification Language.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2021

DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Trust, 2021

Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach.

[BibT_eX]

[DOI]

Jiajia Yang

Xiaohong Chen

Ling Yin

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

RE2B: Enhancing Correctness of Both Requirements and Design Models.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2020

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform.

[BibT_eX]

[DOI]

J. Cloud Comput., 2020

Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Trust, 2020

Formally Verifying Sequence Diagrams for Safety Critical Systems.

[BibT_eX]

[DOI]

Xiaohong Chen

Frédéric Mallet

Xiaoshan Liu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Embedded Software, 2020

Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Model Checking of Spatial Logic.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica.

[BibT_eX]

[DOI]

Int. J. Softw. Sci. Comput. Intell., 2019

Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2018

A proof-based method of hybrid systems development using differential invariants.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2018

2017

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Safety Requirements Specification and Verification for Railway Interlocking Systems.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

HSD: Hybrid MARTE Sequence Diagram.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Hybrid Lustre.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2015

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.

[BibT_eX]

[DOI]

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Improving Testing Coverage for Safety-Critical System by Mutated Specification.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Requirements monitoring for Internetware: an interaction based approach.

[BibT_eX]

[DOI]

Xiaohong Chen

Jing Liu

Zhiming Liu

Sci. China Inf. Sci., 2013

Unified Modeling of Active and Reactive Components for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Hybrid AADL: a sublanguage extension to AADL.

[BibT_eX]

[DOI]

Yuqing Qian

Jing Liu

Xiaohong Chen

Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Problem Frames Construction from Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach.

[BibT_eX]

Xiaohong Chen

Jing Liu

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An approach to communicating process modeling of MARTE.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

2011

On Constructing Software Environment Ontology for Time-Continuous Environment.

[BibT_eX]

[DOI]

Xiaohong Chen

Jing Liu

Zuohua Ding

Proceedings of the Knowledge Science, Engineering and Management, 2011

Modeling Timing Requirements in Problem Frames Using CCSL.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

Xiaohong Chen

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...