More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Atif Mashkoor

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ctw/AliKMT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ctw/AliKMT24
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)
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fcomp/ZafarKMN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcomp/ZafarKMN24
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)
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/StockMLE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/StockMLE24
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. 137: 100943 (2024)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/ShafiqMME24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/ShafiqMME24
Saad Shafiq, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed:
Balanced knowledge distribution among software development teams - Observations from open- and closed-source software development. J. Softw. Evol. Process. 36(8) (2024)
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/software/MashkoorAE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/MashkoorAE24
Atif Mashkoor, Wesley K. G. Assunção, Alexander Egyed:
Teaching Engineering of AI-Intensive Systems. IEEE Softw. 41(2): 30-35 (2024)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/spe/AzeemSME24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/AzeemSME24
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)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/MashkoorAE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/MashkoorAE24
Atif Mashkoor, Wesley K. G. Assunção, Alexander Egyed:
Teaching Engineering of AI-intensive Systems. CSEE&T 2024: 1
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PredaMMAE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PredaMMAE24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/PredaMME24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/PredaMME24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/asc/SaeedKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/SaeedKM23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/BiroMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/BiroMS23
Miklós Biró, Atif Mashkoor, Johannes Sametinger:
Safety and security of cyber-physical systems. J. Softw. Evol. Process. 35(7) (2023)
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/smr/MashkoorEWS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/MashkoorEWS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/AsmatKMI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/AsmatKMI23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/StockME23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/StockME23
Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Validation-Driven Development. ICFEM 2023: 191-207
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/StockVGLME23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/StockVGLME23
Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed:
Validation by Abstraction and Refinement. ABZ 2023: 160-178
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/GelessusSVLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/GelessusSVLM23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/2023
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-06028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-06028
Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Validation-Driven Development. CoRR abs/2308.06028 (2023)
2022
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MashkoorMER22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MashkoorMER22
Atif Mashkoor, Tim Menzies, Alexander Egyed, Rudolf Ramler:
Artificial Intelligence and Software Engineering: Are We Ready? Computer 55(3): 24-28 (2022)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/TrolsMME22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/TrolsMME22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/StockME22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/StockME22
Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Application of Validation Obligations to Security Concerns. DEXA Workshops 2022: 337-346
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/StockMLE22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/StockMLE22
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Trace Refinement in B and Event-B. ICFEM 2022: 316-333
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/2022
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-06138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-06138
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08988
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-03209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-03209
Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Application of Validation Obligations to Security Concerns. CoRR abs/2207.03209 (2022)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-12851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-12851
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-14043
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-14043
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Trace Refinement in B and Event-B. CoRR abs/2207.14043 (2022)
2021
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ShafiqMME21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ShafiqMME21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/BiroMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/BiroMS21
Miklós Biró, Atif Mashkoor, Johannes Sametinger:
Safe and secure cyber-physical systems. J. Softw. Evol. Process. 33(9) (2021)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/TrolsMDE21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/TrolsMDE21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/HammoudiMME21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/HammoudiMME21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/VuLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/VuLM21
Fabian Vu, Michael Leuschel, Atif Mashkoor:
Validation of Formal Models by Timed Probabilistic Simulation. ABZ 2021: 81-96
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/AsmatKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/AsmatKM21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/ShafiqMME21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/ShafiqMME21
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed:
NLP4IP: Natural Language Processing-based Recommendation Approach for Issues Prioritization. SEAA 2021: 99-108
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MashkoorLE21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MashkoorLE21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TrolsME21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TrolsME21
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts. ICSE (Companion Volume) 2021: 250-251
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/ShafiqMME21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/ShafiqMME21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/AshrafMMEP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/AshrafMMEP21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/TrolsME21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/TrolsME21
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts. ICGSE/ICSSP 2021: 72-82
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/TrolsME21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/TrolsME21a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/HammoudiMME21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/HammoudiMME21
Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed:
A Traceability Dataset for Open Source Systems. MSR 2021: 555-559
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/HammoudiMME21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/HammoudiMME21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/TrolsME21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/TrolsME21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/2021
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]
- view
  authority control:
