Publications
Number of publications matching the search criterion: 16
Doctoral Thesis (1)
An Ontological Approach to Safety Analysis of Safety-Critical Systems (Jan 2018) Jiale Zhou
Licentiate Thesis (1)
An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems (Oct 2014) Jiale Zhou
Conference/Workshop Paper (12)
An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems (Dec 2017) Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano 2017 2nd International Conference on System Reliability and Safety (ICSRS'17)
An Ontological Approach to Elicit Safety Requirements (Dec 2017) Luciana Provenzano, Kaj Hänninen, Jiale Zhou, Kristina Lundqvist 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology (Sep 2017) Jiale Zhou, Kaj Hänninen, Kristina Lundqvist 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA'17)
An Ontological Approach to Hazard Identification for Safety-Critical Systems (Jul 2017) Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano the 2nd International Conference on Reliability Systems Engineering (ICRSE'17)
An Ontological Interpretation of the Hazard Concept for Safety-Critical Systems (Jun 2017) Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano 27th European Safety and Reliability Conference (ESREL'27)
An Environment-Driven Ontological Approach to Requirements Elicitation for Safety-Critical Systems (Sep 2015) Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Yue Lu, Luciana Provenzano, Kristina Forsberg 23rd IEEE International Requirements Engineering Conference (RE'15)
Towards Feature-oriented Requirements Validation for Automotive Systems (Aug 2014) Jiale Zhou, Yue Lu, Kristina Lundqvist 22nd IEEE International Requirements Engineering Conference (RE'14)
The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems (Aug 2014) Jiale Zhou, Yue Lu, Kristina Lundqvist 1st International Workshop on Requirements Engineering and Testing (RET'14)
A TASM-based Requirements Validation Approach for Safety-critical Embedded Systems (Jun 2014) Jiale Zhou, Yue Lu, Kristina Lundqvist The 19th International Conference on Reliable Software Technologies Ada-Europe 2014 (Ada-Europe14)
A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software Systems (Sep 2013) Jiale Zhou, Yue Lu, Kristina Lundqvist 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013)
Formal Execution Semantics for Asynchronous Constructs of AADL (Sep 2012) Jiale Zhou, Andreas Johnsen, Kristina Lundqvist 5th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB'12)
Accelerating exact schedulability analysis for fixed-priority scheduling (Jul 2010) Hang Yin, Jiale Zhou, Ugur Keskin , Reinder J. Bril The Work-in-Progress Session of the 22nd Euromicro Conference on Real-Time Systems(ECRTS10)
Report - MRTC (2)
A Hazard Domain Ontology for Preliminary Hazard Analysis in Reuse Scenarios (Jan 2016) Jiale Zhou, Kaj Hänninen, Yue Lu, Kristina Lundqvist, Luciana Provenzano
An Improved VSM-based Post-Requirements Traceability Recovery Approach Using Context Analysis (Mar 2013) Jiale Zhou, Yue Lu, Kristina Lundqvist
