Xiaohong Chen
Orcid: 0000-0003-2217-6659Affiliations:
- East China Normal University, Shanghai, China
According to our database1,
Xiaohong Chen
authored at least 41 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements.
IEEE Trans. Intell. Transp. Syst., December, 2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023
2022
Sci. Comput. Program., 2022
2021
Mob. Networks Appl., 2021
DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.
Proceedings of the 20th IEEE International Conference on Trust, 2021
Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021
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.
J. Syst. Softw., 2020
2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform.
J. Cloud Comput., 2020
Proceedings of the 19th IEEE International Conference on Trust, 2020
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
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.
Proceedings of the 20th International Conference on Embedded Software, 2020
Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Int. J. Softw. Sci. Comput. Intell., 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.
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.
Proceedings of the Formal Methods and Software Engineering, 2019
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.
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.
IEEE Trans. Intell. Transp. Syst., 2018
Frontiers Comput. Sci., 2018
2017
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
Sci. China Inf. Sci., 2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013
Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
2012
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012
2011
Proceedings of the Knowledge Science, Engineering and Management, 2011
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011