Muhammad Atif Javed
Orcid: 0000-0003-3781-4756
According to our database1,
Muhammad Atif Javed
authored at least 25 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
2
4
2
2
2
1
1
4
3
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
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
Towards variant management and change impact analysis in safety-oriented process-product lines.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 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
Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018
2017
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017
2016
Towards a pattern language for construction and maintenance of software architecture traceability links.
Proceedings of the 21st European Conference on Pattern Languages of Programs, 2016
2015
The Supportive Effect of Traceability Links in Change Impact Analysis for Evolving Architectures - Two Controlled Experiments.
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015
Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, 2015
The Impact of Hierarchies on the Architecture-Level Software Understandability - A Controlled Experiment.
Proceedings of the 24th Australasian Software Engineering Conference, 2015
Cost-Effective Traceability Links for Architecture-Level Software Understanding: A Controlled Experiment.
Proceedings of the 24th Australasian Software Engineering Conference, 2015
2014
Proceedings of the WICSA 2014 Companion Volume, Sydney, NSW, Australia, April 7-11, 2014, 2014
The Supportive Effect of Traceability Links in Architecture-Level Software Understanding: Two Controlled Experiments.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014
A systematic literature review of traceability approaches between software architecture and source code.
Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014
2012
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012