Follow
Nadew Kibret
Title
Cited by
Cited by
Year
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
132017
Maintaining the consistency of sysml model exports to XML metadata interchange (XMI)
HAH Handley, W Khallouli, J Huang, W Edmonson, N Kibret
2021 IEEE International Systems Conference (SysCon), 1-8, 2021
112021
Performance study for off-grid self-backhauled small cells in dense informal settlements
P Amin, NS Kibret, E Mutafungwa, BB Haile, J Hämäläinen, JK Nurminen
2014 IEEE 25th Annual International Symposium on Personal, Indoor, and …, 2014
82014
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
Semantic mapping from sysml to frp: to enable executable and verifiable systems design
J Huang, W Khallouli, HH AH, W Edmonson, T Ahmed, N Kibret
2021 IEEE International Systems Conference (SysCon), 1-7, 2021
22021
Study of LTE and LTE-Advanced as a Low Cost Backhauling Solution for HSPA Small Cells
NS Kibret
22014
A Formal Systems Engineering Methodology for Cyber-Physical Systems: The Verifiable Design Process
NS Kibret
North Carolina Agricultural and Technical State University, 2019
12019
Resilience in Design of Multi-Satellite Systems
W Edmonson, N Kibret, J Sousa
Space Infrastructures: From Risk to Resilience Governance, 186-196, 2020
2020
A Multi-University Small Satellite Design Course: Systems Engineering Approach
M Weinmann, S Mann, A Stark, E Edmonson, A Anzagira, N Kibret, ...
AIAA Aviation 2019 Forum, 3466, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–10