Muhammad Atif Javed, Researcher (not working at IDT anymore)
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)
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)
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)
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)