| An Ontological Interpretation of Hazard for Safety-Critical Systems J Zhou, K Hänninen, Y Lu, K Lundqvist, L Provenzano Proceedings of ESREL'17, 2017 | 21 | 2017 |
| A context-based information retrieval technique for recovering use-case-to-source-code trace links in embedded software systems J Zhou, Y Lu, K Lundqvist 2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013 | 16 | 2013 |
| An ontological approach to elicit safety requirements L Provenzano, K Hänninen, J Zhou, K Lundqvist 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 713-718, 2017 | 15 | 2017 |
| A tasm-based requirements validation approach for safety-critical embedded systems J Zhou, Y Lu, K Lundqvist Reliable Software Technologies–Ada-Europe 2014: 19th Ada-Europe …, 2014 | 15 | 2014 |
| An ontological approach to identify the causes of hazards for safety-critical systems J Zhou, K Hänninen, K Lundqvist, L Provenzano 2017 2nd International Conference on System Reliability and Safety (ICSRS …, 2017 | 14 | 2017 |
| An ontological approach to hazard identification for safety-critical systems J Zhou, K Hänninen, K Lundqvist, L Provenzano 2017 Second International Conference on Reliability Systems Engineering …, 2017 | 12 | 2017 |
| The observer-based technique for requirements validation in embedded real-time systems J Zhou, Y Lu, K Lundqvist 2014 IEEE 1st International Workshop on Requirements Engineering and Testing …, 2014 | 12 | 2014 |
| An environment-driven ontological approach to requirements elicitation for safety-critical systems J Zhou, K Hänninen, K Lundqvist, Y Lu, L Provenzano, K Forsberg 2015 IEEE 23rd International Requirements Engineering Conference (RE), 247-251, 2015 | 9 | 2015 |
| Requirements development and management of embedded real-time systems J Zhou 2014 IEEE 22nd International Requirements Engineering Conference (RE), 479-484, 2014 | 6 | 2014 |
| An observer-based technique with trace links for requirements validation in embedded real-time systems J Zhou Mälardalen University, 2014 | 6 | 2014 |
| Formal execution semantics for asynchronous constructs of AADL J Zhou, A Johnsen, K Lundqvist Proceedings of the 5th International Workshop on Model Based Architecting …, 2012 | 6 | 2012 |
| An Ontological Approach to Safety Analysis of Safety-Critical Systems J Zhou Mälardalen University, 2017 | 3 | 2017 |
| A hazard modeling language for safety-critical systems based on the hazard ontology J Zhou, K Hänninen, K Lundqvist 2017 43rd Euromicro Conference on Software Engineering and Advanced …, 2017 | 1 | 2017 |
| An Improved VSM-based Post-Requirements Traceability Recovery Approach Using Context Analysis J Zhou, Y Lu, K Lundqvist Mälardalen Real-Time Research Centre, Mälardalen University, 2013 | 1 | 2013 |
| A Hazard Domain Ontology for Preliminary Hazard Analysis in Reuse Scenarios J Zhou, K Hänninen, Y Lu, K Lundqvist, L Provenzano Mälardalen Real-Time Research Centre, Mälardalen University, 2016 | | 2016 |
| The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems KL Jiale Zhou, Yue Lu 1st International Workshop on Requirements Engineering and Testing, 2014 | | 2014 |
Kristina LundqvistProfessor of Dependable Software Engineering, Mälardalen University在 mdh.se 的电子邮件经过验证
