Detecting Unsafe Error Recovery Schedules. - Robyn R. Lutz; Johnny S. Wong (IEEE Trans. Software Eng., 1992)

Analyzing software requirements errors in safety-critical, embedded systems. - Robyn R. Lutz (RE, 1993)

Experience Report: Contributions of SFMEA to Requirements Analysis. - Robyn R. Lutz; Robert M. Woodhouse (ICRE, 1996)

Targeting safety-related errors during software requirements analysis. - Robyn R. Lutz (J. Syst. Softw., 1996)

Requirements Analysis Using Forward and backward Search. - Robyn R. Lutz; Robert M. Woodhouse (Ann. Softw. Eng., 1997)

Safety Analysis of Requirements for a Product Family. - Robyn R. Lutz; Guy G. Helmer; Michelle M. Moseman; David E. Statezni; Stephen R. Tockey (ICRE, 1998)

Experiences Using Lightweight Formal Methods for Requirements Modeling. - Steve M. Easterbrook; Robyn R. Lutz; Richard Covington; John Kelly; Yoko Ampo; David Hamilton (IEEE Trans. Software Eng., 1998)

Applying adaptive safety analysis techniques [for embedded software]. - Robyn R. Lutz; Hui-Yin Shaw (ISSRE, 1999)

Toward Safe Reuse of Product Family Specifications. - Robyn R. Lutz (SSR, 1999)

Using Immersive Virtual Environments for Certification. - Carolina Cruz-Neira; Robyn R. Lutz (IEEE Softw., 1999)

Four areas of overlapping interest. - Robyn R. Lutz (HASE, 2000)

An approach to architectural analysis of product lines. - Gerald C. Gannod; Robyn R. Lutz (ICSE, 2000)

Software engineering for safety: a roadmap. - Robyn R. Lutz (ICSE - Future of SE Track, 2000)

Extending the product family approach to support safe reuse. - Robyn R. Lutz (J. Syst. Softw., 2000)

Evolution of Safety-Critical Requirements Post-Launch. - Robyn R. Lutz; Ines Carmen Mikulski (RE, 2001)

Fault Contribution Trees for Product Families. - Dingding Lu; Robyn R. Lutz (ISSRE, 2002)

A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System. - Guy G. Helmer; Johnny S. Wong; Mark Slagell; Vasant G. Honavar; Les Miller; Robyn R. Lutz (Requir. Eng., 2002)

Requirements Discovery during the Testing of Safety-Critical Software. - Robyn R. Lutz; Ines Carmen Mikulski (ICSE, 2003)

Resolving Requirements Discovery in Testing and Operations. - Robyn R. Lutz; Ines Carmen Mikulski (RE, 2003)

Better Analysis of Defect Data at NASA. - Tim Menzies; Robyn R. Lutz; Ines Carmen Mikulski (SEKE, 2003)

Analysis of a software product line architecture: an experience report. - Robyn R. Lutz; Gerald C. Gannod (J. Syst. Softw., 2003)

Operational anomalies as a cause of safety-critical requirements evolution. - Robyn R. Lutz; Ines Carmen Mikulski (J. Syst. Softw., 2003)

Software Fault Tree Analysis for Product Lines. - Josh Dehlinger; Robyn R. Lutz (HASE, 2004)

Ongoing Requirements Discovery in High-Integrity Systems. - Robyn R. Lutz; Ines Carmen Mikulski (IEEE Softw., 2004)

Experience with the architectural design of a modest product family. - Robert W. Schwanke; Robyn R. Lutz (Softw. Pract. Exp., 2004)

Empirical Analysis of Safety-Critical Anomalies During Operations. - Robyn R. Lutz; Ines Carmen Mikulski (IEEE Trans. Software Eng., 2004)

Mapping concern space to software architecture: a connector-based approach. - Jing (Janet) Liu; Robyn R. Lutz; Jeffrey M. Thompson (MACS@ICSE, 2005)

Identifying Contingency Requirements Using Obstacle Analysis. - Robyn R. Lutz; Stacy Nelson; Ann Patterson-Hine; Chad R. Frost; Doron Tal (RE, 2005)

Using Occurrence Properties of Defect Report Data to Improve Requirements. - Kimberly S. Wasson; Kendra N. Schmid; Robyn R. Lutz; John C. Knight (RE, 2005)

A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems. - Josh Dehlinger; Robyn R. Lutz (SELMAS (LNCS), 2005)

Tool-Supported Verification of Product Line Requirements. - Prasanna Padmanabhan; Robyn R. Lutz (Autom. Softw. Eng., 2005)

Bi-directional safety analysis of product lines. - Qian Feng; Robyn R. Lutz (J. Syst. Softw., 2005)

A product-line requirements approach to safe reuse in multi-agent systems. - Josh Dehlinger; Robyn R. Lutz (ACM SIGSOFT Softw. Eng. Notes, 2005)

