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)
Exploring micro-credentials - the PROMPT example (Nov 2020) Malin Rosqvist, Hans Hansson SPHERE: Support and Promotion for Higher Education Reform Experts, European University Association (SPHERE2020)
Systematic False Positive Mitigation in Safe Automated Driving Systems (Nov 2020) Ayhan Mehmed, Wilfried Steiner , Aida Causevic 2020 International Symposium on Industrial Electronics and Applications (INDEL 2020)
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)