| JIEXIN(ALAN) LIAN
Research Assistant, Ph.D. Candidate
2054 Engineering and Research Facility
Ph.D. Candidate in Computer Science (Sep.2004–Present)
Department of Computer Science, University of Illinois at Chicago, IL
M.S. Student in Computer Science (Sep.2001–Jul.2003)
B.S. in Computer Science (Sep.1996–Jul.2001)
Petri net Theory and Application. Formal methods, UML Language, Multiple Agent System.
Converting UML to Color Petri net
Color Petri net based Agent Modeling
Lian, Sol M. Shatz: A
Modeling Methodology for Conflict Control in Multi-Agent System. Under
review at international
Journal of Software Engineering and Knowledge Engineering (IJSEKE).
Jiexin Lian, Sol Shatz: Potential Arc: A Modeling Mechanism for Conflict Control in Multi-Agent Systems. Accepted by 4th Symposium on Design, Analysis, and Simulation of Distributed Systems 2006 (Part of Spring Simulation Multi-conference). April 2006, Huntsville, Alabama.
Hu, Sol Shatz, Jiexin Lian: A Transformation Approach for
Modeling and Analysis of UML Statements: Pattern-Based Analysis and Case
Studies. Submitted to Software Quality Journal.
David Coppit, Jiexin Lian: yagg: an easy-to-use generator for
structured test inputs. The 20th IEEE/ACM International Conference on
Automated Software Engineering 2005: 356-359
Hongtao Zhong, Jiexin Lian, Songnian Li: The Application of Time
Parameter in Distributed Database, Journal of Computer Engineering and
Applications. Vol. 40, No. 8 P.184-186,189. 2004
Shaohua Zhang, Ning Gu, Jiexin Lian and Saihan Li: Workflow Process Mining Based on Machine Learning, In Proc. of 2003 International Conference on Machine Learning and Cybernetics, Vol. 3, pp 2319-2324, 2003
Copyright©JIEXIN LIAN . All rights reserved.