[9] | Evaluating the suitability of state-based formal methods for industrial deployment (Atif Mashkoor, Felix Kossak, Alexander Egyed), In Software Practice and Experience, volume 48, 2018.
[bib] [pdf] [doi] |
[8] | A systematic literature review of the use of formal methods in medical software systems (Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor), In Journal of Software: Evolution and Process, volume 30, 2018.
[bib] [pdf] [doi] |
[7] | Integrating formal methods into medical software development: The ASM approach (Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene), In Sci. Comput. Program., volume 158, 2018.
[bib] [pdf] [doi] |
[6] | Feature Maps: A Comprehensible Software Representation for Design Pattern Detection (Hannes Thaller, Lukas Linsbauer, Alexander Egyed), In CoRR, volume abs/1812.09873, 2018.
[bib] [pdf] |
[5] | Incremental Construction of Realizable Choreographies (Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor), In Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, 2018.
[bib] [pdf] [doi] |
[4] | Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report (Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed), 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.
[bib] [pdf] [doi] |
[3] | Exploring Code Clones in Programmable Logic Controller Software (Hannes Thaller, Rudolf Ramler, Josef Pichler, Alexander Egyed), In CoRR, volume abs/1706.03934, 2017.
[bib] [pdf] |
[2] | Towards Deep Learning Driven Design Pattern Detection (Hannes Thaller), Master's thesis, Johannes Kepler University, 2016.
[bib] [pdf] |
[1] | Feature-Based Composition of Software-Systems (Stefan Fischer), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2014.
[bib] [pdf] |