Requirements engineering for safety-critical systems
DPAC Newsletter Spring 2020 (May 2020) Kristina Lundqvist, Mikael Sjödin, Saad Mubeen, Håkan Forsberg, Mikael Ekström, Cristina Seceleanu, Nandinbaatar Tsog, Jakob Danielsson, Mohammad Loni, Baran Çürüklü, LanAnh Trinh, Afshin Ameri E., Luciana Provenzano, Kaj Hänninen, Susanne Fronnå, Marjan Sirjani, Rong Gu, Masoud Daneshtalab, Sima Sinaei, Joakim Lindén
From Requirements to Verifiable Executable Models using Rebeca (Nov 2019) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)
Experiences from Applying an Ontology in Hazard Analysis of Autonomous System of Systems (Oct 2019) Malina Adach, Kaj Hänninen, Luciana Provenzano, Kristina Lundqvist Aerospace Technology Congress 2019 (FT2019)
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)
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)