Jing(Janet) Liu

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jing(Janet) Liu

Jing(Janet) Liu
E-mail: janetlj at iastate dot edu

Laboratory for Software Safety
Department of Computer Science
Iowa Sate University

B26D Atanasoff Hall
Ames, IA 50011

Research Interests

Software Product Lines
Software Safety Analysis
Model-based Development
Formal Verification and Testing
Aspect-Oriented Software Development
Requirements Engineering
Software Architecture Design

Education

August. 2003 ~ present	Ph.D. student, Department of Computer Science, Iowa State University
Sept. 1999 ~ June 2003	Bachelor of Engineering, Computer Science and Engineering Department, East China University of Science & Technology (ECUST)

Courses

CS 511 Design and Analysis of Algorithms
CS 515 Software System Safety
CS 531 Theory of Computation
CS 552 Principles of Operating Systems
CS 610 Formal Methods Seminar
CS 541 Programming Languages
CS 587 Principles of Distributed and Network Programming
CS 512 Formal Methods
CS 562 Implementation of Database Systems
CS 610 The Java Modeling Language (JML) Seminar
CS 641 Semantic Models for Programming Languages
STAT 430X Empirical Methods for Computer Science Research
CS 610 Seminar on Aspect-Oriented Software Development

Experiences

Aug 2003 ~ Dec 2005 May 2006 ~ present	Research Assistant with Dr. Robyn Lutz, Department of Computer Science, Iowa State University
June 2005 ~ Aug 2005	Teaching Assistant for the course: Introduction to Object-Oriented Programming, Department of Computer Science, Iowa State University
June 2005 ~ Aug 2005	Research Intern with Dr. Birgit Geppert, Avaya Labs Research, Basking Ridge, NJ
May 2004 ~ Aug 2004	Research Intern with Dr. Jeff Thompson, Aaron Larson & Kyle Nelson, Guidant Corporation, St. Paul, MN

Publications

Jing (Janet) Liu, "Handling Safety-related Feature Interaction in Safety-Critical Product Lines",
Doctoral Symposium, to appear in the 29th International Conference on Software Engineering (ICSE'07), Minneapolis, MN, May 2007.
Jing (Janet) Liu, Josh Dehlinger, and Robyn R. Lutz, "Safety Analysis of Software Product Lines Using State-Based Modeling",
accepted for publication in Journal of Systems and Software, Elsevier.
Jing (Janet) Liu, Josh Dehlinger, Hongyu Sun, and Robyn R. Lutz, "State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines",
to appear in the 5th Workshop on Model-Based Development for Computer-Based Systems: Domain-Specific Approaches to Model-Based Development (MBD'07), Tucson, AZ, March 2007.
Jing (Janet) Liu, Robyn R. Lutz, and Hridesh Rajan, "The Role of Aspects in Modeling Product Line Variabilities",
GPCE 2006 Workshop on Aspect-Oriented Product Line Engineering (AOPLE), October 2006. pdf
Jing (Janet) Liu, Josh Dehlinger, and Robyn R. Lutz, "Safety Analysis of Software Product Lines Using State-Based Modeling",
16th IEEE International Symposium on Software Reliability Engineering (ISSRE), November 2005.pdf
Jing (Janet) Liu, Robyn R. Lutz, and Jeffrey Thompson, "Mapping Concern Space to Software Architecture: A Connector-Based Approach",
ICSE 2005 Workshop on the Modeling and Analysis of Concerns in Software (MACS), May 2005.pdf

Last Updated: Jan. 24, 2007