Faiz Ul Muram
Orcid: 0000-0001-6613-4149
According to our database1,
Faiz Ul Muram
authored at least 27 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
2
1
1
2
1
1
4
2
2
4
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Systematic review on contract-based safety assurance and guidance for future research.
J. Syst. Archit., January, 2024
J. Syst. Archit., 2024
2023
J. Syst. Archit., 2023
2022
J. Softw. Evol. Process., 2022
2021
J. Syst. Archit., 2021
Proceedings of the 28th IEEE International Conference on Software Analysis, 2021
Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking.
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.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2021
2020
Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020
Proceedings of the Dependable Computing - EDCC 2020 Workshops, 2020
2019
Supporting automated containment checking of software behavioural models using model transformations and model checking.
Sci. Comput. Program., 2019
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production.
Proceedings of the 4th International Conference on System Reliability and Safety, 2019
2018
Compliance of agilized (software) development processes with safety standards: a vision.
Proceedings of the 19th International Conference on Agile Software Development, 2018
Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018
Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018
Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018
2017
ACM Comput. Surv., 2017
Proceedings of the 22nd European Conference on Pattern Languages of Programs, 2017
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017
2016
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
2015
A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems.
Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Conference, 2015
Counterexample Analysis for Supporting Containment Checking of Business Process Models.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015
2014
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking.
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014
2012
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012