Nduwimfura Philbert

According to our database, Nduwimfura Philbert authored at least 3 papers between 2008 and 2010.

Collaborative distances:

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

2010

Reasoning on Formalizing WS-CDL Mobility Using Process Algebra.

Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen

Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

2009

Model Checking UML Activity Diagrams in FDR.

Dong Xu, Huaikou Miao, Nduwimfura Philbert

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Towards Formalizing UML Activity Diagrams in CSP.

Dong Xu, Nduwimfura Philbert, Zongtian Liu, Wei Liu

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008