Solomon Gebreyohannes

11 papers Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
Automatic Test and Evaluation of Autonomous Systems.
IEEE Access
Ali Karimoddini, Mubbashar Altaf Khan, Solomon Gebreyohannes, Mike Heiges, Ethan Trewhitt, Abdollah Homaifar
2020 — conf
Applying Model-Based Systems Engineering to the Development of a Test and Evaluation Tool for Unmanned Autonomous Systems.
SysCon
Solomon Gebreyohannes, Ali Karimoddini, Abdollah Homaifar
2019 — conf
Category Theoretic Based Formalization of the Verifiable Design Process.
SysCon
Nadew Kibret, William W. Edmonson, Solomon Gebreyohannes
2018 — conf
Development of a Generic and Configurable Fuzzy Logic Systems Library for Real-Time Control Applications Using an Object-Oriented Approach.
IRC
Abel Hailemichael, Solomon Gebreyohannes, Ali Karimoddini, Kaushik Roy, Abdollah Homaifar
2018 J jnl
Formal Behavioral Requirements Management.
IEEE Syst. J.
Solomon Gebreyohannes, William W. Edmonson, Albert C. Esterline
2018 — conf
Formal Verification of a Fuzzy Rule-Based Classifier Using the Prototype Verification System.
NAFIPS
Solomon Gebreyohannes, Ali Karimoddini, Abdollah Homaifar, Albert C. Esterline
2018 — conf
Formalization of the responsive and formal design process using category theory.
SysCon
Solomon Gebreyohannes, William W. Edmonson, Albert C. Esterline
2017 — conf
Fuzzy classification context for the responsive and formal design process.
SysCon
Solomon Gebreyohannes, William W. Edmonson, Albert C. Esterline, Abdollah Homaifar, Nadew Kibret
2016 — conf
Requirements hierarchy in the responsive and formal design process.
ISSE
Solomon Gebreyohannes, William W. Edmonson, Albert C. Esterline, Jules Chenou
2016 — conf
Systems Engineering Education for East Africa.
CSDM
Solomon Gebreyohannes, Tadilo Endeshaw Bogale, William W. Edmonson, Lakemariam Yohannes Worku
2015 — conf
Formal requirement management for the Responsive and Formal Design process.
ISSE
Solomon Gebreyohannes, William W. Edmonson, Jules Chenou, Natasha A. Neogi, Albert C. Esterline