Ph.D. Student
lijun [at] cs.colostate.edu
Department of Computer Science
1873 Campus Delivery
Profile
I am a Ph.D. candidate in the Department of Computer Science at Colorado State University,
My research interest is model-driven software engineering. I am working in the areas of formal analysis of UML design models and analysis of secure access control models.
I am working under the supervision of Dr. Robert B France.
Education
2008-Present Ph.D student, Department of Computer
Science,
2004-2006 Master of Computer Science,
1993-2000 BSc & MEng, Department of Computer Science & Technology, Nanjing University, Nanjing, China
Recent Publications
Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun, "Systematic Scenario-Based Analysis of UML Design Class models", Proceedings of the International Conference on Engineering Complex Computer Systems, Paris, France, July 2012. PDF
Lijun Yu, "Scenario-based Analysis of UML Design Class Models", Doctoral Symposium, ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Oslo, Norway, October 2010. PDF
Lijun Yu, Robert France, Indrakshi Ray, Sudipto Ghosh, "A Rigorous Approach to Uncovering Security Policy Violations in UML Designs", Proceedings of the International Conference on Engineering Complex Computer Systems, Potsdam, Germany, June 2009. PDF
Lijun Yu, Robert France, Indrakshi
Ray, "Scenario-based Static Analysis of UML Class Models",
Proceedings of ACM/IEEE 11th International Conference on Model Driven
Engineering Languages and Systems, Toulouse, France, 2008.
(Acceptance ratio 58/274) PDF
Lijun Yu, Robert B. France, Indrakshi Ray, and Kevin Lano, "A Light-Weight Static Approach to Analyzing UML Behavioral Properties", Proceedings of the 12th IEEE International Conference on Engineering of Complex Computer Systems, Auckland, New Zealand, July 2007. (Acceptance ratio 20/70) PDF
Indrakshi Ray, Mahendra Kumar, and
Lijun Yu, "LRBAC: A Location-Aware Role-Based Access Control Model",
Proceedings of the 2nd International Conference on Information Systems
Security,
Indrakshi Ray and Lijun Yu, "Short Paper: Towards a Location-Aware Role-Based Access Control Model", Proceedings of the 1st IEEE Conference on Security and Privacy for Emerging Areas in Communication Networks, Athens, Greece, September 2005. (Acceptance ratio 52/164) PDF
Professional Experiences
10+ years' industrial experience in software engineering, in finance, utilities, publishing and telecom.
Last update July, 2012