Muhammad Atif Javed is since 2021 a researcher at RISE in Västerås. Before that he was a researcher at the School of Innovation, Design and Engineering (IDT) Mälardalen University, Sweden. Before that, he received his Dr. tech. degree from the University of Vienna, Austria in 2016. He got a MSc. in computer science from the Mälardalen University in 2012.
His research focuses on process engineering, software design and architecture, hazard and mishap risk management, assurance cases, traceability, IoT, reconfigurable systems, and empirical software engineering.
Muhammad Atif Javed has published articles in several peer-reviewed conferences and workshops. He is a committer of Eclipse Process Framework (EPF) Composer and PolarSys OpenCert projects.
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)
|AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems||finished|
|ESCAPE - Efficient and effective functional safety for complex autonomous production systems||active|
|Future factories in the Cloud||active|
|InSecTT: Intelligent Secure Trustable Things||active|
|SUCCESS: Safety assurance of Cooperating Construction Equipment in Semi-automated Sites||active|