Dongxi Liu
Research Scientist
Contact
CSIRO ICT Center
Cnr Vimiera and Pembroke Roads
Marsfield NSW 2122
Tel: +61 2 9372 4152
Fax: +61 2 9372 4585
Email
Themes
- Service-Oriented Systems (SOSy)
Projects
- Formal Methods Development in Air Traffic Managment
- Cloud and Compliance Assurance Services
Science Area
- Service Computing
Biography
Dongxi Liu joined CSIRO ICT Center in March 2008. Before that, he was a Researcher in the University of Tokyo from Feb 2004 to March 2008, and a Research Fellow in National University of Singapore from December 2002 to December 2003. His research interests include rigorously trusted computing, security, formal methods, programming languages and type systems, XML and XML query languages, cloud computing theory and practice.
Academic Qualifications
| 2003 | PhD Shanghai Jiao Tong University, Computer Science and Engineering |
| 1999 | M.E. Taiyuan Univeristy of Technology, Computer Science and Engineering |
| 1996 | B.E. Taiyuan Univeristy of Technology, Computer Science and Engineering |
Recent Professional Experience
| 2005-2008 | Developed bidirectional transformation or programming languages (demos of BiX) |
Student Supervision
| 2009 | Jack Lee, Vacation Student, Sydney University |
Top 10 Publications
| Publication details |
|---|
| Dongxi Liu, John Zic. "Cloud#: A Specification Language for Modeling Cloud", Proc. 4th IEEE International Conference on Cloud Computing (IEEE Cloud 2011). |
| Dongxi Liu, John Zic. "Policy-based Attestation of Service Behavior for Establishing Rigorous Trust", Proc. 18th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2010), Crete, Greece, 2010. |
| Dongxi Liu, John Zic. "A Framework for Delivering Rigorously Trusted Services", Proc. IEEE International Conference on Web Services (Work-in-progress Section), Miami, Florida, USA 2010. |
| Dongxi Liu,Jack Lee,Julian Jang,Surya Nepal,John Zic. "A Cloud Architecture of Virtual Trusted Platform Modules". Proc. The Sixth IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom-10), Hong Kong, 2010. |
| Dongxi Liu, "XQuery Meets Datalog: Data Relevance Query for Workflow Trustworthiness", Proc. The 4th International Conference on Research Challenges in Information Science (RCIS 2010), Nice, France, May 19-21, 2010. |
| Li Li, Dongxi Liu, and Athman Bouguettaya, "Semantic Based Aspect-Oriented Programming for Context-aware Web Service Composition", Information Systems, Elsevier, 36(3): 551-564, 2011. A preliminary version appears in WISE 2009. |
| Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi and Hong Mei, "Towards Automatic Model Synchronization from Model Transformations", Proc. 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) , Atlanta, Georgia, USA, Nov 2007. |
| Dongxi Liu, Zhenjiang Hu, and Masato Takeichi, "Bidirectional Interpretation of XQuery", Proc. ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM '07), Nice, Fance, Jan 2007. |
| Dongxi Liu, "CSchema: A Downgrading Policy Language for XML Access Control", Journal of Computer Science and Technology, 22(1):44-53, Jan 2007. |
| Dongxi Liu, Zhenjiang Hu, Masato Takeichi, "An environment for maintaining computation dependency in XML documents", ACM Symposium on Document Engineering, Bristal, UK, 2005. |