Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study. - Atif Mashkoor; João M. Fernandes 001 (ICSEA, 2007)

Towards Validation of Requirements Models. - Atif Mashkoor; Abderrahman Matoussi (ASM, 2010)

Domain Engineering with Event-B: Some Lessons We Learned. - Atif Mashkoor; Jean-Pierre Jacquot (RE, 2010)

Stepwise Validation of Formal Specifications. - Atif Mashkoor; Jean-Pierre Jacquot (APSEC, 2011)

Guidelines for Formal Domain Modeling in Event-B. - Atif Mashkoor; Jean-Pierre Jacquot (HASE, 2011)

Utilizing Event-B for domain engineering: a critical analysis. - Atif Mashkoor; Jean-Pierre Jacquot (Requir. Eng., 2011)

Formal Domain Engineering: From Specification to Validation. (Ingénierie Formelle de Domaine: Des Spécifications à la Validation). - Atif Mashkoor (2011)

Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. - Atif Mashkoor; Osman Hasan (ICCSA (3), 2012)

Using Probabilistic Analysis for the Certification of Machine Control Systems. - Atif Mashkoor; Osman Hasan; Wolfgang Beer (CD-ARES Workshops, 2013)

Improving the Understandability of Formal Specifications: An Experience Report. - Felix Kossak; Atif Mashkoor; Verena Geist; Christa Illibauer (REFSQ, 2014)

Observation-Level-Driven Formal Modeling. - Atif Mashkoor; Jean-Pierre Jacquot (HASE, 2015)

Formal validation and verification of a medical software critical component. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor; Elvinia Riccobene (MEMOCODE, 2015)

Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices. - Atif Mashkoor; Miklós Biró; Marton Dolgos; Peter Timar (SWQD, 2015)

Unified Syntax for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Marcel Dausend; Angelo Gargantini; Atif Mashkoor; Alexander Raschke; Elvinia Riccobene; Patrizia Scandurra; Michael Stegmaier (ABZ, 2016)

How to Select the Suitable Formal Method for an Industrial Application: A Survey. - Felix Kossak; Atif Mashkoor (ABZ, 2016)

The Hemodialysis Machine Case Study. - Atif Mashkoor (ABZ, 2016)

Rigorous modeling and analysis of interoperable medical devices. - Atif Mashkoor; Johannes Sametinger (SpringSim (MSM), 2016)

Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study. - Atif Mashkoor; Miklós Biró (IEEE Embed. Syst. Lett., 2016)

Model-driven development of high-assurance active medical devices. - Atif Mashkoor (Softw. Qual. J., 2016)

Conceptual Modelling of Hybrid Systems - Structure and Behaviour. - Andreea Buga; Atif Mashkoor; Sorana Tania Nemes; Klaus-Dieter Schewe; Pornpan Songprasop (MEDI, 2017)

Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. - Silvia Bonfanti; Marco Carissoni; Angelo Gargantini; Atif Mashkoor (NFM, 2017)

Build Software or Buy: A Study on Developing Large Scale Software. - Basit Shahzad; Abdullatif M. Abdullatif; Naveed Ikram; Atif Mashkoor (IEEE Access, 2017)

Validation of formal specifications through transformation and animation. - Atif Mashkoor; Jean-Pierre Jacquot (Requir. Eng., 2017)

Refinement-based Validation of Event-B Specifications. - Atif Mashkoor; Faqing Yang; Jean-Pierre Jacquot (Softw. Syst. Model., 2017)

AsmetaA: Animator for Abstract State Machines. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (ABZ, 2018)