Mapping concern space to software architecture: a connector-based approach. - Jing Liu; Robyn R. Lutz; Jeffrey M. Thompson (ACM SIGSOFT Softw. Eng. Notes, 2005)

Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. - Natalia Stakhanova; Samik Basu 001; Robyn R. Lutz; Johnny Wong 001 (DASC, 2006)

Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. - Jyotishman Pathak; Samik Basu 001; Robyn R. Lutz; Vasant G. Honavar (ECOWS, 2006)

MoSCoE: A Framework for Modeling Web Service Composition and Execution. - Jyotishman Pathak; Samik Basu 001; Robyn R. Lutz; Vasant G. Honavar (ICDE Workshops, 2006)

Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. - Jyotishman Pathak; Samik Basu 001; Robyn R. Lutz; Vasant G. Honavar (ICTAI, 2006)

Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems. - Robyn R. Lutz; Ann Patterson-Hine; Anupa Bajwa (ISSRE, 2006)

PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. - Josh Dehlinger; Robyn R. Lutz (Autom. Softw. Eng., 2006)

Towards the automatic generation of mobile agents for distributed intrusion detection system. - Yanxin Wang; Smruti Ranjan Behera; Johnny Wong 001; Guy G. Helmer; Vasant G. Honavar; Les Miller; Robyn R. Lutz; Mark Slagell (J. Syst. Softw., 2006)

State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines. - Jing Liu; Josh Dehlinger; Hongyu Sun 001; Robyn R. Lutz (ECBS, 2007)

Integrating Product-Line Fault Tree Analysis into AADL Models. - Hongyu Sun 001; Miriam Hauptman; Robyn R. Lutz (HASE, 2007)

DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees. - Josh Dehlinger; Meredith Humphrey; Lada Suvorov; Prasanna Padmanabhan; Robyn R. Lutz (ICSE Companion, 2007)

Portraits in Practice. - Robyn R. Lutz (ICSE Companion, 2007)

Safety analysis of software product lines using state-based modeling. - Jing Liu; Josh Dehlinger; Robyn R. Lutz (J. Syst. Softw., 2007)

Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle. - Robyn R. Lutz; Ann Patterson-Hine; Stacy Nelson; Chad R. Frost; Doron Tal; Robert Harris (Requir. Eng., 2007)

Supporting requirements reuse in multi-agent system product line design and evolution. - Josh Dehlinger; Robyn R. Lutz (ICSM, 2008)

Assessing the Effect of Software Failures on Trust Assumptions. - Qian Feng; Robyn R. Lutz (ISSRE, 2008)

Using Fault Modeling in Safety Cases. - Robyn R. Lutz; Ann Patterson-Hine (ISSRE, 2008)

Enabling Verifiable Conformance for Product Lines. - Robyn R. Lutz (SPLC, 2008)

MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. - Jyotishman Pathak; Samik Basu 001; Robyn R. Lutz; Vasant G. Honavar (Int. J. Artif. Intell. Tools, 2008)

Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System. - Josh Dehlinger; Robyn R. Lutz (ICSR, 2009)

Using Defect Reports to Build Requirements Knowledge in Product Lines. - Robyn R. Lutz; Nicolas Rouquette (MARK@RE, 2009)

Product-line-based requirements customization for web service compositions. - Hongyu Sun 001; Robyn R. Lutz; Samik Basu 001 (SPLC, 2009)

Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. - Simona Bernardi 001; José Merseguer; Robyn R. Lutz (EDCC, 2010)

Automata-Based Verification of Security Requirements of Composite Web Services. - Hongyu Sun 001; Samik Basu 001; Vasant G. Honavar; Robyn R. Lutz (ISSRE, 2010)

Evidence-based software production. - James Kirby Jr.; David M. Weiss 001; Robyn R. Lutz (FoSER, 2010)

Software Product Line Engineering for Long-Lived, Sustainable Systems. - Robyn R. Lutz; David M. Weiss 001; Sandeep Krishnan; Jingwei Yang (SPLC, 2010)

Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. - Dinanath Nadkarni; Samik Basu 001; Vasant G. Honavar; Robyn R. Lutz (WS-FM, 2010)

Using model-based assurance to strengthen diagnostic procedures. - Robyn R. Lutz; Jeremy Johnson; Ann Patterson-Hine (ASE, 2011)

Empirical evaluation of reliability improvement in an evolving software product line. - Sandeep Krishnan; Robyn R. Lutz; Katerina Goseva-Popstojanova (MSR, 2011)

Are change metrics good predictors for an evolving software product line? - Sandeep Krishnan; Chris Strasburg; Robyn R. Lutz; Katerina Goseva-Popstojanova (PROMISE, 2011)

