Ruzhen Dong (董如振)

Ph.D Student 
Dipartimento di Informatica, UniversitÓ di Pisa

Address:
Room 359
Dipartimento di Informatica
Largo B. Pontecorvo, 3
I-56127 Pisa
Italy 

Contacts
             Room 359
             Dipartimento di Informatica

             Largo B. Pontecorvo, 3
             I-56127 Pisa, Italy

Research Areas
Publications:

2013

R. Dong, and N. Zhan, "Towards a Failure Model of Software Components", The 10th International Symposium on Formal Aspects of Component Software(FACS 2013), Nanchang, China, Springer, 2013. 

R. DongN. Zhan, and L. Zhao, "An Interface Model of Software Components", International Colloquium on Theoretical Aspects of Computing(ICTAC 2013), Shanghai,China, Springer, 2013.

R. DongJ. FaberW. Ke, and Z. Liu, "rCOS: Defining Meanings of Component-Based Software Architectures", Unifying Theories of Programming and Formal Engineering Methods, Springer, 2013. 

2012

R. DongJ. FaberZ. LiuJiri SrbaN. Zhan, and J. Zhu, "Unblockable Compositions of Software Components", CBSE 2012, Bertinoro, Italy, ACM New York, NY, USA , 06/2012.