Addressing Client Needs for Cloud Computing using Formal Foundations. - Andreea Buga; Sorana Tania Nemes; Atif Mashkoor (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models. - Verena Geist; Felix Kossak; Christine Natschläger; Christa Illibauer; Thomas Ziebermayr; Atif Mashkoor (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

The Role of Validation in Refinement-Based Formal Software Development. - Jean-Pierre Jacquot; Atif Mashkoor (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report. - Atif Mashkoor; Felix Kossak; Miklós Biró; Alexander Egyed (ECMFA, 2018)

Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. - Sarah Benyagoub; Yamine Aït Ameur; Meriem Ouederni; Atif Mashkoor (ICECCS, 2018)

Generation of C++ Unit Tests from Abstract State Machines Specifications. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (ICST Workshops, 2018)

Handling Reparation in Incremental Construction of Realizable Conversation Protocols. - Sarah Benyagoub; Yamine Aït Ameur; Meriem Ouederni; Atif Mashkoor (MEDI Workshops, 2018)

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (MEDI Workshops, 2018)

Incremental Construction of Realizable Choreographies. - Sarah Benyagoub; Meriem Ouederni; Yamine Aït Ameur; Atif Mashkoor (NFM, 2018)

Validation of Transformation from Abstract State Machine Models to C++ Code. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (ICTSS, 2018)

Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. - Atif Mashkoor; Alexander Egyed (QRS, 2018)

Formal Verification and Safety Assessment of a Hemodialysis Machine. - Shahid Khan 002; Osman Hasan; Atif Mashkoor (SOFSEM, 2018)

An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. - Andreea Buga; Atif Mashkoor; Sorana Tania Nemes; Klaus-Dieter Schewe; Pornpan Songprasop (Comput. Lang. Syst. Struct., 2018)

Integrating formal methods into medical software development: The ASM approach. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor; Elvinia Riccobene (Sci. Comput. Program., 2018)

A systematic literature review of the use of formal methods in medical software systems. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (J. Softw. Evol. Process., 2018)

Selected functional safety and cybersecurity concerns in system, software, and service process improvement and innovation. - Atif Mashkoor; Miklós Biró; Richard Messnarz; Ricardo Colomo-Palacios (J. Softw. Evol. Process., 2018)

Software Safety and Security Risk Mitigation in Cyber-physical Systems. - Miklós Biró; Atif Mashkoor; Johannes Sametinger; Remzi Seker (IEEE Softw., 2018)

Evaluating the suitability of state-based formal methods for industrial deployment. - Atif Mashkoor; Felix Kossak; Alexander Egyed (Softw. Pract. Exp., 2018)

Security Risk Mitigation of Cyber Physical Systems: A Case Study of a Flight Simulator. - Maryam Zahid; Irum Inayat; Atif Mashkoor; Zahid Mehmood (DEXA Workshops, 2019)

Collaboratively enhanced consistency checking in a cloud-based engineering environment. - Michael Alexander Tröls; Atif Mashkoor; Alexander Egyed (EICS, 2019)

Multifaceted Consistency Checking of Collaborative Engineering Artifacts. - Michael Alexander Tröls; Atif Mashkoor; Alexander Egyed (MoDELS (Companion), 2019)

Live and global consistency checking in a collaborative engineering environment. - Michael Alexander Tröls; Atif Mashkoor; Alexander Egyed (SAC, 2019)

Towards Optimal Assembly Line Order Sequencing with Reinforcement Learning: A Case Study. - Saad Shafiq; Christoph Mayr-Dorn; Atif Mashkoor; Alexander Egyed (ETFA, 2020)

Evaluating the alignment of sequence diagrams with system behavior. - Atif Mashkoor; Alexander Egyed (ISM, 2020)

Intelligent Autonomous Systems. - Atif Mashkoor; Paolo Arcaini; Angelo Gargantini (Computer, 2020)

Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study. - Atif Mashkoor; Alexander Egyed; Robert Wille (CoRR, 2020)

Machine Learning for Software Engineering: A Systematic Mapping. - Saad Shafiq; Atif Mashkoor; Christoph Mayr-Dorn; Alexander Egyed (CoRR, 2020)

Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks. - Sarah Benyagoub; Yamine Aït Ameur; Meriem Ouederni; Atif Mashkoor; Ahmed Medeghri (J. Softw. Evol. Process., 2020)

Design and validation of a C++ code generator from Abstract State Machines specifications. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (J. Softw. Evol. Process., 2020)

Security- and safety-critical cyber-physical systems. - Atif Mashkoor; Johannes Sametinger; Miklós Biró; Alexander Egyed (J. Softw. Evol. Process., 2020)

TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces. - Mouna Hammoudi; Christoph Mayr-Dorn; Atif Mashkoor; Alexander Egyed (APSEC, 2021)

Validation of Formal Models by Timed Probabilistic Simulation. - Fabian Vu; Michael Leuschel; Atif Mashkoor (ABZ, 2021)

A Conceptual Model for Mitigation of Root Causes of Uncertainty in Cyber-Physical Systems. - Mah Noor Asmat; Saif Ur Rehman Khan 001; Atif Mashkoor (DEXA Workshops, 2021)

NLP4IP: Natural Language Processing-based Recommendation Approach for Issues Prioritization. - Saad Shafiq; Atif Mashkoor; Christoph Mayr-Dorn; Alexander Egyed (SEAA, 2021)

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. - Atif Mashkoor; Michael Leuschel; Alexander Egyed (ICSE (NIER), 2021)

Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts. - Michael Alexander Tröls; Atif Mashkoor; Alexander Egyed (ICSE (Companion Volume), 2021)

Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems. - Usman Ashraf; Christoph Mayr-Dorn; Atif Mashkoor; Alexander Egyed; Sebastiano Panichella (ICGSE/ICSSP, 2021)

TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development. - Saad Shafiq; Atif Mashkoor; Christoph Mayr-Dorn; Alexander Egyed (ICGSE/ICSSP, 2021)

Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts. - Michael Alexander Tröls; Atif Mashkoor; Alexander Egyed (ICGSE/ICSSP, 2021)

Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment. - Michael Alexander Tröls; Atif Mashkoor; Alexander Egyed (ICGSE/ICSSP, 2021)

A Traceability Dataset for Open Source Systems. - Mouna Hammoudi; Christoph Mayr-Dorn; Atif Mashkoor; Alexander Egyed (MSR, 2021)

On the effect of incompleteness to check requirement-to-method traces. - Mouna Hammoudi; Christoph Mayr-Dorn; Atif Mashkoor; Alexander Egyed (SAC, 2021)

Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment. - Michael Alexander Tröls; Atif Mashkoor; Alexander Egyed (SAC, 2021)

A Literature Review of Using Machine Learning in Software Development Life Cycle Stages. - Saad Shafiq; Atif Mashkoor; Christoph Mayr-Dorn; Alexander Egyed (IEEE Access, 2021)

Safe and secure cyber-physical systems. - Miklós Biró; Atif Mashkoor; Johannes Sametinger (J. Softw. Evol. Process., 2021)

Ensuring safe and consistent coengineering of cyber-physical production systems: A case study. - Michael Tröls; Atif Mashkoor; Andreas Demuth; Alexander Egyed (J. Softw. Evol. Process., 2021)

Data for a mapping study about the usage of MDE in Safety and Security Domain. - Atif Mashkoor; Robert Wille; Alexander Egyed; Sebastian Stock 002 (Zenodo, 2021)

Data for a mapping study about the usage of MDE in Safety and Security Domain. - Atif Mashkoor; Robert Wille; Alexander Egyed; Sebastian Stock 002 (Zenodo, 2021)

Application of Validation Obligations to Security Concerns. - Sebastian Stock 002; Atif Mashkoor; Alexander Egyed (DEXA Workshops, 2022)

Trace Refinement in B and Event-B. - Sebastian Stock 002; Atif Mashkoor; Michael Leuschel; Alexander Egyed (ICFEM, 2022)

Artificial Intelligence and Software Engineering: Are We Ready? - Atif Mashkoor; Tim Menzies; Alexander Egyed; Rudolf Ramler (Computer, 2022)

IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics. - Sebastian Stock 002; Fabian Vu; Atif Mashkoor; Michael Leuschel; Alexander Egyed (CoRR, 2022)

Formalization of Advanced VOs semantics and VO Refinement. - Sebastian Stock 002; Fabian Vu; David Geleßus; Atif Mashkoor; Michael Leuschel; Alexander Egyed (CoRR, 2022)

Balanced Knowledge Distribution among Software Development Teams - Observations from Open-Source and Closed-Source Software Development. - Saad Shafiq; Christoph Mayr-Dorn; Atif Mashkoor; Alexander Egyed (CoRR, 2022)

Instant and global consistency checking during collaborative engineering. - Michael Alexander Tröls; Luciano Marchezan; Atif Mashkoor; Alexander Egyed (Softw. Syst. Model., 2022)

A Context Ontology-Based Model to Mitigate Root Causes of Uncertainty in Cyber-Physical Systems. - Mah Noor Asmat; Saif Ur Rehman Khan 001; Atif Mashkoor; Irum Inayat (DEXA Workshops, 2023)

Validation-Driven Development. - Sebastian Stock 002; Atif Mashkoor; Alexander Egyed (ICFEM, 2023)

Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. - David Geleßus; Sebastian Stock 002; Fabian Vu; Michael Leuschel; Atif Mashkoor (ABZ, 2023)

Validation by Abstraction and Refinement. - Sebastian Stock 002; Fabian Vu; David Geleßus; Michael Leuschel; Atif Mashkoor; Alexander Egyed (ABZ, 2023)

A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development. - Syed Abu Saeed; Saif Ur Rehman Khan 001; Atif Mashkoor (Appl. Soft Comput., 2023)

Safety and security of cyber-physical systems. - Miklós Biró; Atif Mashkoor; Johannes Sametinger (J. Softw. Evol. Process., 2023)

Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. - Atif Mashkoor; Alexander Egyed; Robert Wille; Sebastian Stock 002 (J. Softw. Evol. Process., 2023)

Assessing the Maturity of Blockchain-Based Implementations with Software Reliability Growth Models. - Muhammad Azeem; Saif Ur Rehman Khan 001; Atif Mashkoor; Abdullah Yousafzai; Habib Un Nisa (DEXA Workshops, 2024)

An Automated Ontology-Based Requirements Traceability Technique in Agile Software Development Context. - Saif Ur Rehman Khan 001; Uswa Aslam; Atif Mashkoor; Irum Inayat; Habib Un Nisa (DEXA Workshops, 2024)

Towards Leveraging Fine-Grained Dependencies to Check Requirements Traceability Correctness. - Anamaria-Roberta Preda; Christoph Mayr-Dorn; Atif Mashkoor; Wesley Klewerton Guez Assunção; Alexander Egyed (ICSE Companion, 2024)

Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models. - Anamaria-Roberta Preda; Christoph Mayr-Dorn; Atif Mashkoor; Alexander Egyed (MSR, 2024)

Towards a Novel Approach to Railway Safety Using STPA and Promise Theory. - Felix Schaber; Atif Mashkoor; Michael Leuschel (SFPVV, 2024)

Application of AI to formal methods - an analysis of current trends. - Sebastian Stock 002; Jannik Dunkelau; Atif Mashkoor (CoRR, 2024)

MOBICAT: a model-driven engineering approach for automatic GUI code generation for Android applications. - Haroon Zafar; Saif Ur Rehman Khan 001; Atif Mashkoor; Habib Un Nisa (Frontiers Comput. Sci., 2024)

Teaching Engineering of AI-Intensive Systems. - Atif Mashkoor; Wesley K. G. Assunção; Alexander Egyed (IEEE Softw., 2024)

A conceptual framework for context-driven self-adaptive intelligent user interface based on Android. - Mughees Ali; Saif Ur Rehman Khan 001; Atif Mashkoor; Anam Taskeen (Cogn. Technol. Work., 2024)

Trace preservation in B and Event-B refinements. - Sebastian Stock 002; Atif Mashkoor; Michael Leuschel; Alexander Egyed (J. Log. Algebraic Methods Program., 2024)

Code smells in pull requests: An exploratory study. - Muhammad Ilyas Azeem; Saad Shafiq; Atif Mashkoor; Alexander Egyed (Softw. Pract. Exp., 2024)

Balanced knowledge distribution among software development teams - Observations from open- and closed-source software development. - Saad Shafiq; Christoph Mayr-Dorn; Atif Mashkoor; Alexander Egyed (J. Softw. Evol. Process., 2024)

An adaptive synthetic sampling and batch generation-oriented hybrid approach for addressing class imbalance problem in software defect prediction. - Anam Taskeen; Saif Ur Rehman Khan 001; Atif Mashkoor (Soft Comput., 2024)

Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems. - Felix Schaber; Atif Mashkoor; Michael Leuschel (FMICS, 2025)

Failure Divergence Refinement for Event-B. - Sebastian Stock 002; Michael Leuschel; Atif Mashkoor (TASE, 2025)