A tool-supported model-based method for facilitating the EN50129-compliant safety approval process F Ul Muram, B Gallina, S Kanwal Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2019 | 6 | 2019 |
Ontology-based natural language processing for process compliance management MA Javed, FU Muram, S Kanwal International Conference on Evaluation of Novel Approaches to Software …, 2021 | 3 | 2021 |
Systematic review on contract-based safety assurance and guidance for future research S Kanwal, FU Muram, MA Javed Journal of Systems Architecture, 103036, 2023 | 2 | 2023 |
Supporting automated verification of reconfigurable systems with product lines and model checking F Ul Muram, S Kanwal, MA Javed ENASE: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON EVALUATION OF …, 2021 | 2 | 2021 |
Facilitating the Compliance of Process Models with Critical System Engineering Standards using Natural Language Processing. FU Muram, MA Javed, S Kanwal ENASE, 306-313, 2021 | 2 | 2021 |
Tool-support for Facilitating the Certification Liaison Process S Kanwal | | 2019 |
A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process S Kanwal | | |