|
| [4] | Mashkoor, Atif, Egyed, Alexander, Wille, Robert and Stock, Sebastian: Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions, in Journal of Software: Evolution and Process, volume 35, 2023. |
|
| [3] | Marchezan, Luciano, Kretschmer, Roland, Assunção, Wesley K. G. and Egyed, Alexander: Generating repairs for inconsistent models, in Software and Systems Modeling, Springer, 2022. |
| [2] | Tröls, Michael Alexander, Marchezan, Luciano, Mashkoor, Atif and Egyed, Alexander: Instant and global consistency checking during collaborative engineering, in Software and Systems Modeling, Springer, volume 21, 2022. |
|
| [1] | Atif Mashkoor, Michael Leuschel and Alexander Egyed: Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification, in CoRR, volume abs/2102.06037, 2021. |
|
| [8] | Marchezan, Luciano, Assunção, Wesley K. G., Herac, Edvin, Keplinger, Felix, Egyed, Alexander and Lauwerys, Christophe: Fulfilling Industrial Needs for Consistency Among Engineering Artifacts, in IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2023. |
| [7] | Stock, Sebastian, Vu, Fabian, Geleßus, David, Leuschel, Michael, Mashkoor, Atif and Egyed, Alexander: Validation by Abstraction and Refinement, in Rigorous State-Based Methods (Glässer, Uwe, Creissac Campos, Jose, Méry, Dominique, Palanque, Philippe, eds.), Springer Nature Switzerland, 2023. |
| [6] | Stock, Sebastian, Mashkoor, Atif and Egyed, Alexander: Validation-Driven Development, in Formal Methods and Software Engineering (Li, Yi, Tahar, Sofiène, eds.), Springer Nature Singapore, 2023. |
|
| [5] | Luciano Marchezan, Assunção, Wesley K. G., Gabriela Karoline Michelon, Edvin Herac and Alexander Egyed: Code smell analysis in cloned Java variants: the apo-games case study, in SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume A (Alexander Felfernig, Lidia Fuentes, Jane Cleland-Huang, Assunção, Wesley K. G., Andreas A. Falkner, Maider Azanza, Miguel Á. Rodríguez Luaces, Megha Bhushan, Laura Semini, Xavier Devroey, Cláudia Maria Lima Werner, Christoph Seidl, Viet-Man Le, José Miguel Horcas, eds.), ACM, 2022. |
|
| [4] | Michael Alexander Tröls, Atif Mashkoor and 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, 2021. |
| [3] | Michael Alexander Tröls, Atif Mashkoor and 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, 2021. |
| [2] | Michael Alexander Tröls, Atif Mashkoor and 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, 2021. |
| [1] | Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor and 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, 2021. |