Samina Kanwal

According to our database, Samina Kanwal authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Systematic review on contract-based safety assurance and guidance for future research.

Samina Kanwal, Faiz Ul Muram, Muhammad Atif Javed

J. Syst. Archit., January, 2024

2021

Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking.

Faiz Ul Muram, Samina Kanwal, Muhammad Atif Javed

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

Facilitating the Compliance of Process Models with Critical System Engineering Standards using Natural Language Processing.

Faiz Ul Muram, Muhammad Atif Javed, Samina Kanwal

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

Ontology-Based Natural Language Processing for Process Compliance Management.

Muhammad Atif Javed, Faiz Ul Muram, Samina Kanwal

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2021

2019

A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process.

Faiz Ul Muram, Barbara Gallina, Samina Kanwal

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019