Luciana Provenzano, Senior Lecturer


Requirements engineering for safety-critical systems

[Show all publications]

Latest publications:

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)

PhD students supervised as assistant supervisor:

Malina Adach