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
Flight Software Systems Engineering and Architectures Group
Jet Propulsion Laboratory
MS 301-225
Pasadena, CA 91109-8099
robyn.r.lutz@jpl.nasa.gov

Professional Activities

  • Editorial Board, Requirements Engineering Journal
  • Editorial Board, Software and System Modeling Journal (SoSyM)
  • Associate Editor, IEEE Transactions on Software Engineering , 2002-2007
  • Program Committee, OOPSLA 2009 , Orlando, FL, Oct. 25-28, 2009.
  • Program Committee, 17th IEEE International Requirements Engineering Conference RE'09, Atlanta, Georgia, Aug. 31-Sept. 4, 2009.
  • Program Committee, 12th International Software Product Line Conference SPLC 2009 , San Francisco, CA, Aug. 25-28, 2009.
  • 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.
  • Portraits in Practice Track Chair, 29th International Conference on Software Engineering, ICSE 2007 , Minneapolis, MN, May 20-26, 2007.
  • Program Committee, 15th IEEE International Requirements Engineering Conference, RE'07, New Delhi, India, Oct. 15-19, 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.
  • 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.
  • J. Dehlinger and R. Lutz, "Gaia-PL: A Product-Line Engineering Approach for Efficiently Developing Multi-Agent Systems", submitted.
  • 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 , Vol. 17(1), pp. 109-138, 2008 pdf .
  • R. Lutz and A. Patterson-Hine, "Using Fault Modeling in Safety Cases", ISSRE 2008 , 271-276, pdf .
  • J. Dehlinger and R. Lutz, "Supporting requirements reuse in multi-agent system product line design and evolution", ICSM 2008 , 207-216, pdf .
  • R. Lutz, "Enabling Verifiable Conformance for Product Lines", SPLC 2008, 35-44, 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 .
  • H. Sun, M. Hauptman and R. Lutz, "Integrating Product-Line Fault Tree Analysis into AADL Models", HASE 2007, 15-22. pdf .
  • R. Lutz, A. Patterson-Hine, S. Nelson, C. Frost, D. Tal, and R. Harris, "Using Obstacle Analysis to Identify Contingency Requirements on an Unpiloted Aerial Vehicle", Requirements Engineering Journal , 12(1), Jan, 2007, pp. 41-54 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 .
  • R. Lutz, "Portraits in Practice", ICSE Companion 2007: 33-34, 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. Dehlinger and R. Lutz, "PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool", Automated Software Engineering 13(1): 169-193, 2006, pdf .
  • 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. 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 .
  • N. Stakhanova, S. Basu, R. Lutz and J. Wong, "Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring", DASC 2006, 333-340.
  • 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 .
  • 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.
  • 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 .
  • "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.