Atif Mashkoor

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 88

Top Venues

CoRR

J. Softw. Evol. Process.

ABZ

ICGSE/ICSSP

Nancy 2 University, France (PHD)

Education History

Nancy 2 University, France

PHD

Publications

Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. 137 (2024)
Mughees Ali, Saif ur Rehman Khan, Atif Mashkoor, Anam Taskeen
A conceptual framework for context-driven self-adaptive intelligent user interface based on Android. Cogn. Technol. Work. 26 (1) (2024)
Muhammad Ilyas Azeem, Saad Shafiq, Atif Mashkoor, Alexander Egyed
Code smells in pull requests: An exploratory study. Softw. Pract. Exp. 54 (3) (2024)
Syed Abu Saeed, Saif ur Rehman Khan, Atif Mashkoor
A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development. Appl. Soft Comput. 133 (2023)
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Validation-Driven Development. ICFEM (2023)
Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
Validation by Abstraction and Refinement. ABZ (2023)
Atif Mashkoor, Alexander Egyed, Robert Wille, Sebastian Stock
Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. J. Softw. Evol. Process. 35 (7) (2023)
Miklós Biró, Atif Mashkoor, Johannes Sametinger
Safety and security of cyber-physical systems. J. Softw. Evol. Process. 35 (7) (2023)
David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ (2023)
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Validation-Driven Development. CoRR (2023)
Mah Noor Asmat, Saif ur Rehman Khan, Atif Mashkoor, Irum Inayat
A Context Ontology-Based Model to Mitigate Root Causes of Uncertainty in Cyber-Physical Systems. DEXA Workshops (2023)
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Application of Validation Obligations to Security Concerns. DEXA Workshops (2022)
Saad Shafiq, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
Balanced Knowledge Distribution among Software Development Teams - Observations from Open-Source and Closed-Source Software Development. CoRR (2022)
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace Refinement in B and Event-B. ICFEM (2022)
Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Formalization of Advanced VOs semantics and VO Refinement. CoRR (2022)
Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics. CoRR (2022)
Michael Alexander Tröls, Luciano Marchezan, Atif Mashkoor, Alexander Egyed
Instant and global consistency checking during collaborative engineering. Softw. Syst. Model. 21 (6) (2022)
Atif Mashkoor, Tim Menzies, Alexander Egyed, Rudolf Ramler
Artificial Intelligence and Software Engineering: Are We Ready? Computer 55 (3) (2022)
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Application of Validation Obligations to Security Concerns. CoRR (2022)
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace Refinement in B and Event-B. CoRR (2022)
Atif Mashkoor, Michael Leuschel, Alexander Egyed
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. CoRR (2021)
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment. ICGSE/ICSSP (2021)
Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
A Traceability Dataset for Open Source Systems. MSR (2021)
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts. ICSE (Companion Volume) (2021)
Mah Noor Asmat, Saif ur Rehman Khan, Atif Mashkoor
A Conceptual Model for Mitigation of Root Causes of Uncertainty in Cyber-Physical Systems. DEXA Workshops (2021)
Miklós Biró, Atif Mashkoor, Johannes Sametinger
Safe and secure cyber-physical systems. J. Softw. Evol. Process. 33 (9) (2021)
Usman Ashraf, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed, Sebastiano Panichella
Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems. ICGSE/ICSSP (2021)
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development. CoRR (2021)
Michael Tröls, Atif Mashkoor, Andreas Demuth, Alexander Egyed
Ensuring safe and consistent coengineering of cyber-physical production systems: A case study. J. Softw. Evol. Process. 33 (9) (2021)
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment. SAC (2021)
Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces. APSEC (2021)
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
A Literature Review of Using Machine Learning in Software Development Life Cycle Stages. IEEE Access 9 (2021)
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts. ICGSE/ICSSP (2021)
Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
On the effect of incompleteness to check requirement-to-method traces. SAC (2021)
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
NLP4IP: Natural Language Processing-based Recommendation Approach for Issues Prioritization. SEAA (2021)
Atif Mashkoor, Michael Leuschel, Alexander Egyed
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. ICSE (NIER) (2021)
Fabian Vu, Michael Leuschel, Atif Mashkoor
Validation of Formal Models by Timed Probabilistic Simulation. ABZ (2021)
Usman Ashraf, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed, Sebastiano Panichella
Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems. CoRR (2021)
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts. CoRR (2021)
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development. ICGSE/ICSSP (2021)
Saad Shafiq, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
Towards Optimal Assembly Line Order Sequencing with Reinforcement Learning: A Case Study. ETFA (2020)
Atif Mashkoor, Paolo Arcaini, Angelo Gargantini
Intelligent Autonomous Systems. Computer 53 (12) (2020)
Atif Mashkoor, Alexander Egyed, Robert Wille
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study. CoRR (2020)
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri
Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks. J. Softw. Evol. Process. 32 (2) (2020)
Atif Mashkoor, Alexander Egyed
Evaluating the alignment of sequence diagrams with system behavior. ISM (2020)
Atif Mashkoor, Johannes Sametinger, Miklós Biró, Alexander Egyed
Security- and safety-critical cyber-physical systems. J. Softw. Evol. Process. 32 (2) (2020)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process. 32 (2) (2020)
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
Machine Learning for Software Engineering: A Systematic Mapping. CoRR (2020)
Maryam Zahid, Irum Inayat, Atif Mashkoor, Zahid Mehmood
Security Risk Mitigation of Cyber Physical Systems: A Case Study of a Flight Simulator. DEXA Workshops (2019)
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Multifaceted Consistency Checking of Collaborative Engineering Artifacts. MoDELS (Companion) (2019)
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Collaboratively enhanced consistency checking in a cloud-based engineering environment. EICS (2019)
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Live and global consistency checking in a collaborative engineering environment. SAC (2019)
Jean-Pierre Jacquot, Atif Mashkoor
The Role of Validation in Refinement-Based Formal Software Development. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
AsmetaA: Animator for Abstract State Machines. ABZ (2018)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. MEDI Workshops (2018)
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. ICECCS (2018)
Verena Geist, Felix Kossak, Christine Natschläger, Christa Illibauer, Thomas Ziebermayr, Atif Mashkoor
Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor
Incremental Construction of Realizable Choreographies. NFM (2018)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process. 30 (5) (2018)
Shahid Khan, Osman Hasan, Atif Mashkoor
Formal Verification and Safety Assessment of a Hemodialysis Machine. SOFSEM (2018)
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
Handling Reparation in Incremental Construction of Realizable Conversation Protocols. MEDI Workshops (2018)
Atif Mashkoor, Felix Kossak, Alexander Egyed
Evaluating the suitability of state-based formal methods for industrial deployment. Softw. Pract. Exp. 48 (12) (2018)
Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Comput. Lang. Syst. Struct. 54 (2018)
Atif Mashkoor, Alexander Egyed
Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. QRS (2018)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
Validation of Transformation from Abstract State Machine Models to C++ Code. ICTSS (2018)
Atif Mashkoor, Miklós Biró, Richard Messnarz, Ricardo Colomo Palacios
Selected functional safety and cybersecurity concerns in system, software, and service process improvement and innovation. J. Softw. Evol. Process. 30 (5) (2018)
Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed
Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report. ECMFA (2018)
Miklós Biró, Atif Mashkoor, Johannes Sametinger, Remzi Seker
Software Safety and Security Risk Mitigation in Cyber-physical Systems. IEEE Softw. 35 (1) (2018)
Andreea Buga, Sorana Tania Nemes, Atif Mashkoor
Addressing Client Needs for Cloud Computing using Formal Foundations. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158 (2018)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
Generation of C++ Unit Tests from Abstract State Machines Specifications. ICST Workshops (2018)
Andreea Buga, Sorana Tania Nemes, Atif Mashkoor
Addressing Client Needs for Cloud Computing using Formal Foundations. CoRR (2018)
Atif Mashkoor
Model-Driven Development of High-Assurance Active Medical Devices. CoRR (2017)
Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. NFM (2017)
Atif Mashkoor, Miklós Biró
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study. CoRR (2017)
Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot
Refinement-based Validation of Event-B Specifications. Softw. Syst. Model. 16 (3) (2017)
Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI (2017)
Basit Shahzad, Abdullatif M. Abdullatif, Naveed Ikram, Atif Mashkoor
Build Software or Buy: A Study on Developing Large Scale Software. IEEE Access 5 (2017)
Atif Mashkoor, Jean-Pierre Jacquot
Validation of formal specifications through transformation and animation. Requir. Eng. 22 (4) (2017)
Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
Unified Syntax for Abstract State Machines. ABZ (2016)
Atif Mashkoor, Johannes Sametinger
Rigorous modeling and analysis of interoperable medical devices. SpringSim (MSM) (2016)
Felix Kossak, Atif Mashkoor
How to Select the Suitable Formal Method for an Industrial Application: A Survey. ABZ (2016)
Atif Mashkoor, Miklós Biró
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study. IEEE Embed. Syst. Lett. 8 (1) (2016)
Atif Mashkoor
The Hemodialysis Machine Case Study. ABZ (2016)
Atif Mashkoor
Model-driven development of high-assurance active medical devices. Softw. Qual. J. 24 (3) (2016)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
Formal validation and verification of a medical software critical component. MEMOCODE (2015)
Atif Mashkoor, Miklós Biró, Marton Dolgos, Peter Timar
Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices. SWQD (2015)
Atif Mashkoor, Jean-Pierre Jacquot
Observation-Level-Driven Formal Modeling. HASE (2015)
Felix Kossak, Atif Mashkoor, Verena Geist, Christa Illibauer
Improving the Understandability of Formal Specifications: An Experience Report. REFSQ (2014)
Atif Mashkoor, Osman Hasan, Wolfgang Beer
Using Probabilistic Analysis for the Certification of Machine Control Systems. CD-ARES Workshops (2013)
Atif Mashkoor, Osman Hasan
Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. ICCSA (3) (2012)
Atif Mashkoor, Jean-Pierre Jacquot
Guidelines for Formal Domain Modeling in Event-B. HASE (2011)
Atif Mashkoor, Jean-Pierre Jacquot
Stepwise Validation of Formal Specifications. APSEC (2011)
Atif Mashkoor, Jean-Pierre Jacquot
Utilizing Event-B for domain engineering: a critical analysis. Requir. Eng. 16 (3) (2011)
Atif Mashkoor, Abderrahman Matoussi
Towards Validation of Requirements Models. ASM (2010)
Atif Mashkoor, Jean-Pierre Jacquot
Domain Engineering with Event-B: Some Lessons We Learned. RE (2010)
Atif Mashkoor, João M. Fernandes
Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study. ICSEA (2007)

Atif Mashkoor.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Atif Mashkoor