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]

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)

The teaching of computer ethics on computer science and related degree programmes. a European survey (Oct 2021)
Ioannis Stavrakakis , Damian Gordon , Brendan Tierney , Anna Becevel , Emma Murphy , Gordana Dodig-Crnkovic, Radu Dobrin, Viola Schiaffonati , Cristina Pereira , Svetlana Tikhonenko , Paul Gibson , Stephane Maag , Francesco Agresta , Andrea Curley , Michael Collins , Dympna O Sullivan
International Journal of Ethics Education (IJEE)

How to Analyze the Safety of Concepts for a System-of-Systems? (Sep 2021)
Stephan Baumgart, Sasikumar Punnekkat, Joakim Fröberg
International Symposium on Systems Engineering (ISSE 2021)

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)

Sasikumar Punnekkat, Professor

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