Atif Mashkoor - RankMe

123 papers A 3B 5C 20Misc 5Journal 51Unranked 31

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Development and Validation of a Formal Model and Prototype for an Air Traffic Control System. Formal Aspects Comput. David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
2025	J	`jnl`	A Systematic Literature Review on Graphical User Interface Testing Through Software Patterns. IET Softw. Ambreen Kousar, Saif Ur Rehman Khan, Atif Mashkoor, Javed Iqbal
2025	J	`jnl`	Application of AI to formal methods - an analysis of current trends. Empir. Softw. Eng. Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
2025	Misc	`conf`	Failure Divergence Refinement for Event-B. TASE Sebastian Stock, Michael Leuschel, Atif Mashkoor
2025	J	`jnl`	Failure divergence refinement for Event-B. CoRR Sebastian Stock, Michael Leuschel, Atif Mashkoor
2025	C	`conf`	Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems. FMICS Felix Schaber, Atif Mashkoor, Michael Leuschel
2024	J	`jnl`	A conceptual framework for context-driven self-adaptive intelligent user interface based on Android. Cogn. Technol. Work. Mughees Ali, Saif Ur Rehman Khan, Atif Mashkoor, Anam Taskeen
2024	—	`conf`	An Automated Ontology-Based Requirements Traceability Technique in Agile Software Development Context. DEXA Workshops Saif Ur Rehman Khan, Uswa Aslam, Atif Mashkoor, Irum Inayat, Habib Un Nisa
2024	J	`jnl`	An adaptive synthetic sampling and batch generation-oriented hybrid approach for addressing class imbalance problem in software defect prediction. Soft Comput. Anam Taskeen, Saif Ur Rehman Khan, Atif Mashkoor
2024	J	`jnl`	Application of AI to formal methods - an analysis of current trends. CoRR Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
2024	—	`conf`	Assessing the Maturity of Blockchain-Based Implementations with Software Reliability Growth Models. DEXA Workshops Muhammad Azeem, Saif Ur Rehman Khan, Atif Mashkoor, Abdullah Yousafzai, Habib Un Nisa
2024	J	`jnl`	Balanced knowledge distribution among software development teams - Observations from open- and closed-source software development. J. Softw. Evol. Process. Saad Shafiq, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
2024	J	`jnl`	Code smells in pull requests: An exploratory study. Softw. Pract. Exp. Muhammad Ilyas Azeem, Saad Shafiq, Atif Mashkoor, Alexander Egyed
2024	—	`ed.`	Database and Expert Systems Applications - DEXA 2024 Workshops - IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings DEXA Workshops Bernhard Moser, Lukas Fischer, Atif Mashkoor, Johannes Sametinger, Anna-Christina Glock, Michael Mayr, Sabrina Luftensteiner
2024	J	`jnl`	MOBICAT: a model-driven engineering approach for automatic GUI code generation for Android applications. Frontiers Comput. Sci. Haroon Zafar, Saif Ur Rehman Khan, Atif Mashkoor, Habib Un Nisa
2024	A	`conf`	Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models. MSR Anamaria-Roberta Preda, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
2024	J	`jnl`	Teaching Engineering of AI-Intensive Systems. IEEE Softw. Atif Mashkoor, Wesley K. G. Assunção, Alexander Egyed
2024	—	`conf`	Teaching Engineering of AI-intensive Systems. CSEE&T Atif Mashkoor, Wesley K. G. Assunção, Alexander Egyed
2024	—	`conf`	Towards Leveraging Fine-Grained Dependencies to Check Requirements Traceability Correctness. ICSE Companion Anamaria-Roberta Preda, Christoph Mayr-Dorn, Atif Mashkoor, Wesley Klewerton Guez Assunção, Alexander Egyed
2024	—	`conf`	Towards a Novel Approach to Railway Safety Using STPA and Promise Theory. SFPVV Felix Schaber, Atif Mashkoor, Michael Leuschel
2024	J	`jnl`	Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2023	—	`conf`	A Context Ontology-Based Model to Mitigate Root Causes of Uncertainty in Cyber-Physical Systems. DEXA Workshops Mah Noor Asmat, Saif Ur Rehman Khan, Atif Mashkoor, Irum Inayat
2023	J	`jnl`	A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development. Appl. Soft Comput. Syed Abu Saeed, Saif Ur Rehman Khan, Atif Mashkoor
2023	—	`ed.`	Database and Expert Systems Applications - DEXA 2023 Workshops - 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings DEXA Workshops Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Maqbool Khan
2023	J	`jnl`	Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. J. Softw. Evol. Process. Atif Mashkoor, Alexander Egyed, Robert Wille, Sebastian Stock
2023	C	`conf`	Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
2023	J	`jnl`	Safety and security of cyber-physical systems. J. Softw. Evol. Process. Miklós Biró, Atif Mashkoor, Johannes Sametinger
2023	C	`conf`	Validation by Abstraction and Refinement. ABZ Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
2023	C	`conf`	Validation-Driven Development. ICFEM Sebastian Stock, Atif Mashkoor, Alexander Egyed
2023	J	`jnl`	Validation-Driven Development. CoRR Sebastian Stock, Atif Mashkoor, Alexander Egyed
2022	—	`conf`	Application of Validation Obligations to Security Concerns. DEXA Workshops Sebastian Stock, Atif Mashkoor, Alexander Egyed
2022	J	`jnl`	Application of Validation Obligations to Security Concerns. CoRR Sebastian Stock, Atif Mashkoor, Alexander Egyed
2022	J	`jnl`	Artificial Intelligence and Software Engineering: Are We Ready? Computer Atif Mashkoor, Tim Menzies, Alexander Egyed, Rudolf Ramler
2022	J	`jnl`	Balanced Knowledge Distribution among Software Development Teams - Observations from Open-Source and Closed-Source Software Development. CoRR Saad Shafiq, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
2022	—	`ed.`	Database and Expert Systems Applications - DEXA 2022 Workshops - 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022, Proceedings DEXA Workshops Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Alfred Taudes, Atif Mashkoor, Johannes Sametinger, Jorge Martinez-Gil, Florian Sobieczky, Lukas Fischer, Rudolf Ramler, Maqbool Khan, Gerald Czech
2022	J	`jnl`	Formalization of Advanced VOs semantics and VO Refinement. CoRR Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2022	J	`jnl`	IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics. CoRR Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2022	J	`jnl`	Instant and global consistency checking during collaborative engineering. Softw. Syst. Model. Michael Alexander Tröls, Luciano Marchezan, Atif Mashkoor, Alexander Egyed
2022	C	`conf`	Trace Refinement in B and Event-B. ICFEM Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2022	J	`jnl`	Trace Refinement in B and Event-B. CoRR Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2021	—	`conf`	A Conceptual Model for Mitigation of Root Causes of Uncertainty in Cyber-Physical Systems. DEXA Workshops Mah Noor Asmat, Saif Ur Rehman Khan, Atif Mashkoor
2021	J	`jnl`	A Literature Review of Using Machine Learning in Software Development Life Cycle Stages. IEEE Access Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
2021	A	`conf`	A Traceability Dataset for Open Source Systems. MSR Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
2021	—	`ed.`	Database and Expert Systems Applications - DEXA 2021 Workshops - BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27-30, 2021, Proceedings DEXA Workshops Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Anna Fensel, Jorge Martinez-Gil, Lukas Fischer, Gerald Czech, Florian Sobieczky, Sohail Khan
2021	—	`conf`	Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems. ICGSE/ICSSP Usman Ashraf, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed, Sebastiano Panichella
2021	J	`jnl`	Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems. CoRR Usman Ashraf, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed, Sebastiano Panichella
2021	J	`jnl`	Ensuring safe and consistent coengineering of cyber-physical production systems: A case study. J. Softw. Evol. Process. Michael Tröls, Atif Mashkoor, Andreas Demuth, Alexander Egyed
2021	—	`conf`	Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment. ICGSE/ICSSP Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
2021	Misc	`conf`	Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment. SAC Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
2021	B	`conf`	NLP4IP: Natural Language Processing-based Recommendation Approach for Issues Prioritization. SEAA Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
2021	Misc	`conf`	On the effect of incompleteness to check requirement-to-method traces. SAC Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
2021	J	`jnl`	Safe and secure cyber-physical systems. J. Softw. Evol. Process. Miklós Biró, Atif Mashkoor, Johannes Sametinger
2021	—	`conf`	TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development. ICGSE/ICSSP Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
2021	J	`jnl`	TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development. CoRR Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
2021	—	`conf`	Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts. ICSE (Companion Volume) Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
2021	J	`jnl`	Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts. CoRR Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
2021	—	`conf`	Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts. ICGSE/ICSSP Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
2021	C	`conf`	TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces. APSEC Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
2021	—	`conf`	Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. ICSE (NIER) Atif Mashkoor, Michael Leuschel, Alexander Egyed
2021	J	`jnl`	Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. CoRR Atif Mashkoor, Michael Leuschel, Alexander Egyed
2021	C	`conf`	Validation of Formal Models by Timed Probabilistic Simulation. ABZ Fabian Vu, Michael Leuschel, Atif Mashkoor
2020	—	`ed.`	Database and Expert Systems Applications - DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020, Proceedings DEXA Workshops Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Lukas Fischer, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Anna Fensel, Jorge Martinez-Gil
2020	J	`jnl`	Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2020	C	`conf`	Evaluating the alignment of sequence diagrams with system behavior. ISM Atif Mashkoor, Alexander Egyed
2020	J	`jnl`	Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks. J. Softw. Evol. Process. Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri
2020	J	`jnl`	Intelligent Autonomous Systems. Computer Atif Mashkoor, Paolo Arcaini, Angelo Gargantini
2020	J	`jnl`	Machine Learning for Software Engineering: A Systematic Mapping. CoRR Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed
2020	J	`jnl`	Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study. CoRR Atif Mashkoor, Alexander Egyed, Robert Wille
2020	J	`jnl`	Security- and safety-critical cyber-physical systems. J. Softw. Evol. Process. Atif Mashkoor, Johannes Sametinger, Miklós Biró, Alexander Egyed
2020	C	`conf`	Towards Optimal Assembly Line Order Sequencing with Reinforcement Learning: A Case Study. ETFA Saad Shafiq, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed
2019	Misc	`conf`	Collaboratively enhanced consistency checking in a cloud-based engineering environment. EICS Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
2019	—	`ed.`	Database and Expert Systems Applications - DEXA 2019 International Workshops BIOKDD, IWCFS, MLKgraphs and TIR, Linz, Austria, August 26-29, 2019, Proceedings DEXA Workshops Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil, Mourad Elloumi, Atif Mashkoor, Johannes Sametinger, Xabier Larrucea, Anna Fensel, Jorge Martinez-Gil, Bernhard Moser, Christin Seifert, Benno Stein, Michael Granitzer
2019	Misc	`conf`	Live and global consistency checking in a collaborative engineering environment. SAC Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
2019	—	`conf`	Multifaceted Consistency Checking of Collaborative Engineering Artifacts. MoDELS (Companion) Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
2019	—	`conf`	Security Risk Mitigation of Cyber Physical Systems: A Case Study of a Flight Simulator. DEXA Workshops Maryam Zahid, Irum Inayat, Atif Mashkoor, Zahid Mehmood
2018	J	`jnl`	A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	—	`conf`	Addressing Client Needs for Cloud Computing using Formal Foundations. Models: Concepts, Theory, Logic, Reasoning and Semantics Andreea Buga, Sorana Tania Nemes, Atif Mashkoor
2018	J	`jnl`	Addressing Client Needs for Cloud Computing using Formal Foundations. CoRR Andreea Buga, Sorana Tania Nemes, Atif Mashkoor
2018	J	`jnl`	An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Comput. Lang. Syst. Struct. Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
2018	C	`conf`	Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. QRS Atif Mashkoor, Alexander Egyed
2018	C	`conf`	AsmetaA: Animator for Abstract State Machines. ABZ Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	J	`jnl`	Evaluating the suitability of state-based formal methods for industrial deployment. Softw. Pract. Exp. Atif Mashkoor, Felix Kossak, Alexander Egyed
2018	B	`conf`	Formal Verification and Safety Assessment of a Hemodialysis Machine. SOFSEM Shahid Khan, Osman Hasan, Atif Mashkoor
2018	—	`conf`	Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. MEDI Workshops Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	—	`conf`	Generation of C++ Unit Tests from Abstract State Machines Specifications. ICST Workshops Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	—	`conf`	Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models. Models: Concepts, Theory, Logic, Reasoning and Semantics Verena Geist, Felix Kossak, Christine Natschläger, Christa Illibauer, Thomas Ziebermayr, Atif Mashkoor
2018	—	`conf`	Handling Reparation in Incremental Construction of Realizable Conversation Protocols. MEDI Workshops Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
2018	—	`conf`	Incremental Construction of Realizable Choreographies. NFM Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor
2018	J	`jnl`	Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
2018	B	`conf`	Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report. ECMFA Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed
2018	—	`ed.`	Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday Models: Concepts, Theory, Logic, Reasoning and Semantics Atif Mashkoor, Qing Wang, Bernhard Thalheim
2018	B	`conf`	Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. ICECCS Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
2018	J	`jnl`	Selected functional safety and cybersecurity concerns in system, software, and service process improvement and innovation. J. Softw. Evol. Process. Atif Mashkoor, Miklós Biró, Richard Messnarz, Ricardo Colomo-Palacios
2018	J	`jnl`	Software Safety and Security Risk Mitigation in Cyber-physical Systems. IEEE Softw. Miklós Biró, Atif Mashkoor, Johannes Sametinger, Remzi Seker
2018	—	`conf`	The Role of Validation in Refinement-Based Formal Software Development. Models: Concepts, Theory, Logic, Reasoning and Semantics Jean-Pierre Jacquot, Atif Mashkoor
2018	C	`conf`	Validation of Transformation from Abstract State Machine Models to C++ Code. ICTSS Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2017	—	`conf`	Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. NFM Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor
2017	J	`jnl`	Build Software or Buy: A Study on Developing Large Scale Software. IEEE Access Basit Shahzad, Abdullatif M. Abdullatif, Naveed Ikram, Atif Mashkoor
2017	C	`conf`	Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
2017	J	`jnl`	Model-Driven Development of High-Assurance Active Medical Devices. CoRR Atif Mashkoor
2017	J	`jnl`	Refinement-based Validation of Event-B Specifications. Softw. Syst. Model. Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot
2017	J	`jnl`	Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study. CoRR Atif Mashkoor, Miklós Biró
2017	J	`jnl`	Validation of formal specifications through transformation and animation. Requir. Eng. Atif Mashkoor, Jean-Pierre Jacquot
2016	C	`ed.`	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings ABZ Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklós Biró
2016	C	`conf`	How to Select the Suitable Formal Method for an Industrial Application: A Survey. ABZ Felix Kossak, Atif Mashkoor
2016	J	`jnl`	Model-driven development of high-assurance active medical devices. Softw. Qual. J. Atif Mashkoor
2016	—	`conf`	Rigorous modeling and analysis of interoperable medical devices. SpringSim (MSM) Atif Mashkoor, Johannes Sametinger
2016	C	`conf`	The Hemodialysis Machine Case Study. ABZ Atif Mashkoor
2016	J	`jnl`	Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study. IEEE Embed. Syst. Lett. Atif Mashkoor, Miklós Biró
2016	C	`conf`	Unified Syntax for Abstract State Machines. ABZ Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
2015	C	`conf`	Formal validation and verification of a medical software critical component. MEMOCODE Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
2015	—	`conf`	Observation-Level-Driven Formal Modeling. HASE Atif Mashkoor, Jean-Pierre Jacquot
2015	—	`conf`	Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices. SWQD Atif Mashkoor, Miklós Biró, Marton Dolgos, Peter Timar
2014	B	`conf`	Improving the Understandability of Formal Specifications: An Experience Report. REFSQ Felix Kossak, Atif Mashkoor, Verena Geist, Christa Illibauer
2013	—	`conf`	Using Probabilistic Analysis for the Certification of Machine Control Systems. CD-ARES Workshops Atif Mashkoor, Osman Hasan, Wolfgang Beer
2012	—	`conf`	Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. ICCSA (3) Atif Mashkoor, Osman Hasan
2011	—	`—`	Formal Domain Engineering: From Specification to Validation. (Ingénierie Formelle de Domaine: Des Spécifications à la Validation). Atif Mashkoor
2011	—	`conf`	Guidelines for Formal Domain Modeling in Event-B. HASE Atif Mashkoor, Jean-Pierre Jacquot
2011	C	`conf`	Stepwise Validation of Formal Specifications. APSEC Atif Mashkoor, Jean-Pierre Jacquot
2011	J	`jnl`	Utilizing Event-B for domain engineering: a critical analysis. Requir. Eng. Atif Mashkoor, Jean-Pierre Jacquot
2010	A	`conf`	Domain Engineering with Event-B: Some Lessons We Learned. RE Atif Mashkoor, Jean-Pierre Jacquot
2010	—	`conf`	Towards Validation of Requirements Models. ASM Atif Mashkoor, Abderrahman Matoussi
2007	C	`conf`	Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study. ICSEA Atif Mashkoor, João M. Fernandes