Jing (Janet) Liu

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

Laboratory for Software Safety
Department of Computer Science
Iowa State University

B26D Atanasoff Hall
Ames, IA 50011-1041

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 ~ Dec. 2008

Ph.D., Department of Computer Science (advisor: Dr. Robyn R. Lutz)

Iowa State University (ISU), Ames, IA, U.S.A. Dissertation: Safety analysis of software product lines using state-based modeling and compositional model checking

Sept. 1999 ~ June 2003

Bachelor of Engineering, Department of Computer Science and Engineering East China University of Science & Technology (ECUST), Shanghai, China

Courses Taken

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
CS 540 Principles and Practice of Compiling

Academic Experience

Aug. 2003 ~ June 2008	Worked with Dr. Robyn R. Lutz on NSF Grants "Safety Analysis for Critical Product Lines", "Safety Analysis of Evolving Product Lines", and "Natural Language in the Development of High-Confidence Software", Department of Computer Science, ISU
Dec. 2005 ~ June 2008	Supervised/Mentored three undergraduates under the NSF's Research Experience for Undergraduates program
Jan. 2007	Guest Lecturer Com S 101, Computer Science Orientation Department of Computer Science, ISU
Nov. 2005, 2006	Guest Lecturer Com S 515, Software System Safety Department of Computer Science, ISU
Jan. 2006 ~ May 2006	Teaching Assistant for two sections of Com S 227, Introduction to Object-Oriented Programming Department of Computer Science, ISU

Industry Experience

Jan. 2009 ~ present	Software Engineer , Rockwell Collins, Inc., Cedar Rapids, IA
July 2008 ~ Dec. 2008	Graduate Co-op, Rockwell Collins, Inc., Cedar Rapids, IA (Mentor: Joe Wegehaupt)
June 2005 ~ Aug. 2005	Research Scientist, Avaya Labs Research, Basking Ridge, NJ (Mentor: Dr. Birgit Geppert)
May 2004 ~ Aug. 2004	Software Engineer Intern, Guidant Corporation, St. Paul, MN (Mentors: Dr. Jeffrey Thompson, Dr. Aaron Larson, and Dr. Kyle Nelson)

Publications

Journal Publication

Jing (Janet) Liu, Josh Dehlinger, and Robyn R. Lutz, "Safety Analysis of Software Product Lines Using State-Based Modeling",
Journal of Systems and Software, vol. 80, issue 11, pp. 1879 - 1892, 2007.

Conference Publications

Jing (Janet) Liu, "Handling Safety-related Feature Interaction in Safety-Critical Product Lines",
Doctoral Symposium, in Proc. 29th IEEE International Conference on Software Engineering (ICSE), 2007, pp. 85-86.
Jing (Janet) Liu, Josh Dehlinger, and Robyn R. Lutz, "Safety Analysis of Software Product Lines Using State-Based Modeling",
in Proc. 16th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2005, pp. 21-30.

Workshop Publications

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",
in ECBS Workshop on Model-Based Development for Computer-Based Systems: Domain-Specific Approaches to Model-Based Development (MBD), 2007, pp. 596-605.
Jing (Janet) Liu, Robyn R. Lutz, and Hridesh Rajan, "The Role of Aspects in Modeling Product Line Variabilities",
in GPCE Workshop on Aspect-Oriented Product Line Engineering (AOPLE), 2006. pdf
Jing (Janet) Liu, Robyn R. Lutz, and Jeffrey Thompson, "Mapping Concern Space to Software Architecture: A Connector-Based Approach",
in ICSE Workshop on the Modeling and Analysis of Concerns in Software (MACS), 2005, pp. 1-5.

Poster Presentation

Jing (Janet) Liu, "Handling Safety-related Feature Interaction in Safety-Critical Product Lines",
Poster Presentation at the 29th IEEE International Conference on Software Engineering (ICSE), 2007.

Professional Services

Program Committee Member	6th and 7th IEEE Workshop on Model Based Development for Computer Based Systems
External Reviewer	15th IEEE International Requirements Engineering Conference

Last Updated: March 8, 2009