Robyn R. Lutz

Contact Information

Email: rlutz at cs.iastate.edu
Voice: 515-294-3654
Fax: 515-294-0258

Professor
Department of Computer Science
226 Atanasoff Hall
Iowa State University
Ames, IA 50011-1041

Senior Engineer
Jet Propulsion Laboratory
MS 125-233
Pasadena, CA 91109-8099
robyn.r.lutz@jpl.nasa.gov

Professional Activities

  • Associate Editor, IEEE Transactions on Software Engineering , 2002-2007
  • Member of Editorial Board, Requirements Engineering Journal
  • Member of Editorial Board, Journal on Software and System Modeling (SoSyM)
  • Program Committee, 30th Int'l Conf on Software Engineering, ICSE 2008, Leipzig, Germany, May 10-18, 2008.
  • Program Committee, 12th International Software Product Line Conference SPLC2008 , Limerick, Ireland, Sept. 8-12, 2008.
  • Program Committee, 16th IEEE International Requirements Engineering Conference RE'08 , Barcelona, Spain, Sept. 8-12, 2008.
  • Program Committee, 15th IEEE International Requirements Engineering Conference RE'07 , Delhi, India, Oct. 15-19, 2007.
  • Program Committee, 4th International Workshop on Software Product Line Testing SPLiT2007 , Tokyo, Japan, Sept. 10, 2007.
  • Program Committee, 1st International Workshop on Web Service Composition and Adaptation WSCA 2007 , Salt Lake City, Utah, July 9, 2007.
  • General Chair, 14th IEEE International Requirements Engineering Conference, RE'06, Minneapolis, MN, Sept. 11-15, 2006.
  • Portraits in Practice Track Chair, 29th International Conference on Software Engineering, ICSE 2007 , Minneapolis, MN, May 20-26, 2007.
  • IFIP Working Group 2.9, Requirements Engineering, 2004-present.

  Teaching

 Research Areas

