Follow
Solomon Gebreyohannes
Solomon Gebreyohannes
Electrical Engineering, North Carolina A&T State University and National Institute of Aerospace
Verified email at aggies.ncat.edu
Title
Cited by
Cited by
Year
Systems engineering of inter-satellite communications for distributed systems of small satellites
W Edmonson, S Gebreyohannes, A Dillion, R Radhakrishnan, J Chenou, ...
2015 Annual IEEE Systems Conference (SysCon) Proceedings, 705-710, 2015
302015
An area-decomposition based approach for cooperative tasking and coordination of uavs in a search and coverage mission
K Vinh, S Gebreyohannes, A Karimoddini
2019 IEEE aerospace conference, 1-8, 2019
222019
Category theoretic based formalization of the verifiable design process
N Kibret, W Edmonson, S Gebreyohannes
2019 IEEE International Systems Conference (SysCon), 1-8, 2019
152019
Fuzzy classification context for the responsive and formal design process
S Gebreyohannes, W Edmonson, A Esterline, A Homaifar, N Kibret
2017 Annual IEEE International Systems Conference (SysCon), 1-8, 2017
122017
Formal requirement management for the Responsive and Formal Design Process
S Gebreyohannes, W Edmonson, J Chenou, N Neogi, A Esterline
2015 IEEE International Symposium on Systems Engineering (ISSE), 364-369, 2015
122015
Formalization of the responsive and formal design process using category theory
S Gebreyohannes, W Edmonson, A Esterline
2018 Annual IEEE International Systems Conference (SysCon), 1-8, 2018
112018
Formal behavioral requirements management
S Gebreyohannes, W Edmonson, A Esterline
IEEE Systems Journal 12 (3), 3006-3017, 2017
102017
Applying model-based systems engineering to the development of a test and evaluation tool for unmanned autonomous systems
S Gebreyohannes, A Karimoddini, A Homaifar
2020 IEEE International Systems Conference (SysCon), 1-7, 2020
72020
Requirement Hierarchy in the Responsive and Formal Design Process
JC S. Gebreyohannes, W. Edmonson, A. Esterline
Second IEEE International Symposium on Systems Engineering, 2016
6*2016
Automatic test and evaluation of autonomous systems
A Karimoddini, MA Khan, S Gebreyohannes, M Heiges, E Trewhitt, ...
IEEE Access 10, 72227-72238, 2022
52022
Development of a generic and configurable fuzzy logic systems library for real-time control applications using an object-oriented approach
A Hailemichael, S Gebreyohannes, A Karimoddini, K Roy, A Homaifar
2018 Second IEEE International Conference on Robotic Computing (IRC), 159-164, 2018
42018
Formal verification of a fuzzy rule-based classifier using the prototype verification system
S Gebreyohannes, A Karimoddini, A Homaifar, A Esterline
Fuzzy Information Processing: 37th Conference of the North American Fuzzy …, 2018
42018
Ontology-driven requirements engineering in the responsive and formal design process
N Kibret, W Edmonson, S Gebreyohannes
Systems Engineering in Context: Proceedings of the 16th Annual Conference on …, 2019
32019
Systems Engineering Education for East Africa
LW S. Gebreyohannes, T. Bogale, W. Edmonson
7th International Conference on Complex Systems Design & Management (CSDM), 2016
1*2016
Formalizing Inter-Satellite Communication Specification in Small Satellite System
FA S. Gebreyohannes, R. Radhakrishnan, W. Edmonson, A. Esterline
4S Small Satellite Systems and Services Symposium, 2016
12016
Titan Aerial Explorer
AS A. Coffey, M. Diaz, S. Gebreyohannes, R. McCabe, L. Olamigoke, E. Petro
AIAA Aviation and Aeronautics Forum and Exposition, NIA Student Session …, 2016
2016
Mathematical Foundation of MBSE: Formal Requirements Management
SH Gebreyohannes
North Carolina Agricultural and Technical State University, 2016
2016
Tuesday, October 4
D Ernadote, S Gebreyohannes, W Edmonson, A Esterline, J Chenou, ...
Wireless Transceiver Testbed for Education and Research Using SDR at BDU
SH Gebreyohannes
The system can't perform the operation now. Try again later.
Articles 1–19