Dependable Software Engineering


Methods and processes for engineering dependable software systems; specifically, techniques and schedulability analysis for fault-tolerant real-time systems, software reliability modelling, software testing and safety argumentation for certification.

[Show all publications]

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)

Sasikumar Punnekkat, Professor

Room: U1-070
Phone: +46-21-107324