|
| [15] | Christoph Mayr-Dorn, Mario Winterer, Christian Salomon, Doris Hohensinger and Harald Fürschuss: Assessing industrial end-user programming of robotic production cells: A controlled experiment, in Journal of Systems and Software, volume 195, 2023. |
|
| [14] | Silvia Bonfanti, Angelo Gargantini and Atif Mashkoor: Design and validation of a C++ code generator from Abstract State Machines specifications, in J. Softw. Evol. Process., volume 32, 2020. |
| [13] | Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor and Ahmed Medeghri: Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks, in J. Softw. Evol. Process., volume 32, 2020. |
| [12] | Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn and Alexander Egyed: Machine Learning for Software Engineering: A Systematic Mapping, in CoRR, volume abs/2005.13299, 2020. |
| [11] | Atif Mashkoor, Alexander Egyed and Robert Wille: Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study, in CoRR, volume abs/2004.08471, 2020. |
| [10] | Atif Mashkoor, Johannes Sametinger, Miklós Biró and Alexander Egyed: Security- and safety-critical cyber-physical systems, in J. Softw. Evol. Process., volume 32, 2020. |
| [9] | Hannes Thaller, Lukas Linsbauer, Brent van Bladel and Alexander Egyed: Semantic Clone Detection via Probabilistic Software Modeling, in CoRR, volume abs/2008.04891, 2020. |
| [8] | Hannes Thaller, Lukas Linsbauer, Alexander Egyed and Stefan Fischer: Towards Fault Localization via Probabilistic Software Modeling, in CoRR, volume abs/2001.07409, 2020. |
| [7] | Hannes Thaller, Lukas Linsbauer and Alexander Egyed: Towards Semantic Clone Detection via Probabilistic Software Modeling, in CoRR, volume abs/2001.07399, 2020. |
|
| [6] | Hannes Thaller, Lukas Linsbauer, Rudolf Ramler and Alexander Egyed: Probabilistic Software Modeling: A Data-driven Paradigm for Software Analysis, in CoRR, volume abs/1912.07936, 2019. |
|
| [5] | Silvia Bonfanti, Angelo Gargantini and Atif Mashkoor: A systematic literature review of the use of formal methods in medical software systems, in Journal of Software: Evolution and Process, volume 30, 2018. |
| [4] | Atif Mashkoor, Felix Kossak and Alexander Egyed: Evaluating the suitability of state-based formal methods for industrial deployment, in Software Practice and Experience, volume 48, 2018. |
| [3] | Hannes Thaller, Lukas Linsbauer and Alexander Egyed: Feature Maps: A Comprehensible Software Representation for Design Pattern Detection, in CoRR, volume abs/1812.09873, 2018. |
| [2] | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor and Elvinia Riccobene: Integrating formal methods into medical software development: The ASM approach, in Sci. Comput. Program., volume 158, 2018. |
|
| [1] | Hannes Thaller, Rudolf Ramler, Josef Pichler and Alexander Egyed: Exploring Code Clones in Programmable Logic Controller Software, in CoRR, volume abs/1706.03934, 2017. |
|
| [13] | Michelon, Gabriela K., Assunção, Wesley K. G., Grünbacher, Paul and Egyed, Alexander: Analysis and Propagation of Feature Revisions in Preprocessor-based Software Product Lines, in IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023. |
| [12] | Stefan Fischer, Gabriela Karoline Michelon, Wesley K. G. Assunção, Rudolf Ramler and Alexander Egyed: Designing a Test Model for a Configurable System: An Exploratory Study of Preprocessor Directives and Feature Toggles, in 17th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS), Odense, Denmark (Myra B. Cohen, Thomas Thüm, Jacopo Mauro, eds.), ACM, 2023. |
| [11] | Fischer, Stefan, Ramler, Rudolf, Assunção, Wesley K. G., Egyed, Alexander, Gradl, Christian and Auberger, Sebastian: Model-Based Testing for a Family of Mobile Applications: Industrial Experiences, in Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, Association for Computing Machinery, 2023. |
|
| [10] | Stefan Fischer, Gabriela Karoline Michelon, Rudolf Ramler, Lukas Linsbauer and Alexander Egyed: Automated Reuse of Test Cases for Highly Configurable Software Systems, in Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell (Anne Koziolek, Ina Schaefer, Christoph Seidl, eds.), Gesellschaft für Informatik e.V., volume P-310, 2021. |
| [9] | Christoph Mayr-Dorn, Stefan Bichler, Felix Keplinger and Alexander Egyed: Guiding engineers with the Passive Process Engine Environment, in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), IEEE Computer Society, 2021. |
| [8] | Mouna Hammoudi, Christoph Mayr-Dorn, Atif Mashkoor and Alexander Egyed: On the effect of incompleteness to check requirement-to-method traces, 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. |
|
| [7] | Stefan Fischer, Rudolf Ramler, Lukas Linsbauer and Alexander Egyed: Automating test reuse for highly configurable software, in Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), Paris, France, 2019. |
| [6] | Michael Alexander Tröls, Atif Mashkoor and Alexander Egyed: Collaboratively enhanced consistency checking in a cloud-based engineering environment, in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Valencia, Spain, 2019. |
| [5] | Hannes Thaller, Lukas Linsbauer and Alexander Egyed: Feature Maps: A Comprehensible Software Representation for Design Pattern Detection, in 26th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Hangzhou, China, 2019. |
| [4] | Michael Alexander Tröls, Atif Mashkoor and Alexander Egyed: Live and global consistency checking in a collaborative engineering environment, in Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC), Limassol, Cyprus, 2019. |
|
| [3] | Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur and Atif Mashkoor: Incremental Construction of Realizable Choreographies, in Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, 2018. |
| [2] | Atif Mashkoor, Felix Kossak, Miklós Biró and Alexander Egyed: Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report, in Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings (Alfonso Pierantonio, Salvador Trujillo, eds.), Springer, volume 10890, 2018. |
| [1] | Stefan Fischer, Roberto E. Lopez-Herrejon and Alexander Egyed: Towards a Fault-Detection Benchmark for Evaluating Sofware Product Line Testing Approaches, in Symposium On Applied Computing (SAC), 2018. |