Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 2

Journal article (1)

Interval Number-Based Safety Reasoning Method for Verification of Decentralized Power Systems in High-Speed Trains (Jan 2021)
Peng Wu, Ning Xiong, Jinzhao Wu
Mathematical problems in engineering (MPE21)

Conference/Workshop Paper (1)

Quadratic difference set-based quorum generation algorithm in distributed system (Sep 2020)
Peng Wu, Ning Xiong, Jiqiang Liu, Jie Meng, Jinzhao Wu
2nd World Symposium on Software Engineering (WSSE20)

Items per page:
Apr 2024
Context Factors Perceived Important when Looking for Similar Experiences in Decision–Making for Software Components – An Interview Study
Apr 2024
An Extension of the Rasmussen Socio-technical System for Continuous Safety Assurance
Apr 2024
Safety of the Intended Functionality: What about Mental Harm?
Apr 2024
Experiences and Challenges from Developing Cyber-Physical Systems in Industry-Academia Collaboration
Apr 2024
Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning
Mar 2024
Examining Decision-Making in Air Traffic Control: Enhancing Transparency and Decision Support Through Machine Learning, Explanation, and Visualization: A Case Study