Compositional model checking of software product lines using variation point obligations. - Jing Liu; Samik Basu 001; Robyn R. Lutz (Autom. Softw. Eng., 2011)

Software Engineering for Space Exploration. - Robyn R. Lutz (Computer, 2011)

Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems. - Josh Dehlinger; Robyn R. Lutz (ACM Trans. Softw. Eng. Methodol., 2011)

Engineering and verifying requirements for programmable self-assembling nanomachines. - Robyn R. Lutz; Jack H. Lutz; James I. Lathrop; Titus H. Klinge; Eric R. Henderson; Divita Mathur; Dalia Abo Sheasha (ICSE, 2012)

An Empirical Study of Pre-release Software Faults in an Industrial Product Line. - Thomas R. Devine; Katerina Goseva-Popstojanova; Sandeep Krishnan; Robyn R. Lutz; J. Jenny Li 001 (ICST, 2012)

Requirements analysis for a product family of DNA nanodevices. - Robyn R. Lutz; Jack H. Lutz; James I. Lathrop; Titus H. Klinge; Divita Mathur; Donald M. Stull; Taylor Bergquist; Eric R. Henderson (RE, 2012)

Trace Queries for Safety Requirements in High Assurance Systems. - Jane Cleland-Huang; Mats Per Erik Heimdahl; Jane Huffman Hayes; Robyn R. Lutz; Patrick Maeder (REFSQ, 2012)

Mining Requirements Knowledge from Operational Experience. - Robyn R. Lutz; Milton Lavin; J. Lux; K. Peters; Nicolas F. Rouquette (Managing Requirements Knowledge, 2013)

Moving Toward Evidence-Based Software Production. - David M. Weiss 001; James Kirby; Robyn R. Lutz (Perspectives on the Future of Software Engineering, 2013)

Predicting failure-proneness in an evolving software product line. - Sandeep Krishnan; Chris Strasburg; Robyn R. Lutz; Katerina Goseva-Popstojanova; Karin S. Dorman (Inf. Softw. Technol., 2013)

Automated requirements analysis for a molecular watchdog timer. - Samuel J. Ellis; Eric R. Henderson; Titus H. Klinge; James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Divita Mathur; Andrew S. Miner (ASE, 2014)

The Role of Environmental Assumptions in Failures of DNA Nanosystems. - Thein Than Tun; Robyn R. Lutz; Brian Nakayama; Yijun Yu; Divita Mathur; Bashar Nuseibeh (COUFLESS@ICSE, 2015)

Introduction to the RE'14 special issue. - Robyn R. Lutz (Requir. Eng., 2015)

Software engineering for molecular programming. - Robyn R. Lutz; Jack H. Lutz (ICSE (Companion Volume), 2016)

Requirements for Molecular Programmed Nanosystems (Keynote). - Robyn R. Lutz (RE, 2016)

Assessment and cross-product prediction of software product line quality: accounting for reuse across products, over multiple releases. - Thomas R. Devine; Katerina Goseva-Popstojanova; Sandeep Krishnan; Robyn R. Lutz (Autom. Softw. Eng., 2016)

Diagnosing assumption problems in safety-critical products. - Mona Rahimi; Wandi Xiong; Jane Cleland-Huang; Robyn R. Lutz (ASE, 2017)

State logging in chemical reaction networks. - Samuel J. Ellis; James I. Lathrop; Robyn R. Lutz (NANOCOM, 2017)

What Requirements Knowledge Do Developers Need to Manage Change in Safety-Critical Systems? - Micayla Goodrum; Jane Cleland-Huang; Robyn R. Lutz; Jinghui Cheng; Ronald A. Metoyer (RE, 2017)

RE at 50, with a Focus on the Last 25 Years. - Robyn R. Lutz (RE, 2017)

Runtime Fault Detection in Programmed Molecular Systems. - Samuel J. Ellis; Titus H. Klinge; James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Andrew S. Miner (CoRR, 2017)

The Risk of Overly Strict Requirements. - Robyn R. Lutz; Jane Cleland-Huang (IEEE Softw., 2017)

Interlocking safety cases for unmanned autonomous systems in urban environments. - Michael Vierhauser; Sean Bayley; Jane Wyngaard; Jinghui Cheng; Wandi Xiong; Robyn R. Lutz; Joshua Huseman; Jane Cleland-Huang (ICSE (Companion Volume), 2018)

The Role of Similarity in Detecting Feature Interaction in Software Product Lines. - Seyedehzahra Khoshmanesh; Robyn R. Lutz (ISSRE Workshops, 2018)

Probing the Security of DNA Origami. - Chase Koehler; Divita Mathur; Eric R. Henderson; Robyn R. Lutz (ISSRE Workshops, 2018)

Safe-AR: Reducing Risk While Augmenting Reality. - Robyn R. Lutz (ISSRE, 2018)

