Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
ning wang
Barbara Aquilani
Susan Easun
Yvon Voisin
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
XIAOHONG CHEN
Author Info
Open Visualization
Name
Affiliation
Papers
XIAOHONG CHEN
East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China
19
Collaborators
Citations
PageRank
52
4
6.55
Referers
Referees
References
14
277
88
Search Limit
100
277
Publications (19 rows)
Collaborators (52 rows)
Referers (14 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
An Incremental Software Automation Testing for Space Telemetry, Track and Command Software Systems Based on Domain Knowledge
0
0.34
2022
Formally verifying consistency of sequence diagrams for safety critical systems
0
0.34
2022
RE2B: Enhancing Correctness of Both Requirements and Design Models
0
0.34
2021
Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach
0
0.34
2021
Environment Model based Requirements Consistency Verification: An Example
0
0.34
2021
Smart3E: Enabling End Users to Express Their Needs for Smart Homes
0
0.34
2021
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.
2
0.38
2020
Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress
0
0.34
2020
Formally Verifying Sequence Diagrams for Safety Critical Systems
0
0.34
2020
Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System
0
0.34
2020
Model Checking of Spatial Logic
0
0.34
2020
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems
0
0.34
2020
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems
0
0.34
2020
Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML
1
0.39
2019
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems
0
0.34
2019
Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP
0
0.34
2019
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.
1
0.37
2018
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants
0
0.34
2017
HSD: Hybrid MARTE Sequence Diagram
0
0.34
2015
1
