| [11] | Validation by Abstraction and Refinement (Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed), In Rigorous State-Based Methods (Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque, eds.), Springer Nature Switzerland, 2023.
[bib] [doi] |
| [10] | Validation-Driven Development (Sebastian Stock, Atif Mashkoor, Alexander Egyed), In Formal Methods and Software Engineering (Yi Li, Sofiène Tahar, eds.), Springer Nature Singapore, 2023.
[bib] [doi] |
| [9] | Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions (Atif Mashkoor, Alexander Egyed, Robert Wille, Sebastian Stock), In Journal of Software: Evolution and Process, volume 35, 2023.
[bib] [doi] |
| [8] | Fulfilling Industrial Needs for Consistency Among Engineering Artifacts (Luciano Marchezan, Wesley K. G. Assunção, Edvin Herac, Felix Keplinger, Alexander Egyed, Christophe Lauwerys), In IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2023.
[bib] [pdf] [doi] |
| [7] | Instant and global consistency checking during collaborative engineering (Michael Alexander Tröls, Luciano Marchezan, Atif Mashkoor, Alexander Egyed), In Software and Systems Modeling, Springer, volume 21, 2022.
[bib] [doi] |
| [6] | Generating repairs for inconsistent models (Luciano Marchezan, Roland Kretschmer, Wesley K. G. Assunção, Alexander Egyed), In Software and Systems Modeling, Springer, 2022.
[bib] [pdf] [doi] |
| [5] | Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment (Michael A. Tröls, Atif Mashkoor, Alexander Egyed), In SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021 (Chih-Cheng Hung, Jiman Hong, Alessio Bechini, Eunjee Song, eds.), ACM, 2021.
[bib] [pdf] [doi] |
| [4] | Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment (Michael A. Tröls, Atif Mashkoor, Alexander Egyed), In 15th IEEE/ACM Joint International Conference on Software and System Processes, and 16th ACM/IEEE International Conference on Global Software Engineering ICSSP/ICGSE 2021, Madrid, Spain, May 17-19, 2021, IEEE, 2021.
[bib] [pdf] [doi] |
| [3] | Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts (Michael A. Tröls, Atif Mashkoor, Alexander Egyed), In 15th IEEE/ACM Joint International Conference on Software and System Processes, and 16th ACM/IEEE International Conference on Global Software Engineering ICSSP/ICGSE 2021, Madrid, Spain, May 17-19, 2021, IEEE, 2021.
[bib] [doi] |
| [2] | TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces (Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed), In 28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021, IEEE, 2021.
[bib] [pdf] [doi] |
| [1] | Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification (Atif Mashkoor, Michael Leuschel, Alexander Egyed), In CoRR, volume abs/2102.06037, 2021.
[bib] [pdf] |