Dependable Software Engineering
Focus:
Formal Verification of an Approach for Systematic False Positive Mitigation in Safe Automated Driving System (Apr 2020) Ayhan Mehmed, Wilfried Steiner , Aida Causevic
Modular Safety Cases for the Assurance of Industry 4.0 (Feb 2020) Omar Jaradat, Irfan Sljivo, Richard Hawkins , Ibrahim Habli 28th Safety-Critical Systems Symposium (SCSS'20)
Enhancing Fault Detection in Time Sensitive Networks using Machine Learning (Jan 2020) Nitin Desai, Sasikumar Punnekkat 12th International Conference on COMmunication Systems & NETworkS (COMSNETS 2020)
System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production (Nov 2019) Faiz Ul Muram , Muhammad Atif Javed, Sasikumar Punnekkat 4th International Conference on System Reliability and Safety (ICSRS-2019)
A State-based Extension to STPA for Safety-Critical System-of-Systems (Nov 2019) Stephan Baumgart, Joakim Fröberg , Sasikumar Punnekkat 4th International Conference on System Reliability and Safety (ICSRS-2019)
Experimental analysis of dependency factors of Software Product Reliability using SonarQube (Oct 2019) Sanjay. L. Joshi , Bharat Deshpande , Sasikumar Punnekkat IWSM Mensura (IWSM-MENSURA2019)
