Ali Hong

According to our database, Ali Hong authored at least 3 papers between 2011 and 2013.

Collaborative distances:

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

2013

Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components.

Ali Hong, Yijing Liu, Zongyan Qiu

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

Modular Verification of OO Programs with Interfaces.

Zongyan Qiu, Ali Hong, Yijing Liu

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Inheritance and Modularity in Specification and Verification of OO Programs.

Yijing Liu, Ali Hong, Zongyan Qiu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011