- export record
  dblp key:
  - data/10/MashkoorWES21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/MashkoorWES21
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]
- view
  authority control:
- export record
  dblp key:
  - data/10/MashkoorWES21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/MashkoorWES21a
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-06037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-06037
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-02330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-02330
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-14860
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-14860
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts. CoRR abs/2103.14860 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-03648
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-03648
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]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MashkoorAG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MashkoorAG20
Atif Mashkoor, Paolo Arcaini, Angelo Gargantini:
Intelligent Autonomous Systems. Computer 53(12): 20-23 (2020)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/BenyagoubAOMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/BenyagoubAOMM20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/BonfantiGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/BonfantiGM20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/MashkoorSBE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/MashkoorSBE20
Atif Mashkoor, Johannes Sametinger, Miklós Biró, Alexander Egyed:
Security- and safety-critical cyber-physical systems. J. Softw. Evol. Process. 32(2) (2020)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/ShafiqMME20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/ShafiqMME20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ism2/MashkoorE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ism2/MashkoorE20
Atif Mashkoor, Alexander Egyed:
Evaluating the alignment of sequence diagrams with system behavior. ISM 2020: 502-506
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/2020
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-08471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-08471
Atif Mashkoor, Alexander Egyed, Robert Wille:
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study. CoRR abs/2004.08471 (2020)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-13299
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-13299
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn, Alexander Egyed:
Machine Learning for Software Engineering: A Systematic Mapping. CoRR abs/2005.13299 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/ZahidIMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/ZahidIMM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/TrolsME19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/TrolsME19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/TrolsME19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/TrolsME19
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Multifaceted Consistency Checking of Collaborative Engineering Artifacts. MoDELS (Companion) 2019: 278-287
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/TrolsME19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/TrolsME19
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Live and global consistency checking in a collaborative engineering environment. SAC 2019: 1776-1785
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/2019
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/BugaMNSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/BugaMNSS18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArcainiBGMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArcainiBGMR18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/BonfantiGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/BonfantiGM18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/MashkoorBMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/MashkoorBMP18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/software/BiroMSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/BiroMSS17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/spe/MashkoorKE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/MashkoorKE18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BonfantiGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BonfantiGM18
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
AsmetaA: Animator for Abstract State Machines. ABZ 2018: 369-373
[c29]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/JacquotM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/JacquotM18
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/GeistKNIZM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GeistKNIZM18
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/BugaNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BugaNM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/MashkoorKBE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/MashkoorKBE18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Benyagoub18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Benyagoub18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/BonfantiGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/BonfantiGM18
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Generation of C++ Unit Tests from Abstract State Machines Specifications. ICST Workshops 2018: 185-193
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/BonfantiGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/BonfantiGM18
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. MEDI Workshops 2018: 146-152
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/BenyagoubAOM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/BenyagoubAOM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BenyagoubOAM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BenyagoubOAM18
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor:
Incremental Construction of Realizable Choreographies. NFM 2018: 1-19
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/BonfantiGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/BonfantiGM18
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Validation of Transformation from Abstract State Machine Models to C++ Code. ICTSS 2018: 17-32
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/MashkoorE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/MashkoorE18
Atif Mashkoor, Alexander Egyed:
Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. QRS 2018: 75-82
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/KhanHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/KhanHM18
Shahid Khan, Osman Hasan, Atif Mashkoor:
Formal Verification and Safety Assessment of a Hemodialysis Machine. SOFSEM 2018: 241-254
[e2]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/2018schewe
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2018schewe
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-04222
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-04222
Andreea Buga, Sorana Tania Nemes, Atif Mashkoor:
Addressing Client Needs for Cloud Computing using Formal Foundations. CoRR abs/1808.04222 (2018)
2017
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ShahzadAIM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ShahzadAIM17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/re/MashkoorJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/MashkoorJ17
Atif Mashkoor, Jean-Pierre Jacquot:
Validation of formal specifications through transformation and animation. Requir. Eng. 22(4): 433-451 (2017)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MashkoorYJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MashkoorYJ17
Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot:
Refinement-based Validation of Event-B Specifications. Softw. Syst. Model. 16(3): 789-808 (2017)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/BugaMNSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/BugaMNSS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BonfantiCGM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BonfantiCGM17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MashkoorB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MashkoorB17
Atif Mashkoor, Miklós Biró:
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study. CoRR abs/1706.06369 (2017)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Mashkoor17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Mashkoor17
Atif Mashkoor:
Model-Driven Development of High-Assurance Active Medical Devices. CoRR abs/1706.06376 (2017)
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/esl/MashkoorB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esl/MashkoorB16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/Mashkoor16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/Mashkoor16
Atif Mashkoor:
Model-driven development of high-assurance active medical devices. Softw. Qual. J. 24(3): 571-596 (2016)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/KossakM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/KossakM16
Felix Kossak, Atif Mashkoor:
How to Select the Suitable Formal Method for an Industrial Application: A Survey. ABZ 2016: 213-228
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiBDGMRRSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiBDGMRRSS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Mashkoor16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Mashkoor16
Atif Mashkoor:
The Hemodialysis Machine Case Study. ABZ 2016: 329-343
[c12]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/MashkoorS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/MashkoorS16
Atif Mashkoor, Johannes Sametinger:
Rigorous modeling and analysis of interoperable medical devices. SpringSim (MSM) 2016: 5
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/2016
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/MashkoorJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/MashkoorJ15
Atif Mashkoor, Jean-Pierre Jacquot:
Observation-Level-Driven Formal Modeling. HASE 2015: 158-165
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ArcainiBGMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ArcainiBGMR15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/swqd/MashkoorBDT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swqd/MashkoorBDT15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/KossakMGI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/KossakMGI14
Felix Kossak, Atif Mashkoor, Verena Geist, Christa Illibauer:
Improving the Understandability of Formal Specifications: An Experience Report. REFSQ 2014: 184-199
2013
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/IEEEares/MashkoorHB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/MashkoorHB13
Atif Mashkoor, Osman Hasan, Wolfgang Beer:
Using Probabilistic Analysis for the Certification of Machine Control Systems. CD-ARES Workshops 2013: 305-320
2012
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/MashkoorH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/MashkoorH12
Atif Mashkoor, Osman Hasan:
Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. ICCSA (3) 2012: 419-434
2011
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Mashkoor11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Mashkoor11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/re/MashkoorJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/MashkoorJ11
Atif Mashkoor, Jean-Pierre Jacquot:
Utilizing Event-B for domain engineering: a critical analysis. Requir. Eng. 16(3): 191-207 (2011)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/MashkoorJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/MashkoorJ11
Atif Mashkoor, Jean-Pierre Jacquot:
Stepwise Validation of Formal Specifications. APSEC 2011: 57-64
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/MashkoorJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/MashkoorJ11
Atif Mashkoor, Jean-Pierre Jacquot:
Guidelines for Formal Domain Modeling in Event-B. HASE 2011: 138-145
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/MashkoorM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/MashkoorM10
Atif Mashkoor, Abderrahman Matoussi:
Towards Validation of Requirements Models. ASM 2010: 404
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MashkoorJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MashkoorJ10
Atif Mashkoor, Jean-Pierre Jacquot:
Domain Engineering with Event-B: Some Lessons We Learned. RE 2010: 252-261

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icsea/MashkoorF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsea/MashkoorF07
Atif Mashkoor, João M. Fernandes:
Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study. ICSEA 2007: 25

Coauthor Index

see FAQ

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.