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]

Enabling Time-critical Communications in Medical IoT Applications (Jul 2021)
Dino Mustefa, Hossein Fotouhi, Sasikumar Punnekkat, Detlef Scholle
International Conference on e-Health (e-Health'21)

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)

Cybersecurity Analysis for a Remote Drug Dosing and Adherence Monitoring System (Dec 2020)
Dino Mustefa, Sasikumar Punnekkat
International Conference on IoT Technologies for HealthCare (HealthyIoT'20)

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)

Sasikumar Punnekkat, Professor

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