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.
|