Jing (Janet) Liu

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

B26D Atanasoff Hall
Ames, IA 50011-1041

Research Interests

Education

August. 2003 ~ present	Ph.D. Candidate, Department of Computer Science (advisor: Dr. Robyn R. Lutz) Iowa State University (ISU), Ames, IA, U.S.A. (passed Ph.D. preliminary exam in May 2007, expected graduation in December 2008)
Sept. 1999 ~ June 2003	Bachelor of Engineering, Department of Computer Science and Engineering East China University of Science & Technology (ECUST), Shanghai, China

Courses Taken

Academic Experience

Aug. 2003 ~ present	Work 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 ~ present	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

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.

Under Review

Jing (Janet) Liu, Samik Basu, and Robyn Lutz, "Generating Variation-point Obligations for Compositional Model Checking of Software Product Lines",
submitted to the 23rd IEEE/ACM International Conference on Automated Software Engineering. pdf

Professional Services

Program Committee Member	6th IEEE ECBS Workshop on Model Based Development for Computer Based Systems -Partitioning, Integration and Versioning of Models (April 2008)
External Reviewer	15th IEEE International Requirements Engineering Conference

Last Updated: September 30, 2007