Category theoretic based formalization of the verifiable design process N Kibret, W Edmonson, S Gebreyohannes 2019 IEEE International Systems Conference (SysCon), 1-8, 2019 | 16 | 2019 |
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 | 14 | 2021 |
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 | 14 | 2017 |
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 | 9 | 2014 |
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 | 4 | 2019 |
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 | 2 | 2021 |
Study of LTE and LTE-Advanced as a Low Cost Backhauling Solution for HSPA Small Cells NS Kibret | 2 | 2014 |
A Formal Systems Engineering Methodology for Cyber-Physical Systems: The Verifiable Design Process NS Kibret North Carolina Agricultural and Technical State University, 2019 | 1 | 2019 |
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 |