Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 19

Journal article (5)

Compliance Checking of Software Processes: A Systematic Literature Review (Mar 2022)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Journal of Software: Evolution and Process (JSEP)

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)

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, 114)

Facilitating Automated Compliance Checking of Processes in the Safety-critical Context (Dec 2019)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Electronic Communications of the EASST (ECEASST)

Supporting automated containment checking of software behavioural models using model transformations and model checking (Apr 2019)
Faiz Ul Muram, Huy Tran , Uwe Zdun
Science of Computer Programming, Elsevier (SCICO)

Conference/Workshop Paper (13)

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)

Dynamic Reconfiguration of Safety-Critical Production Systems (Sep 2020)
Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat
25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020)

Enforcing Geofences for Managing Automated Transportation Risks in Production Sites (Sep 2020)
Muhammad Atif Javed, Faiz Ul Muram, Anas Fattouh, Sasikumar Punnekkat
Workshop on Dynamic Risk managEment for Autonomous Systems (DREAMS 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 Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process (Jun 2019)
Faiz Ul Muram, Barbara Gallina, Samina Kanwal
3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSS-Rail-2019)

Preventing Omission of Key Evidence Fallacy in Process-based Argumentations (Dec 2018) -- Best Paper Award--
Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez
11th International Conference on the Quality of Information and Communications Technology (QUATIC-2018)

Compliance of Agilized (Software) Development Processes with Safety Standards: a Vision (Oct 2018)
Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila
4th international workshop on Agile Development of Safety-Critical Software (ASCS-2018)

Transforming SPEM 2.0-compatible Process Models into Models Checkable for Compliance (Oct 2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
18th International SPICE Conference (SPICE-2018)

Enabling Compliance Checking against Safety Standards from SPEM 2.0 Process Models (Aug 2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
The Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018)

On-Demand Automated Traceability Maintenance and Evolution (May 2018)
Muhammad Atif Javed, Faiz Ul Muram, Uwe Zdun
17th International Conference on Software Reuse (ICSR-2018)

Model-driven Dependability Analysis Method for Component-based Architectures (Sep 2012)
Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013)

Report - MRTC (1)

Systematic Literature Review of Compliance Checking Approaches for Software Processes (Aug 2021)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
MRTC Report, Mälardalen Real-Time Research Centre (MRTC 2021)

Items per page: