| 2021 | ENASE | Ontology-Based Natural Language Processing for Process Compliance Management. | Muhammad Atif Javed, Faiz Ul Muram, Samina Kanwal |
| 2021 | ENASE | Facilitating the Compliance of Process Models with Critical System Engineering Standards using Natural Language Processing. | Faiz Ul Muram, Muhammad Atif Javed, Samina Kanwal |
| 2021 | ENASE | Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking. | Faiz Ul Muram, Samina Kanwal, Muhammad Atif Javed |
| 2020 | EDCC | Enforcing Geofences for Managing Automated Transportation Risks in Production Sites. | Muhammad Atif Javed, Faiz Ul Muram, Anas Fattouh, Sasikumar Punnekkat |
| 2020 | PRDC | Dynamic Reconfiguration of Safety-Critical Production Systems. | Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat |
| 2018 | ICSR | On-Demand Automated Traceability Maintenance and Evolution. | Muhammad Atif Javed, Faiz Ul Muram, Uwe Zdun |
| 2018 | QUATIC | Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations. | Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez |
| 2017 | EuroPLop | Towards Containment Checking of Behaviour in Architectural Patterns. | Faiz Ul Muram, Huy Tran, Uwe Zdun |
| 2016 | APSEC | A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams. | Faiz Ul Muram, Huy Tran, Uwe Zdun |
| 2015 | BPM | Counterexample Analysis for Supporting Containment Checking of Business Process Models. | Faiz Ul Muram, Huy Tran, Uwe Zdun |
| 2015 | EDOC | A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems. | Huy Tran, Faiz Ul Muram, Uwe Zdun |