Writing Requirements for Molecular Programs. - Jack H. Lutz; Robyn R. Lutz (RE, 2018)

Leveraging artifact trees to evolve and reuse safety cases. - Ankit Agrawal 002; Seyedehzahra Khoshmanesh; Michael Vierhauser; Mona Rahimi; Jane Cleland-Huang; Robyn R. Lutz (ICSE, 2019)

Robustness and games against nature in molecular programming. - Jack H. Lutz; Neil Lutz; Robyn R. Lutz; Matthew R. Riley (ICSE (NIER), 2019)

Leveraging Feature Similarity for Earlier Detection of Unwanted Feature Interactions in Evolving Software Product Lines. - Seyedehzahra Khoshmanesh; Robyn R. Lutz (SISAP, 2019)

Feature Similarity: A Method to Detect Unwanted Feature Interactions Earlier in Software Product Lines. - Seyedehzahra Khoshmanesh; Robyn R. Lutz (SISAP, 2019)

Quorum Sensing and Verification in Chemical Reaction Networks. - James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Hugh D. Potter; Matthew R. Riley (CoRR, 2019)

Runtime Fault Detection in Programmed Molecular Systems. - Samuel J. Ellis; Titus H. Klinge; James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Andrew S. Miner; Hugh D. Potter (ACM Trans. Softw. Eng. Methodol., 2019)

Does Link Prediction Help Find Feature Interactions in Software Product Lines? - Seyedehzahra Khoshmanesh; Robyn R. Lutz (AIRE@RE, 2020)

Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering. - Robyn R. Lutz; James I. Lathrop; Cameron Brecount; Kendal Gast; Kathryn Rohlfing; Joshua Wallin (REET@RE, 2020)

Does Link Prediction Help Detect Feature Interactions in Software Product Lines (SPLs)? - Seyedehzahra Khoshmanesh; Robyn R. Lutz (CoRR, 2020)

Designing safe programmed molecular systems (keynote). - Robyn R. Lutz (SPLASH (Companion), 2021)

Learning Feature Interactions With and Without Specifications. - Seyedehzahra Khoshmanesh; Tuba Yavuz; Robyn R. Lutz (CoRR, 2021)

Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces. - Michael Vierhauser; Sean Bayley; Jane Wyngaard; Wandi Xiong; Jinghui Cheng; Joshua Huseman; Robyn R. Lutz; Jane Cleland-Huang (IEEE Trans. Software Eng., 2021)

SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line. - James I. Lathrop; Robyn R. Lutz; Cameron Brecount; Hugh D. Potter; Kathryn Rohlfing; Jesse Slater; Joshua Wallin (RE, 2022)

Requirements Engineering for Safety-Critical Molecular Programs. - Robyn R. Lutz (RE, 2022)

The Untold Impact of Learning Approaches on Software Fault-Proneness Predictions. - Mohammad Jamil Ahmad; Katerina Goseva-Popstojanova; Robyn R. Lutz (CoRR, 2022)

Requirements Analysis of Variability Constraints in a Configurable Flight Software System. - Chin Khor; Robyn R. Lutz (RE, 2023)

Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations. - Usman Gohar; Michael C. Hunter; Agnieszka Marczak-Czajka; Robyn R. Lutz; Myra B. Cohen; Jane Cleland-Huang (ICSE (SEIS), 2024)

SynBioTrace: Integrating Safety and Security Artifacts to Build Assurance Cases for Synthetic Biology Applications. - Justin W. Firestone; Myra B. Cohen; Robyn R. Lutz (ISSRE (Workshops), 2024)

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases. - Usman Gohar; Michael C. Hunter; Robyn R. Lutz; Myra B. Cohen (ASE, 2024)

Generating Maximal Configurations and Their Variants Using Code Metrics. - Tuba Yavuz; Chin Khor; Ken Yihang Bai; Robyn R. Lutz (CoRR, 2024)

Population-induced phase transitions and the verification of chemical reaction networks. - James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Hugh D. Potter; Matthew R. Riley (Nat. Comput., 2024)

The untold impact of learning approaches on software fault-proneness predictions: an analysis of temporal aspects. - Mohammad Jamil Ahmad; Katerina Goseva-Popstojanova; Robyn R. Lutz (Empir. Softw. Eng., 2024)

Enhancing the requirements engineering of configurable systems by the ongoing use of variability models. - Chin Khor; Robyn R. Lutz (Requir. Eng., 2024)

A Taxonomy of Real-World Defeaters in Safety Assurance Cases. - Usman Gohar; Michael C. Hunter; Myra B. Cohen; Robyn R. Lutz (MO2RE, 2025)

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems. - Michael C. Hunter; Usman Gohar; Myra B. Cohen; Robyn R. Lutz; Jane Cleland-Huang (CoRR, 2025)