Representative Publications

  • J. Liu, S. Basu, and R. Lutz, "Generating Variation-point Obligations for Compositional Model Checking of Software Product Lines", submitted.
  • R. Lutz and C. Mikulski, "Empirical Analysis of Safety-Critical Anomalies During Operations", IEEE Transactions on Software Engineering , vol. 30, no. 3, March, 2004, pp. 172-180.ps , pdf .
  • J. Liu, J. Dehlinger and 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. pdf .
  • J. Pathak, S. Basu, R. Lutz, V. Honavar, "MoSCoE: An Approach for Composing Web Services Through Iterative Reformulation of Functional Specifications", International Journal on Artificial Intelligence Tools , special issue on selected papers from ICTAI-2006. To appear, 2007.
  • J. Dehlinger and R. Lutz, "A Product-Line Approach to Promote Asset Reuse in Multi-Agent Systems," SELMAS 2005 LNCS Volume 3914, ed. R. Choren, pp. 161-178, 2006, pdf .
  • J. Dehlinger, M. Humphrey, L. Suvorov, P. Padmanabahn and R. Lutz, "Decimal and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees," Research Demonstration, 29th International Conference on Software Engineering (ICSE'07), Minneapolis, MN, May 20-27, 2007.pdf .
  • J. Liu, R. Lutz, and H. Rajan, "The Role of Aspects in Modeling Product Line Variabilities", GPCE Workshop on Aspect-Oriented Product Line Engineering (AOPLE), 2006. pdf .
  • J. Liu, J. Dehlinger, H. Sun and R. Lutz, "State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines," 5th Workshop on Model-Based Development for Computer-Based Systems: Domain-Specific Approaches to Model-Based Development (MBD'07), Tucson, AZ, March 29, 2007. pdf .
  • J. Pathak, S. Basu, R. Lutz, and V. Honavar, "Parallel Web Service Composition in MoSCoE: A Choreography-based Approach", 4th IEEE European Conference on Web Services (ECOWS-2006). pdf .
  • J. Pathak, S. Basu, R. Lutz, and V. Honavar,"Selecting and Composing Web Services Through Iterative Reformulation of Functional Specifications", 18th IEEE Intl. Conference on Tools with Artificial Intelligence (ICTAI-2006) . pdf .
  • J. Pathak, S. Basu, R. Lutz, and V. Honavar, "MoSCoE: A Framework for Modeling Web Service Composition and Execution", IEEE 22nd Intl. Conference on Data Engineering Ph.D. Workshop (ICDE-2006). pdf .
  • J. Dehlinger and R. Lutz, "Bi-Directional Safety Analysis For Product-Line, Multi-Agent Systems," Workshop on Innovative Techniques for Certification of Embedded Systems (ITCES'06), San Jose, CA, 2006. pdf .
  • R. Lutz and A. Nikora, "Failure Assessment," 1st Int'l Forum on Integrated System Health Engineering and Management for Aerospace (ISHEM'05) , Napa, CA, Nov., 2005, pdf .
  • J. Dehlinger and R. Lutz, "PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool", Automated Software Engineering, 13(1), Jan., 2006, pp. 169-193,pdf.
  • Q. Feng and R. Lutz, "Bi-Directional Safety Analysis of Product Lines", Journal of Systems and Software, 78(2), Nov., 2005, pp. 111-127, pdf..
  • P. Padmanabhan and R. Lutz, "Tool-Supported Verification of Product Line Requirements", Automated Software Engineering, 12(4), Oct., 2005, pp. 447-485, pdf.
  • R. Lutz, S. Nelson, A. Patterson-Hine, C. Frost and D. Tal,"Identifying Contingency Requirements Using Obstacle Analysis," Proc. 13th IEEE Requirements Engineering Conference (RE05), Paris, France, Sept. 2005, pdf.
  • K. Wasson, K. Schmid, R. Lutz and J. Knight, "Using Occurrence Properties of Defect Report Data to Improve Requirements", 13th IEEE Requirements Engineering Conference (RE05), Paris, France, 2005, pdf.
  • "Towards the Automatic Generation of Mobile Agents for Distributed Intrusion Detection Systems", with Y. Wang, S. Behera, J. Wong, G. Helmer, V. Honavar, L. Miller, and M. Slagell, Journal of Systems and Software, 79(1), Jan., 2006, pp. 1-14, pdf.
  • "Mapping Concern Space to Software Architecture:  A Connector-Based Approach", with J. Liu and J. Thompson, ICSE Workshop on the Modeling and Analysis of Concerns in Software (MACS05), St. Louis, MO, May 16, 2005, pdf.
  • "Deriving Safety-Related Scenarios to Support Architecture Evaluation", with D. Lu and C. Chang, Software Evolution with UML and XML, ed. Hongji Yang, 2005,pp. 32-56, pdf.
  • "Experience with the Architectural Design of a Modest Product Family," with R. Schwanke, Software Practice and Experience , 34(13), Nov., 2004, pp. 1273-1276, pdf .
  • "On-Going Requirements Discovery in High-Integrity Systems, " with C. Mikulski, IEEE Software, Vol. 21, No. 2, March/April, 2004, pp. 19-25 pdf .
  • "Software Fault Tree Analysis for Product Lines,"” with J. Dehlinger, Proc. 8th IEEE International Symposium on High Assurance Systems Engineering (HASE’04), March 24-26, 2004, Tampa, Florida, pp. 12-21.
  • "Resolving Requirements Discovery in Testing and Operations," with C. Mikulski, 11th IEEE Requirements Engineering Conference , Seattle, WA, 2003, pdf
  • "Requirements Discovery during the Testing of Safety-Critical Software," with C. Mikulski, 25th Int'l Conf on Software Engineering, Portland, OR, 2003, pp. 578-585, pdf
  • ``Operational Anomalies as a Cause of Safety-Critical Requirements Evolution,'' with C. Mikulski, The Journal of Systems and Software, vol. 65:2, Feb. 2003, pp. 155-61.  pdf
  • "Analysis of a Software Product Line Architecture:  An Experience Report," with G. Gannod, Special Issue of The Journal of Systems and Software, vol. 66: 3, 2003, pp. 253-67. pdf
  • "Fault Contribution Trees for Product Families," with D. Lu, 13th International Symposium on Software Reliability Engineering," Annapolis, MD, 2002, pp. 231-242.pdf
  • ``Evolution of Safety-Critical Requirements Post-Launch," with C. Mikulski, Fifth IEEE International Symposium on Requirements Engineering (RE'01), August 27-31, 2001, Toronto, Canada, Postscript.
  • ``A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System," with G. Helmer, J. Wong, M. Slagell, V. Honavar, and L. Miller, Requirements Engineering Journal, Invited Submission, Vol. 7:4, 2002, pp. 207-220.
  • ``Software Engineering for Safety: A Roadmap,'' in A. Finkelstein, Ed., The Future of Software Engineering, ACM Press, 2000, Postscript.
  • ``An Approach to Architectural Analysis of Product Lines,' with G. Gannod, 22nd International Conference on Software Engineering (ICSE'00), June 7-9, 2000, Limerick, Ireland, Postscript.
  • ``Extending the Product Family Approach to Support Safe Reuse,'' The Journal of Systems and Software, Vol. 53, 3, Sept., 2000.  ps , pdf.
  • ``Using Immersive Virtual Environments for Certification,'' with C. Cruz-Neira, IEEE Software, Vol. 16, 4, July/Aug, 1999. PDF.
  • ``Failure Modes and Effects Analysis," with R. Woodhouse, Encyclopedia of Electrical and Electronics Engineering , ed. J. Webster, John Wiley and Sons Publishers,  Vol. 7, 1999.
  • ``Applying Adaptive Safety Analysis Techniques,'' with H.-Y. Shaw, 10th International Symposium on Software Reliability Engineering (ISSRE'99), Nov 1-4, 1999, Boca Raton, FL.  Postscript.
  • ``Toward Safe Reuse of Product Family Specifications,'' Proceedings of the 5th Symposium on Software Reusability (SSR'99),  May 21-23, 1999, Los Angeles, CA.  ps , pdf.
  • ``Bi-directional Analysis for Certification of Safety-Critical Software,''  with R. Woodhouse,  1st  International Software Assurance Certification Conference (ISACC'99), Feb. 28-March 2, 1999,  Washington, D. C.   Postscript.
  • ``Experiences Using Lightweight Formal Methods for Requirements Modeling," with S. Easterbrook, R. Covington, J. Kelly, Y. Ampo, and D. Hamilton, IEEE Transactions on Software Engineering , Vol. 24, No. 1, January, 1998. Postscript.
  • ``Safety Analysis of Requirements for a Product Family," with G. Helmer, M. Moseman, D. Statezni, and S. Tockey, Proceedings of the Third IEEE International Conference on Requirements Engineering (ICRE '98), April 6-10, 1998, Colorado Springs, CO. ps, pdf.
  • ``Reuse of a Formal Model for Requirements Validation," Fourth NASA Langley Formal Methods Workshop, Sept. 10-12, 1997, Hampton, VA. Postscript.
  • ``Requirements Analysis Using Forward and Backward Search," with Robert M. Woodhouse, Annals of Software Engineering, Special Volume on Requirements Engineering , (3) 1997. Postscript.
  • ``Targeting Safety-Related Errors During Software Requirements Analysis," The Journal of Systems and Software, Vol. 34, Sept, 1996, pp. 223-230. Postscript.
  • ``Experience Report: Contributions of SFMEA to Requirements Analysis," with Robert M. Woodhouse, Second IEEE International Conference on Requirements Engineering, Apr 15-18, 1996. Postscript.
  • ``Evaluation of Software Safety Analysis Using Formal Methods," with Yoko Ampo, Workshop for Foundations of Software Engineering (FOSE), Hamana-Ko, Japan, Dec 14-16, 1995.
  • ``Experience Report: Using Formal Methods for Requirements Analysis of Critical Spacecraft Software," with Yoko Ampo, Proceedings of the Nineteenth Annual Software Engineering Workshop, Nov 30-Dec 1, 1994, Greenbelt, MD. Postscript.
  • ``Targeting Safety-Related Errors During Software Requirements Analysis," Proceedings of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering, Software Engineering Notes, Vol. 18, No. 5, Dec, 1993. Postscript.
  • ``Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems," Proceedings of the IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, Jan, 1993. Postscript.
  • ``Constraint Checking During Error Recovery," with J. Wong, Proceedings of the NASA Technology 2002 Conference, Dec, 1992. Postscript.
  • ``Detecting Unsafe Error Recovery Schedules," with J. Wong, IEEE Transactions on Software Engineering, vol. 18, no. 8, Aug, 1992. Postscript.
  • ``Validating System-Level Error Recovery for Spacecraft," with J. Wong, Proceedings of the AIAA Computers in Aerospace VII Conference, Oct, 1991. Postscript.