| 2025 | FMICS | Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems. | Felix Schaber, Atif Mashkoor, Michael Leuschel |
| 2025 | TASE | Failure Divergence Refinement for Event-B. | Sebastian Stock, Michael Leuschel, Atif Mashkoor |
| 2024 | ICSE | Towards Leveraging Fine-Grained Dependencies to Check Requirements Traceability Correctness. | Anamaria-Roberta Preda, Christoph Mayr-Dorn, Atif Mashkoor, Wesley Klewerton Guez Assuno, Alexander Egyed |
| 2024 | MSR | Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models. | Anamaria-Roberta Preda, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed |
| 2023 | ICFEM | Validation-Driven Development. | Sebastian Stock, Atif Mashkoor, Alexander Egyed |
| 2022 | ICFEM | Trace Refinement in B and Event-B. | Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed |
| 2021 | APSEC | TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces. | Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed |
| 2021 | ICSE | Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. | Atif Mashkoor, Michael Leuschel, Alexander Egyed |
| 2021 | ICSE | Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts. | Michael Alexander Trls, Atif Mashkoor, Alexander Egyed |
| 2021 | MSR | A Traceability Dataset for Open Source Systems. | Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed |
| 2021 | SAC | On the effect of incompleteness to check requirement-to-method traces. | Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed |
| 2021 | SAC | Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment. | Michael Alexander Trls, Atif Mashkoor, Alexander Egyed |
| 2020 | ETFA | Towards Optimal Assembly Line Order Sequencing with Reinforcement Learning: A Case Study. | Saad Shafiq, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed |
| 2019 | EICS | Collaboratively enhanced consistency checking in a cloud-based engineering environment. | Michael Alexander Trls, Atif Mashkoor, Alexander Egyed |
| 2019 | MODELS | Multifaceted Consistency Checking of Collaborative Engineering Artifacts. | Michael Alexander Trls, Atif Mashkoor, Alexander Egyed |
| 2019 | SAC | Live and global consistency checking in a collaborative engineering environment. | Michael Alexander Trls, Atif Mashkoor, Alexander Egyed |
| 2018 | ICECCS | Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. | Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor |
| 2018 | ICST | Generation of C++ Unit Tests from Abstract State Machines Specifications. | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
| 2018 | MEDI | Handling Reparation in Incremental Construction of Realizable Conversation Protocols. | Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor |
| 2018 | MEDI | Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
| 2018 | QRS | Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. | Atif Mashkoor, Alexander Egyed |
| 2018 | SOFSEM | Formal Verification and Safety Assessment of a Hemodialysis Machine. | Shahid Khan, Osman Hasan, Atif Mashkoor |
| 2017 | MEDI | Conceptual Modelling of Hybrid Systems - Structure and Behaviour. | Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop |
| 2015 | MEMOCODE | Formal validation and verification of a medical software critical component. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene |
| 2014 | REFSQ | Improving the Understandability of Formal Specifications: An Experience Report. | Felix Kossak, Atif Mashkoor, Verena Geist, Christa Illibauer |
| 2012 | ICCSA | Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. | Atif Mashkoor, Osman Hasan |
| 2011 | APSEC | Stepwise Validation of Formal Specifications. | Atif Mashkoor, Jean-Pierre Jacquot |
| 2010 | RE | Domain Engineering with Event-B: Some Lessons We Learned. | Atif Mashkoor, Jean-Pierre Jacquot |
| 2007 | ICSEA | Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study. | Atif Mashkoor, Joo M. Fernandes |