Publications
Number of publications matching the search criterion: 6
Journal article (2)
Automatic Generation of Configuration Files: an Experience Report from the Railway Domain (Jun 2021) Enxhi Ferko, Alessio Bucaioni, Jan Carlson, Zulqarnain Haider 17th European Conference on Modelling Foundations and Applications (ECMFA2021)
ConcertoFLA-based Multi-concern Assurance for Space Systems (Mar 2019) Zulqarnain Haider, Barbara Gallina, Anna Carlsson , Silvia Mazzini , Stefano Puri Ada User Journal (AUJ-40 (1))
Conference/Workshop Paper (4)
Making SafeConcert Security-informed to Enable Multi-concern Modelling (Nov 2020) Barbara Gallina, Zulqarnain Haider 30th European Safety and Reliability Conference (ESREL-2020)
FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results (Nov 2018) Zulqarnain Haider, Barbara Gallina, Enrique Zornoza Moreno 3rd International Conference on System Reliability and Safety (ICSRS-2018)
Multi-concern Dependability-centered Assurance for Space Systems via ConcertoFLA (Jun 2018) Barbara Gallina, Zulqarnain Haider, Anna Carlsson , Silvia Mazzini , Stefano Puri 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )
Towards Generating ECSS-compliant Fault Tree Analysis Results via ConcertoFLA (Dec 2017) Barbara Gallina, Zulqarnain Haider, Anna Carlsson 2nd International Conference on Reliability Engineering (ICRE-2017)
