Jiale Zhou successfully defended his PhD thesis in January 2018. Jiale Zhou got a Bachelor Degree in Electronic Engineering at Shanghai Jiao Tong University (SJTU), China, in 2007. Jiale Zhou received a M.Sc. in Computer Science at MDH, in October 2010. During his master study, he stayed in Eindhoven University of Technology (TU/e), Holland, for half a year as an exchange student. His M.Sc Thesis project is “Telecom and Internet Services Mashup in Robotics - Design, Architecture and Prototyping”. He is now working together with Prof. Kristina Lundqvist on a project focusing on Software Traceability at Mälardalen Real-Time Research Centre (MRTC). His research interests are now focusing on Software Verification and Validation, Software Traceability, and other related topics.
Software Verification and Validation Modelling Software Traceability Software Engineering
An Ontological Approach to Safety Analysis of Safety-Critical Systems (Jan 2018) Jiale Zhou
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)
Project Title | Status |
---|---|
ARROWS - Design Techniques for Adaptive Embedded Systems | finished |
DPAC - Dependable Platforms for Autonomous systems and Control | active |
Thesis Title | Status |
---|---|
Simulation of Safety-Critical Systems Specified in AADL | finished |