Safe and secure platooning of automated guided vehicles in Industry 4.0 (Oct 2021) Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat, Hans Hansson Journal of Systems Architecture, 2021 (JSA)
Towards Dynamic Safety Assurance for Industry 4.0 (Oct 2020) Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane Journal of Systems Architecture (JSA, 114)
Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking (Apr 2021) Faiz Ul Muram, Samina Kanwal , Muhammad Atif Javed Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
Facilitating the Compliance of Process Models with Critical System Engineering Standards Using Natural Language Processing (Apr 2021) Faiz Ul Muram, Muhammad Atif Javed, Samina Kanwal Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
Drone-based Risk Management of Autonomous Systems Using Contracts and Blockchain (Mar 2021) Faiz Ul Muram, Muhammad Atif Javed 4th International Workshop on Emerging Trends in Software Engineering for Blockchain (IWBOSE 2021)
Dynamic Reconfiguration of Safety-Critical Production Systems (Sep 2020) Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020)
Enforcing Geofences for Managing Automated Transportation Risks in Production Sites (Sep 2020) Muhammad Atif Javed, Faiz Ul Muram, Anas Fattouh, Sasikumar Punnekkat Workshop on Dynamic Risk managEment for Autonomous Systems (DREAMS 2020)
System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production (Nov 2019) Faiz Ul Muram, Muhammad Atif Javed, Sasikumar Punnekkat 4th International Conference on System Reliability and Safety (ICSRS-2019)
Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262 (Jun 2019) Barbara Gallina, Muhammad Atif Javed, Helmut Martin, Robert Bramberger 24th International Conference on Reliable Software Technologies (Ada-Europe-2019)
Towards Variant Management and Change Impact Analysis in Safety-oriented Process-Product Lines (Apr 2019) Muhammad Atif Javed, Barbara Gallina, Anna Carlsson The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
Safety-oriented Process Line Engineering via Seamless Integration between EPF Composer and BVR Tool (Sep 2018) Muhammad Atif Javed, Barbara Gallina 22nd International Systems and Software Product Line Conference (SPLC 2018)
On-Demand Automated Traceability Maintenance and Evolution (May 2018) Muhammad Atif Javed, Faiz Ul Muram, Uwe Zdun 17th International Conference on Software Reuse (ICSR-2018)
Model-driven Dependability Analysis Method for Component-based Architectures (Sep 2012) Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013)
Get EPF Composer back to the future: A trip from Galileo to Photon after 11 years (Jun 2018) Muhammad Atif Javed, Barbara Gallina EclipseCon France2018 (EclipseCon)