![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Atif Mashkoor
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j29]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): 83-106 (2024) - [j28]Haroon Zafar, Saif Ur Rehman Khan, Atif Mashkoor, Habib Un Nisa:
MOBICAT: a model-driven engineering approach for automatic GUI code generation for Android applications. Frontiers Comput. Sci. 6 (2024) - [j27]Sebastian Stock
, Atif Mashkoor
, Michael Leuschel
, Alexander Egyed
:
Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. 137: 100943 (2024) - [j26]Atif Mashkoor
, Wesley K. G. Assunção
, Alexander Egyed:
Teaching Engineering of AI-Intensive Systems. IEEE Softw. 41(2): 30-35 (2024) - [j25]Muhammad Ilyas Azeem, Saad Shafiq
, Atif Mashkoor, Alexander Egyed:
Code smells in pull requests: An exploratory study. Softw. Pract. Exp. 54(3): 419-436 (2024) - [c57]Anamaria-Roberta Preda
, Christoph Mayr-Dorn
, Atif Mashkoor
, Wesley Klewerton Guez Assunção
, Alexander Egyed
:
Towards Leveraging Fine-Grained Dependencies to Check Requirements Traceability Correctness. ICSE Companion 2024: 292-293 - [c56]Anamaria-Roberta Preda
, Christoph Mayr-Dorn
, Atif Mashkoor
, Alexander Egyed
:
Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models. MSR 2024: 242-253 - 2023
- [j24]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: 109977 (2023) - [j23]Miklós Biró
, Atif Mashkoor
, Johannes Sametinger
:
Safety and security of cyber-physical systems. J. Softw. Evol. Process. 35(7) (2023) - [j22]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) - [c55]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: 45-56 - [c54]Sebastian Stock
, Atif Mashkoor
, Alexander Egyed
:
Validation-Driven Development. ICFEM 2023: 191-207 - [c53]Sebastian Stock
, Fabian Vu
, David Geleßus
, Michael Leuschel
, Atif Mashkoor
, Alexander Egyed
:
Validation by Abstraction and Refinement. ABZ 2023: 160-178 - [c52]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: 284-302 - [e7]Gabriele Kotsis, A Min Tjoa
, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Maqbool Khan:
Database and Expert Systems Applications - DEXA 2023 Workshops - 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings. Communications in Computer and Information Science 1872, Springer 2023, ISBN 978-3-031-39688-5 [contents] - [i15]Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Validation-Driven Development. CoRR abs/2308.06028 (2023) - 2022
- [j21]Atif Mashkoor, Tim Menzies
, Alexander Egyed, Rudolf Ramler:
Artificial Intelligence and Software Engineering: Are We Ready? Computer 55(3): 24-28 (2022) - [j20]Michael Alexander Tröls
, Luciano Marchezan, Atif Mashkoor, Alexander Egyed:
Instant and global consistency checking during collaborative engineering. Softw. Syst. Model. 21(6): 2489-2515 (2022) - [c51]Sebastian Stock
, Atif Mashkoor
, Alexander Egyed
:
Application of Validation Obligations to Security Concerns. DEXA Workshops 2022: 337-346 - [c50]Sebastian Stock
, Atif Mashkoor
, Michael Leuschel
, Alexander Egyed
:
Trace Refinement in B and Event-B. ICFEM 2022: 316-333 - [e6]Gabriele Kotsis, A Min Tjoa
, Ismail Khalil, Bernhard Moser, Alfred Taudes, Atif Mashkoor, Johannes Sametinger
, Jorge Martínez Gil, Florian Sobieczky, Lukas Fischer, Rudolf Ramler, Maqbool Khan, Gerald Czech:
Database and Expert Systems Applications - DEXA 2022 Workshops - 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022, Proceedings. Communications in Computer and Information Science 1633, Springer 2022, ISBN 978-3-031-14342-7 [contents] - [i14]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 abs/2205.06138 (2022) - [i13]Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Formalization of Advanced VOs semantics and VO Refinement. CoRR abs/2205.08988 (2022) - [i12]Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Application of Validation Obligations to Security Concerns. CoRR abs/2207.03209 (2022) - [i11]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 abs/2207.12851 (2022) - [i10]Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Trace Refinement in B and Event-B. CoRR abs/2207.14043 (2022) - 2021
- [j19]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: 140896-140920 (2021) - [j18]Miklós Biró
, Atif Mashkoor
, Johannes Sametinger
:
Safe and secure cyber-physical systems. J. Softw. Evol. Process. 33(9) (2021) - [j17]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) - [c49]Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed:
TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces. APSEC 2021: 12-21 - [c48]Fabian Vu
, Michael Leuschel
, Atif Mashkoor
:
Validation of Formal Models by Timed Probabilistic Simulation. ABZ 2021: 81-96 - [c47]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: 9-17 - [c46]Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed:
NLP4IP: Natural Language Processing-based Recommendation Approach for Issues Prioritization. SEAA 2021: 99-108 - [c45]Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. ICSE (NIER) 2021: 1-5 - [c44]Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts. ICSE (Companion Volume) 2021: 250-251 - [c43]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: 39-49 - [c42]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: 61-71 - [c41]Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts. ICGSE/ICSSP 2021: 72-82 - [c40]Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment. ICGSE/ICSSP 2021: 83-93 - [c39]Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed:
A Traceability Dataset for Open Source Systems. MSR 2021: 555-559 - [c38]Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed:
On the effect of incompleteness to check requirement-to-method traces. SAC 2021: 1465-1474 - [c37]Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment. SAC 2021: 1572-1575 - [e5]Gabriele Kotsis, A Min Tjoa
, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger
, Anna Fensel, Jorge Martínez Gil, Lukas Fischer, Gerald Czech, Florian Sobieczky, Sohail Khan
:
Database and Expert Systems Applications - DEXA 2021 Workshops - BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27-30, 2021, Proceedings. Communications in Computer and Information Science 1479, Springer 2021, ISBN 978-3-030-87100-0 [contents] - [d2]Atif Mashkoor
, Robert Wille
, Alexander Egyed
, Sebastian Stock
:
Data for a mapping study about the usage of MDE in Safety and Security Domain. Version 2. Zenodo, 2021 [all versions] - [d1]Atif Mashkoor
, Robert Wille
, Alexander Egyed
, Sebastian Stock
:
Data for a mapping study about the usage of MDE in Safety and Security Domain. Version 1. Zenodo, 2021 [all versions] - [i9]Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. CoRR abs/2102.06037 (2021) - [i8]Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed:
TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development. CoRR abs/2103.02330 (2021) - [i7]Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts. CoRR abs/2103.14860 (2021) - [i6]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 abs/2104.03648 (2021) - 2020
- [j16]Atif Mashkoor
, Paolo Arcaini
, Angelo Gargantini
:
Intelligent Autonomous Systems. Computer 53(12): 20-23 (2020) - [j15]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) - [j14]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) - [j13]Atif Mashkoor
, Johannes Sametinger
, Miklós Biró
, Alexander Egyed:
Security- and safety-critical cyber-physical systems. J. Softw. Evol. Process. 32(2) (2020) - [c36]Saad Shafiq
, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed:
Towards Optimal Assembly Line Order Sequencing with Reinforcement Learning: A Case Study. ETFA 2020: 982-989 - [c35]Atif Mashkoor, Alexander Egyed:
Evaluating the alignment of sequence diagrams with system behavior. ISM 2020: 502-506 - [e4]Gabriele Kotsis, A Min Tjoa
, Ismail Khalil, Lukas Fischer
, Bernhard Moser, Atif Mashkoor, Johannes Sametinger
, Anna Fensel, Jorge Martínez Gil:
Database and Expert Systems Applications - DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020, Proceedings. Communications in Computer and Information Science 1285, Springer 2020, ISBN 978-3-030-59027-7 [contents] - [i5]Atif Mashkoor, Alexander Egyed, Robert Wille:
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study. CoRR abs/2004.08471 (2020) - [i4]Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed:
Machine Learning for Software Engineering: A Systematic Mapping. CoRR abs/2005.13299 (2020)
2010 – 2019
- 2019
- [c34]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: 129-138 - [c33]Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Collaboratively enhanced consistency checking in a cloud-based engineering environment. EICS 2019: 15:1-15:6 - [c32]Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Multifaceted Consistency Checking of Collaborative Engineering Artifacts. MoDELS (Companion) 2019: 278-287 - [c31]Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Live and global consistency checking in a collaborative engineering environment. SAC 2019: 1776-1785 - [e3]Gabriele Anderst-Kotsis, A Min Tjoa
, Ismail Khalil, Mourad Elloumi, Atif Mashkoor, Johannes Sametinger
, Xabier Larrucea, Anna Fensel, Jorge Martínez Gil, Bernhard Moser, Christin Seifert, Benno Stein, Michael Granitzer:
Database and Expert Systems Applications - DEXA 2019 International Workshops BIOKDD, IWCFS, MLKgraphs and TIR, Linz, Austria, August 26-29, 2019, Proceedings. Communications in Computer and Information Science 1062, Springer 2019, ISBN 978-3-030-27683-6 [contents] - 2018
- [j12]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: 297-315 (2018) - [j11]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor
, Elvinia Riccobene:
Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158: 148-167 (2018) - [j10]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) - [j9]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) - [j8]Miklós Biró
, Atif Mashkoor
, Johannes Sametinger, Remzi Seker:
Software Safety and Security Risk Mitigation in Cyber-physical Systems. IEEE Softw. 35(1): 24-29 (2018) - [j7]Atif Mashkoor
, Felix Kossak
, Alexander Egyed:
Evaluating the suitability of state-based formal methods for industrial deployment. Softw. Pract. Exp. 48(12): 2350-2379 (2018) - [c30]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor:
AsmetaA: Animator for Abstract State Machines. ABZ 2018: 369-373 - [c29]Jean-Pierre Jacquot, Atif Mashkoor:
The Role of Validation in Refinement-Based Formal Software Development. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 202-219 - [c28]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: 220-241 - [c27]Andreea Buga, Sorana Tania Nemes, Atif Mashkoor:
Addressing Client Needs for Cloud Computing using Formal Foundations. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 264-285 - [c26]Atif Mashkoor, Felix Kossak
, Miklós Biró
, Alexander Egyed:
Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report. ECMFA 2018: 264-278 - [c25]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: 209-212 - [c24]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor:
Generation of C++ Unit Tests from Abstract State Machines Specifications. ICST Workshops 2018: 185-193 - [c23]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor:
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. MEDI Workshops 2018: 146-152 - [c22]Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor:
Handling Reparation in Incremental Construction of Realizable Conversation Protocols. MEDI Workshops 2018: 159-166 - [c21]Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor:
Incremental Construction of Realizable Choreographies. NFM 2018: 1-19 - [c20]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor:
Validation of Transformation from Abstract State Machine Models to C++ Code. ICTSS 2018: 17-32 - [c19]Atif Mashkoor, Alexander Egyed:
Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. QRS 2018: 75-82 - [c18]Shahid Khan, Osman Hasan
, Atif Mashkoor
:
Formal Verification and Safety Assessment of a Hemodialysis Machine. SOFSEM 2018: 241-254 - [e2]Atif Mashkoor, Qing Wang, Bernhard Thalheim:
Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. College Publications 2018, ISBN 978-1-84890-276-3 [contents] - [i3]Andreea Buga, Sorana Tania Nemes, Atif Mashkoor:
Addressing Client Needs for Cloud Computing using Formal Foundations. CoRR abs/1808.04222 (2018) - 2017
- [j6]Basit Shahzad
, Abdullatif M. Abdullatif, Naveed Ikram, Atif Mashkoor
:
Build Software or Buy: A Study on Developing Large Scale Software. IEEE Access 5: 24262-24274 (2017) - [j5]Atif Mashkoor
, Jean-Pierre Jacquot:
Validation of formal specifications through transformation and animation. Requir. Eng. 22(4): 433-451 (2017) - [j4]Atif Mashkoor
, Faqing Yang, Jean-Pierre Jacquot:
Refinement-based Validation of Event-B Specifications. Softw. Syst. Model. 16(3): 789-808 (2017) - [c17]Andreea Buga, Atif Mashkoor
, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI 2017: 277-290 - [c16]Silvia Bonfanti
, Marco Carissoni, Angelo Gargantini
, Atif Mashkoor
:
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. NFM 2017: 295-301 - [i2]Atif Mashkoor, Miklós Biró:
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study. CoRR abs/1706.06369 (2017) - [i1]Atif Mashkoor:
Model-Driven Development of High-Assurance Active Medical Devices. CoRR abs/1706.06376 (2017) - 2016
- [j3]Atif Mashkoor
, Miklós Biró
:
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study. IEEE Embed. Syst. Lett. 8(1): 14-17 (2016) - [j2]Atif Mashkoor
:
Model-driven development of high-assurance active medical devices. Softw. Qual. J. 24(3): 571-596 (2016) - [c15]Felix Kossak
, Atif Mashkoor
:
How to Select the Suitable Formal Method for an Industrial Application: A Survey. ABZ 2016: 213-228 - [c14]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: 231-236 - [c13]Atif Mashkoor
:
The Hemodialysis Machine Case Study. ABZ 2016: 329-343 - [c12]Atif Mashkoor, Johannes Sametinger:
Rigorous modeling and analysis of interoperable medical devices. SpringSim (MSM) 2016: 5 - [e1]Michael J. Butler
, Klaus-Dieter Schewe, Atif Mashkoor
, Miklós Biró
:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Lecture Notes in Computer Science 9675, Springer 2016, ISBN 978-3-319-33599-5 [contents] - 2015
- [c11]Atif Mashkoor
, Jean-Pierre Jacquot:
Observation-Level-Driven Formal Modeling. HASE 2015: 158-165 - [c10]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini, Atif Mashkoor
, Elvinia Riccobene:
Formal validation and verification of a medical software critical component. MEMOCODE 2015: 80-89 - [c9]Atif Mashkoor
, Miklós Biró
, Marton Dolgos, Peter Timar:
Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices. SWQD 2015: 120-132 - 2014
- [c8]Felix Kossak, Atif Mashkoor
, Verena Geist, Christa Illibauer:
Improving the Understandability of Formal Specifications: An Experience Report. REFSQ 2014: 184-199 - 2013
- [c7]Atif Mashkoor
, Osman Hasan
, Wolfgang Beer:
Using Probabilistic Analysis for the Certification of Machine Control Systems. CD-ARES Workshops 2013: 305-320 - 2012
- [c6]Atif Mashkoor
, Osman Hasan
:
Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. ICCSA (3) 2012: 419-434 - 2011
- [b1]Atif Mashkoor:
Formal Domain Engineering: From Specification to Validation. (Ingénierie Formelle de Domaine: Des Spécifications à la Validation). Nancy 2 University, France, 2011 - [j1]Atif Mashkoor
, Jean-Pierre Jacquot:
Utilizing Event-B for domain engineering: a critical analysis. Requir. Eng. 16(3): 191-207 (2011) - [c5]Atif Mashkoor
, Jean-Pierre Jacquot:
Stepwise Validation of Formal Specifications. APSEC 2011: 57-64 - [c4]Atif Mashkoor
, Jean-Pierre Jacquot:
Guidelines for Formal Domain Modeling in Event-B. HASE 2011: 138-145 - 2010
- [c3]Atif Mashkoor
, Abderrahman Matoussi:
Towards Validation of Requirements Models. ASM 2010: 404 - [c2]Atif Mashkoor
, Jean-Pierre Jacquot:
Domain Engineering with Event-B: Some Lessons We Learned. RE 2010: 252-261
2000 – 2009
- 2007
- [c1]Atif Mashkoor
, João M. Fernandes
:
Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study. ICSEA 2007: 25
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint