Nadew Kibret

According to our database, Nadew Kibret authored at least 4 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design.

Jingwei Huang, Wael Khallouli, Holly A. H. Handley, William W. Edmonson, Trisha Ahmed, Nadew Kibret

Proceedings of the IEEE International Systems Conference, 2021

Maintaining the Consistency of SysML Model Exports to XML Metadata Interchange (XMI).

Holly A. H. Handley, Wael Khallouli, Jingwei Huang, William Edmonson, Nadew Kibret

Proceedings of the IEEE International Systems Conference, 2021

2019

Category Theoretic Based Formalization of the Verifiable Design Process.

Nadew Kibret, William W. Edmonson, Solomon Gebreyohannes

Proceedings of the 2019 IEEE International Systems Conference, 2019

2017

Fuzzy classification context for the responsive and formal design process.

Solomon Gebreyohannes, William W. Edmonson, Albert C. Esterline, Abdollah Homaifar, Nadew Kibret

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017