| [11] | Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed, "Validation by Abstraction and Refinement", In: Rigorous State-Based Methods (Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque, eds.), Springer Nature Switzerland, Cham, pp. 160-178, 2023.
[bib] [doi] |
| [10] | Sebastian Stock, Atif Mashkoor, Alexander Egyed, "Validation-Driven Development", In: Formal Methods and Software Engineering (Yi Li, Sofiène Tahar, eds.), Springer Nature Singapore, Singapore, pp. 191-207, 2023.
[bib] [doi] |
| [9] | 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", In: Journal of Software: Evolution and Process, vol. 35, no. 7, pp. e2457, 2023.
[bib] [doi] |
| [8] | Luciano Marchezan, Wesley K. G. Assunção, Edvin Herac, Felix Keplinger, Alexander Egyed, Christophe Lauwerys, "Fulfilling Industrial Needs for Consistency Among Engineering Artifacts", In: IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), pp. 246-257, 2023.
[bib] [pdf] [doi] |
| [7] | Michael Alexander Tröls, Luciano Marchezan, Atif Mashkoor, Alexander Egyed, "Instant and global consistency checking during collaborative engineering", In: Software and Systems Modeling, Springer, vol. 21, no. 6, pp. 2489-2515, 2022.
[bib] [doi] |
| [6] | Luciano Marchezan, Roland Kretschmer, Wesley K. G. Assunção, Alexander Egyed, "Generating repairs for inconsistent models", In: Software and Systems Modeling, Springer, 2022.
[bib] [pdf] [doi] |
| [5] | Michael A. Tröls, Atif Mashkoor, Alexander Egyed, "Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment", 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, pp. 1572-1575, 2021.
[bib] [pdf] [doi] |
| [4] | Michael A. Tröls, Atif Mashkoor, Alexander Egyed, "Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment", 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, pp. 83-93, 2021.
[bib] [pdf] [doi] |
| [3] | Michael A. Tröls, Atif Mashkoor, Alexander Egyed, "Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts", 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, pp. 72-82, 2021.
[bib] [doi] |
| [2] | Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor, Alexander Egyed, "TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces", In: 28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021, IEEE, pp. 12-21, 2021.
[bib] [pdf] [doi] |
| [1] | Atif Mashkoor, Michael Leuschel, Alexander Egyed, "Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification", In: CoRR, vol. abs/2102.06037, 2021.
[bib] [pdf] |