Publications
Number of publications matching the search criterion: 15
Journal article (2)
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems (May 2021) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali Moghadam, Mehrdad Saadatmand Journal of Internet Services and Applications (JISA)
Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards (Dec 2015) Barbara Gallina, Luciana Provenzano Ada User Journal 36 (4) (AUJ- 36 (4))
Conference/Workshop Paper (11)
How do practitioners reason about security requirements? An interview study (Jun 2024) Luciana Provenzano, Robbert Jongeling Requirements Engineering 2024 (RE'24)
Role-based approach as support for safety analysis of collaborative systems (Oct 2021) Luciana Provenzano, Kaj Hänninen, Kristina Lundqvist IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'21)
From Requirements to Verifiable Executable Models using Rebeca (Sep 2020) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali Moghadam Software Engineering and Formal Methods Collocated Workshops 2020 (SEFMW 2020)
Experiences from Applying an Ontology in Hazard Analysis of Autonomous System of Systems. 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)
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)
Specifying Software Requirements for Safety-Critical Railway Systems: an Experience Report (Feb 2017) Luciana Provenzano, Kaj Hänninen International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ)
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)
Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards (Jun 2015) Barbara Gallina, Luciana Provenzano The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)
Report - MRTC (1)
A Hazard Domain Ontology for Preliminary Hazard Analysis in Reuse Scenarios (Jan 2016) Jiale Zhou, Kaj Hänninen, Yue Lu, Kristina Lundqvist, Luciana Provenzano
Other (1)
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
