Robyn R. Lutz - Publications

Publications

Mohammad Jamil Ahmad, Katerina Goseva-Popstojanova, and Robyn Lutz, ``The Untold Impact of Learning Approaches on Software Fault-Proneness Predictions: An Analysis of Temporal Aspects," Empirical Software Engineering , 29(4), 2024, 10.1007/s10664-024-10454-8.
Chin Khor and Robyn Lutz, "Enhancing the requirements engineering of configurable systems by the ongoing use of variability models," Requirements Engineering, 29(3), pp. 303-328, 2024, 10.1007/S00766-024-00421-6.
Usman Gohar, Michael C. Hunter, Agnieszka Marczak-Czajka, Robyn R. Lutz, Myra B. Cohen, and Jane Cleland-Huang, "Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations," 46th International Conference on Software Engineering (ICSE 2024), April 14-20, 2024. 10.1145/3639475.3640103
Usman Gohar, Michael C. Hunter, Robyn R. Lutz, and Myra B. Cohen, "CoDefeater: Using LLMs To Find Defeaters in Assurance Cases," 39th IEEE/ACM International Conference on Automated Software Engineering (ASE) NIER , Oct. 27-Nov. 1, 2024.
Justin Firestone, Myra Cohen, and Robyn Lutz, "SynBioTrace: Integrating Safety and Security Artifacts to Build Assurance Cases for Synthetic Biology Applications," 9th International Workshop on Assurance for Software-intensive Systems (ASSURE), co-located with ISSRE , Oct. 28, 2024.
Jack H. Lutz and Robyn R. Lutz, "Reasoning As If," in Natasha Jonoska and Erik Winfree (eds.), Nanotechnology at 40 for the Next 40: A Tribute to Ned Seeman, Springer, 2023. 10.1007/978-981-19-9891-1_15
Chin Khor and Robyn Lutz, "Requirements Analysis of Variability Constraints in a Configurable Flight Software System," 31st IEEE International Requirements Engineering Conference (RE 2023), Sept. 4-8, 2023. 10.1109/RE57278.2023.00032
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, and Matthew R. Riley, "Population-induced phase transitions and the verification of chemical reaction networks," Natural Computing , 23(2), pp. 347-363, 2024, 10.1007/S11047-021-09877-9
Robyn Lutz, "Requirements Engineering for Safety-Critical Molecular Programs," 30th International IEEE Requirements Engineering Conference (RE 2022), Aug. 15-17, 2022.
James I. Lathrop, Robyn R. Lutz, Cameron Brecount, Hugh Potter, Kathryn Rohlfing, Jessie Slater and Joshua Wallin, "SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line," 30th International IEEE Requirements Engineering Conference (RE 2022), Aug. 15-17, 2022.
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, and Matthew R. Riley, "Population-induced phase transitions and the verification of chemical reaction networks," Proceedings of the 26th International Conference on DNA Computing and Molecular Programming (DNA 2020), Sept. 13-18, 2020, University of Oxford-virtual, Oxford, UK.
Seyedehzahra Khoshmanesh and Robyn Lutz, "Does Link Prediction Help Find Feature Interactions in Software Product Lines?" 7th International Workshop on Artificial Intelligence and Requirements Engineering (AIRE'20), at the 28th IEEE Requirements Engineering Conference (RE 2020), Zurich, Switzerland, Sept. 1, 2020.
Robyn Lutz, James Lathrop, Cameron Brecount, Kendal Gast, Kathryn Rohlfing and Joshua Wallin, "Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering," 10th International Workshop on Requirements Engineering Education and Training (REET20) at the 28th IEEE Requirements Engineering Conference (RE 2020), Zurich, Switzerland, Aug. 31, 2020.
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner and Hugh D. Potter, "Runtime Fault Detection in Programmed Molecular Systems," ACM Transactions on Software Engineering and Methodology (TOSEM), 28 (2), March, 2019, Article 6, 20 pages. 10.1145/3295740 pdf. arXiv
M. Vierhauser, S. Bayley, J. Wyngaard, W. Xiong, J. Cheng, J. Huseman, R. Lutz and J. Cleland-Huang, "Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces," IEEE Transactions on Software Engineering (TSE). 10.1109/TSE.2019.2907595
A. Agrawal, S. Khoshmanesh, M. Vierhauser, M. Rahimi, J. Cleland-Huang and R. Lutz, "Leveraging Artifact Trees to Evolve and Reuse Safety Cases," 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019), Montreal, Canada, May 25-31, 2019. 10.1109/ICSE.2019.00124
J. Lutz, N. Lutz, R. Lutz and M. Riley, "Robustness and Games Against Nature in Molecular Programming," 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019), Montreal, Canada, May 25-31, 2019. 10.1109/ICSE-NIER.2019.00025
Seyedehzahra Khoshmanesh and Robyn R. Lutz, “Feature Similarity: A Method to Detect Unwanted Feature Interactions Earlier in Software Product Lines,” 12th International Conference on Similarity Search and Applications (SISAP 2019), Newark, NJ, USA, Oct. 2-4, 2019. Springer, Cham, LNCS, vol 11807, ed. G. Amato, C. Gennaro, V. Oria, M. Radovanović, pp. 356-361. 10.1007/978-3-030-32047-8_32
R. Lutz, "Software Engineering for Safety in Programmed Molecular Systems (keynote abstract)," 37th Int'l Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), Västerås, Sweden, Sept. 18-21, 2018, LNCS vol. 11093, ed. Barbara Gallina, Amund Skavhaug, and Friedemann Bitsch, Springer, 2018. 10.1007/978-3-319-99130-6
R. Lutz, "Safe-AR: Reducing Risk While Augmenting Reality," 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018)),Memphis, TN, Oct. 15-18, 2018, pp. 70-75. 10.1109/ISSRE.2018.00018
S. Khoshmanesh and R. Lutz, "The Role of Similarity in Detecting Feature Interaction in Software Product Lines," 10th Int'l Workshop on Software Aging and Rejuvenation (WoSAR),Memphis, TN, Oct, 2018, pp. 286-292. 10.1109/ISSREW.2018.00020
C. Koehler, D. Mathur, E. Henderson and R. Lutz, "Probing the Security of DNA Origami (Fast Abstract Track)," 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), Memphis, TN, Oct. 15-18, 2018, pp. 138-139. 10.1109/ISSREW.2018.00-14
J. Lutz and R. Lutz, "Writing Requirements for Molecular Programs," 26th IEEE Int'l Conference on Requirements Engineering (RE'18)), Banff, Canada, Aug. 20-24, 2018, p. 512. 10.1109/RE.2018.00011
M. Vierhauser, S. Bayley, J. Wyngaard, J. Cheng, W. Xiong, R. Lutz, J. Huseman, J. Cleland-Huang, "Interlocking Safety Cases for Unmanned Autonomous Systems in Urban Environments (Poster abstract)," 40th Int'l Conf on Software Engineering (ICSE 2018), Supplemental Vol., Gothenburg, Sweden, May 27-June 3, 2018, pp. 416-417. 10.1145/3183440.3195035.
Mona Rahimi, Wandi Xiong, Jane Cleland-Huang and Robyn Lutz, "Diagnosing Assumption-Related Problems in Safety-Critical Product Lines," 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), Urbana-Champaign, IL, USA, Oct. 30-Nov. 3, 2017. 10.1109/ASE.2017.8115659
Samuel Ellis, James Lathrop and Robyn Lutz, "State Logging in Chemical Reaction Networks," 4th ACM International Conference on Nanoscale Computing and Communication (NanoCom), Washington, D.C., Sept. 27-29, 2017. 10.1145/3109453.3109456
Robyn Lutz and Jane Cleland-Huang, "The Risk of Overly Strict Requirements," IEEE Software, 34(2), 2017, pp. 26-29. 10.1109/MS.2017.53
Micayla Goodrum, Jinghui Cheng, Ronald Metoyer, Jane Cleland-Huang and Robyn Lutz, "What Requirements Knowledge Do Developers Need to Manage Change in Safety-Critical Systems?" Proc. 25th IEEE International Conference on Requirements Engineering (RE'17), Lisbon, Portugal, Sept. 4-8, 2017. 10.1109/RE.2017.65
Robyn Lutz, "RE at 50, with a focus on the last 25 years," Proc. 25th IEEE International Conference on Requirements Engineering (RE'17), Lisbon, Portugal, Sept. 4-8, 2017. 10.1109/RE.2017.50
Robyn Lutz, "Requirements for molecular programmed nanosystems (Keynote)," Proc. 24th IEEE International Conference on Requirements Engineering (RE'16), Beijing, China, Sept. 12-16, 2016. 10.1109/RE.2016.23
Thomas Devine, Katerina Goseva-Popstajanova, Sandeep Krishnan, and Robyn R. Lutz, "Assessment and cross-product prediction of SPL quality: accounting for reuse across products, over multiple releases," Automated Software Engineering Journal, 23(2), Springer, June, 2016, pp. 253-302.
Robyn Lutz and Jack Lutz, "Software engineering for molecular programming,"ICSE (Companion Volume), Austin, TX, May, 2016, pp. 888-889.
Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, and Andrew S. Miner, "Automated Requirements Analysis for a Molecular Watchdog Timer," 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, Sept. 15-19, 2014, pp. 767-778. pdf. IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice.
Thein Tun, Robyn Lutz, Brian Nakayama, Yijun Yu, Divita Mathur, and Bashar Nuseibeh, "The role of environmental assumptions in failures of DNA nanosystems," Workshop on Complex Faults and Failures in Large Software Systems (COUFLESS), co-located with ICSE 2015, Firenze, Italy, May 24, 2015, pdf.
S. Krishnan, C. Strasburg, R. Lutz, K. Goseva-Popstojanova, and K. Dorman, "Predicting Failure-Proneness in an Evolving Software Product Line," Information and Software Technology Journal, 55(8), Elsevier, Aug 2013, pp.1479-1495. pdf
R. Lutz, M. Lavin, J. Lux, K. Peters, and N. Rouquette, "Mining Requirements Knowledge from Operational Experience," in Managing Requirements Knowledge, Ed. W. Maalej and A. K. Thurimella, Springer, 2013, pp. 49-73. pdf
D. Weiss, J. Kirby, and R. Lutz, "Moving toward Evidence-based Software Production," in Perspectives on the Future of Software Engineering, Ed. J. Munch and K. Schmid, Springer, 2013, pp. 275-298. pdf
R. Lutz, J. Lutz, J. Lathrop, T. Klinge, D. Mathur, D.M. Stull, T. Bergquist and E. Henderson, "Requirements Analysis for a Product Family of DNA Nanodevices," 20th IEEE International Requirements Engineering Conference (RE 2012), Chicago, IL, Sept. 24-28, 2012. pdf
R. Lutz, J. Lutz, J. Lathrop, T. Klinge, E. Henderson, D. Mathur and D. Abo Sheasha, "Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines," International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9, 2012. pdf
J. Cleland-Huang, M. Heimdahl, J. Huffman-Hayes, R. Lutz and P. Mader, "Trace Queries for Managing Safety Requirements in High Assurance Systems," 18th Int'l Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ), Essen, Germany, March 19-22, 2012. pdf
T. Devine, K. Goseva-Popstojanova, S. Krishnan, R. Lutz and J. Li, "An Empirical Study of Software Pre-release Faults in an Industrial Product Line," 5th IEEE Int'l Conference on Software Testing, Verification and Validation (ICST), Montreal, Canada, April 17-21, 2012. pdf
J. Dehlinger and R. Lutz, "Gaia-PL: A Product-Line Engineering Approach for Efficiently Designing Multi-Agent Systems," ACM Transactions on Software Engineering and Methodology (TOSEM), 20(4):17, 2011. pdf
R. Lutz, "Software Engineering for Spacecraft Exploration," IEEE Computer, 44(10):41-46 (2011). pdf
J. Liu, S. Basu, and R. Lutz, "Compositional Model Checking of Software Product Lines Using Variation Point Obligations," Journal of Automated Software Engineering, Vol. 18 (1), pp. 39-76, 2011. pdf
S. Krishnan, C. Strasburg, R. Lutz and K. Goseva-Popstojanova, "Are Change Metrics Good Predictors for an Evolving Software Product Line?", Proc. 7th Int'l Conf on Predictive Models in Software Engineering (PROMISE), Banff, Canada, Sept. 20-21, 2011. pdf
R. Lutz, J. Johnson and A. Patterson-Hine, "Using Model-based Assurance to Strengthen Diagnostic Procedures," 26th IEEE/ACM Int'l Conf on Automated Software Engineering (ASE), Lawrence, KS, Nov. 6-11. pdf
R. Lutz and A. Nikora, "Failure Assessment," in System Health Management: with Aerospace Applications, 1st ed., ed. S. B. Johnson, et al. John Wiley & Sons, 2011, Sept. 2011.
S. Krishnan, R. Lutz and K. Goseva-Popstojanova, "Empirical Evaluation of Reliability Improvement in an Evolving Software Product Line," MSR 2011, 8th Working Conference on Mining Software Repositories, Honolulu, HI, May 21-22, 2011. pdf
J. Kirby, D. Weiss and R. Lutz, "Evidence-based Software Production," 2010 FSE/SDP Workshop on the Future of Software Engineering Research, Santa Fe, NM, Nov. 7-8, 2010. pdf
H. Sun, S. Basu, R. Lutz and V. Honavar, "Automata-Based Verification of Security Requirements of Composite Web Services," 21st IEEE International Symposium on Software Reliability Engineering, San Jose, CA, Nov. 1-4, 2010. pdf
T. Kurtoglu, R. Lutz and M. Feather, "Model-Based Assurance of Diagnostic Procedures for Complex Systems," Annual Conference of the Prognostics and Health Management Society, Portland, OR, Oct. 10-16, 2010. pdf
R. Lutz, D. Weiss, S. Krishnan and J. Yang, "Software Product Line Engineering for Long-lived, Sustainable Systems," 14th International Software Product Line Conference (SPLC), Jeju Island, South Korea, Sept. 13-17, 2010. pdf
D. Nadkarni, S. Basu, V, Honavar and R. Lutz, "Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems," 7th International Workshop on Web Services and Formal Methods: Formal aspects of service oriented and cloud computing (WS-FM), Hoboken, New Jersey, Sept. 16-17, 2010. pdf
S. Bernardi, Jose Merseguer and R. Lutz, "Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile," Eighth European Dependable Computing Conference, Valencia, Spain, April 28-30, 2010. pdf
T. Kurtoglu, R. Lutz and A. Patterson-Hine, "Towards Verification of Operational Procedures using Auto-Generated Diagnostic Trees," Annual Conference of the Prognostics and Health Management Society, San Diego, CA, Sept. 27-Oct. 1, 2009. pdf
J. Dehlinger and R. Lutz, "Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System," 11th International Conference on Software Reuse (ICSR), Falls Church, VA, Sept. 27-30, 2009, pp. 160-169. pdf
R. Lutz and N. Rouquette, "Using Defect Reports to Build Requirements Knowledge in Product Lines," Second International Workshop on Managing Requirements Knowledge (MaRK09) in conjunction with the 17th IEEE International Requirements Engineering Conference, Atlanta, GA, Sept. 1, 2009. pdf
H. Sun, R. Lutz and S. Basu, "Product-Line-Based Requirements Customization for Web Service Compositions," 13th International Software Product Line Conference (SPLC), San Francisco, CA, Aug. 24-28, 2009. pdf
Kurtoglu T, R. Lutz and A. Patterson-Hine, "Using Auto-Generated Diagnostic Trees for Optimized Fault Handling," 1st International Workshop on Software Health Management (SHM) in conjunction with the Third IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, July 21, 2009.
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. ps
"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. ps
"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. ps
"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. ps
"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. ps
"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. ps
"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. ps
"Requirements Analysis Using Forward and Backward Search," with Robert M. Woodhouse, Annals of Software Engineering, Special Volume on Requirements Engineering , (3) 1997. ps
"Targeting Safety-Related Errors During Software Requirements Analysis," The Journal of Systems and Software, Vol. 34, Sept, 1996, pp. 223-230. ps
"Experience Report: Contributions of SFMEA to Requirements Analysis," with Robert M. Woodhouse, Second IEEE International Conference on Requirements Engineering, Apr 15-18, 1996. ps
"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. ps
"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. ps
"Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems," Proceedings of the IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, Jan, 1993. ps
"Constraint Checking During Error Recovery," with J. Wong, Proceedings of the NASA Technology 2002 Conference, Dec, 1992. ps
"Detecting Unsafe Error Recovery Schedules," with J. Wong, IEEE Transactions on Software Engineering, vol. 18, no. 8, Aug, 1992. ps
"Validating System-Level Error Recovery for Spacecraft," with J. Wong, Proceedings of the AIAA Computers in Aerospace VII Conference, Oct, 1991. ps

Robyn R. Lutz
Department of Computer Science
228 Atanasoff Hall
Iowa State University
Ames, Iowa, 50011-1041
Phone: (515) 294-3654 / fax: (515) 294-0258