Habtom Kahsay Gidey

Habtom Kahsay Gidey

Universität der Bundeswehr München - Neubiberg / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 5474343
University of the Federal Armed Forces Munich
person_outline Habtom Kahsay Gidey's MOST POPULAR ARTICLES
1-) Grounded architectures: using grounded theory for the design of software architecturesHK Gidey, D Marmsoler, J Eckhardt2017 IEEE international conference on software architecture workshops (ICSAW …, 2017132017
2-) Interactive verification of architectural design patterns in FACTumD Marmsoler, HK GideyFormal Aspects of Computing 31 (5), 541-610, 2019102019
3-) FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design PatternsD Marmsoler, HK GideyFormal Aspects of Component Software: 15th International Conference, FACS …, 2018102018
4-) FACTum studioHK Gidey, D Marmsoler52018
5-) Towards cognitive bots: architectural research challengesHK Gidey, P Hillmann, A Karcher, A KnollInternational Conference on Artificial General Intelligence, 105-114, 202342023