Robyn R. Lutz

According to our database, Robyn R. Lutz authored at least 113 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enhancing the requirements engineering of configurable systems by the ongoing use of variability models.

Chin Khor, Robyn R. Lutz

Requir. Eng., September, 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., July, 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., June, 2024

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases.

Usman Gohar, Michael C. Hunter, Robyn R. Lutz, Myra B. Cohen

CoRR, 2024

Generating Maximal Configurations and Their Variants Using Code Metrics.

Tuba Yavuz, Chin Khor, Ken Yihang Bai, Robyn R. Lutz

CoRR, 2024

SynBioTrace: Integrating Safety and Security Artifacts to Build Assurance Cases for Synthetic Biology Applications.

Justin W. Firestone, Myra B. Cohen, Robyn R. Lutz

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

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

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Society, 2024

2023

Requirements Analysis of Variability Constraints in a Configurable Flight Software System.

Chin Khor, Robyn R. Lutz

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

2022

The Untold Impact of Learning Approaches on Software Fault-Proneness Predictions.

Mohammad Jamil Ahmad, Katerina Goseva-Popstojanova, Robyn R. Lutz

CoRR, 2022

Requirements Engineering for Safety-Critical Molecular Programs.

Robyn R. Lutz

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

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

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

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

Learning Feature Interactions With and Without Specifications.

Seyedehzahra Khoshmanesh, Tuba Yavuz, Robyn R. Lutz

CoRR, 2021

Designing safe programmed molecular systems (keynote).

Robyn R. Lutz

Proceedings of the SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17, 2021

2020

Does Link Prediction Help Detect Feature Interactions in Software Product Lines (SPLs)?

Seyedehzahra Khoshmanesh, Robyn R. Lutz

CoRR, 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

Proceedings of the 10th International Workshop on Requirements Engineering Education and Training, 2020

Does Link Prediction Help Find Feature Interactions in Software Product Lines?

Seyedehzahra Khoshmanesh, Robyn R. Lutz

Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020

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

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

Feature Similarity: A Method to Detect Unwanted Feature Interactions Earlier in Software Product Lines.

Seyedehzahra Khoshmanesh, Robyn R. Lutz

Proceedings of the Similarity Search and Applications - 12th International Conference, 2019

Leveraging Feature Similarity for Earlier Detection of Unwanted Feature Interactions in Evolving Software Product Lines.

Seyedehzahra Khoshmanesh, Robyn R. Lutz

Proceedings of the Similarity Search and Applications - 12th International Conference, 2019

Robustness and games against nature in molecular programming.

Jack H. Lutz, Neil Lutz, Robyn R. Lutz, Matthew R. Riley

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Leveraging artifact trees to evolve and reuse safety cases.

Ankit Agrawal, Seyedehzahra Khoshmanesh, Michael Vierhauser, Mona Rahimi, Jane Cleland-Huang, Robyn R. Lutz

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Writing Requirements for Molecular Programs.

Jack H. Lutz, Robyn R. Lutz

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Safe-AR: Reducing Risk While Augmenting Reality.

Robyn R. Lutz

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Probing the Security of DNA Origami.

Chase Koehler, Divita Mathur, Eric R. Henderson, Robyn R. Lutz

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

The Role of Similarity in Detecting Feature Interaction in Software Product Lines.

Seyedehzahra Khoshmanesh, Robyn R. Lutz

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

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

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

The Risk of Overly Strict Requirements.

Robyn R. Lutz, Jane Cleland-Huang

IEEE Softw., 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

RE at 50, with a Focus on the Last 25 Years.

Robyn R. Lutz

Proceedings of the 25th IEEE International Requirements Engineering Conference, 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

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

State logging in chemical reaction networks.

Samuel J. Ellis, James I. Lathrop, Robyn R. Lutz

Proceedings of the 4th ACM International Conference on Nanoscale Computing and Communication, 2017

Diagnosing assumption problems in safety-critical products.

Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, Robyn R. Lutz

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

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

Requirements for Molecular Programmed Nanosystems (Keynote).

Robyn R. Lutz

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Software engineering for molecular programming.

Robyn R. Lutz, Jack H. Lutz

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Introduction to the RE'14 special issue.

Robyn R. Lutz

Requir. Eng., 2015

The Role of Environmental Assumptions in Failures of DNA Nanosystems.

Thein Than Tun, Robyn R. Lutz, Brian Nakayama, Yijun Yu, Divita Mathur, Bashar Nuseibeh

Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015

2014

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

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

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

Moving Toward Evidence-Based Software Production.

David M. Weiss, James Kirby, Robyn R. Lutz

Proceedings of the Perspectives on the Future of Software Engineering, 2013

Mining Requirements Knowledge from Operational Experience.

Robyn R. Lutz, Milton Lavin, J. Lux, K. Peters, Nicolas F. Rouquette

Proceedings of the Managing Requirements Knowledge., 2013

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

Proceedings of the Requirements Engineering: Foundation for Software Quality, 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

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 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

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

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

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems.

Josh Dehlinger, Robyn R. Lutz

ACM Trans. Softw. Eng. Methodol., 2011

Software Engineering for Space Exploration.

Robyn R. Lutz

Computer, 2011

Compositional model checking of software product lines using variation point obligations.

Jing Liu, Samik Basu, Robyn R. Lutz

Autom. Softw. Eng., 2011

Are change metrics good predictors for an evolving software product line?

Sandeep Krishnan, Chris Strasburg, Robyn R. Lutz, Katerina Goseva-Popstojanova

Proceedings of the 7th International Conference on Predictive Models in Software Engineering, 2011

Empirical evaluation of reliability improvement in an evolving software product line.

Sandeep Krishnan, Robyn R. Lutz, Katerina Goseva-Popstojanova

Proceedings of the 8th International Working Conference on Mining Software Repositories, 2011

Using model-based assurance to strengthen diagnostic procedures.

Robyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems.

Dinanath Nadkarni, Samik Basu, Vasant G. Honavar, Robyn R. Lutz

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Software Product Line Engineering for Long-Lived, Sustainable Systems.

Robyn R. Lutz, David M. Weiss, Sandeep Krishnan, Jingwei Yang

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Evidence-based software production.

James Kirby Jr., David M. Weiss, Robyn R. Lutz

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Automata-Based Verification of Security Requirements of Composite Web Services.

Hongyu Sun, Samik Basu, Vasant G. Honavar, Robyn R. Lutz

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.

Simona Bernardi, José Merseguer, Robyn R. Lutz

Proceedings of the Eighth European Dependable Computing Conference, 2010

2009

Product-line-based requirements customization for web service compositions.

Hongyu Sun, Robyn R. Lutz, Samik Basu

Proceedings of the Software Product Lines, 13th International Conference, 2009

Using Defect Reports to Build Requirements Knowledge in Product Lines.

Robyn R. Lutz, Nicolas Rouquette

Proceedings of the Second International Workshop on Managing Requirements Knowledge, 2009

Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System.

Josh Dehlinger, Robyn R. Lutz

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008

MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications.

Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar

Int. J. Artif. Intell. Tools, 2008

Enabling Verifiable Conformance for Product Lines.

Robyn R. Lutz

Proceedings of the Software Product Lines, 12th International Conference, 2008

Using Fault Modeling in Safety Cases.

Robyn R. Lutz, Ann Patterson-Hine

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Assessing the Effect of Software Failures on Trust Assumptions.

Qian Feng, Robyn R. Lutz

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Supporting requirements reuse in multi-agent system product line design and evolution.

Josh Dehlinger, Robyn R. Lutz

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

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

Safety analysis of software product lines using state-based modeling.

Jing Liu, Josh Dehlinger, Robyn R. Lutz

J. Syst. Softw., 2007

Portraits in Practice.

Robyn R. Lutz

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 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

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Integrating Product-Line Fault Tree Analysis into AADL Models.

Hongyu Sun, Miriam Hauptman, Robyn R. Lutz

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.

Jing Liu, Josh Dehlinger, Hongyu Sun, Robyn R. Lutz

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Towards the automatic generation of mobile agents for distributed intrusion detection system.

Yanxin Wang, Smruti Ranjan Behera, Johnny Wong, Guy G. Helmer, Vasant G. Honavar, Les Miller, Robyn R. Lutz, Mark Slagell

J. Syst. Softw., 2006

PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.

Josh Dehlinger, Robyn R. Lutz

Autom. Softw. Eng., 2006

Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems.

Robyn R. Lutz, Ann Patterson-Hine, Anupa Bajwa

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications.

Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

MoSCoE: A Framework for Modeling Web Service Composition and Execution.

Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar

Proceedings of the 22nd International Conference on Data Engineering Workshops, 2006

Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach.

Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant G. Honavar

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring.

Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong

Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

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

A product-line requirements approach to safe reuse in multi-agent systems.

Josh Dehlinger, Robyn R. Lutz

ACM SIGSOFT Softw. Eng. Notes, 2005

Bi-directional safety analysis of product lines.

Qian Feng, Robyn R. Lutz

J. Syst. Softw., 2005

Tool-Supported Verification of Product Line Requirements.

Prasanna Padmanabhan, Robyn R. Lutz

Autom. Softw. Eng., 2005

A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems.

Josh Dehlinger, Robyn R. Lutz

Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Using Occurrence Properties of Defect Report Data to Improve Requirements.

Kimberly S. Wasson, Kendra N. Schmid, Robyn R. Lutz, John C. Knight

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Identifying Contingency Requirements Using Obstacle Analysis.

Robyn R. Lutz, Stacy Nelson, Ann Patterson-Hine, Chad R. Frost, Doron Tal

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Mapping concern space to software architecture: a connector-based approach.

Jing (Janet) Liu, Robyn R. Lutz, Jeffrey M. Thompson

Proceedings of the 2005 Workshop on Modeling and Analysis of Concerns in Software, 2005

2004

Empirical Analysis of Safety-Critical Anomalies During Operations.

Robyn R. Lutz, Ines Carmen Mikulski

IEEE Trans. Software Eng., 2004

Experience with the architectural design of a modest product family.

Robert W. Schwanke, Robyn R. Lutz

Softw. Pract. Exp., 2004

Ongoing Requirements Discovery in High-Integrity Systems.

Robyn R. Lutz, Ines Carmen Mikulski

IEEE Softw., 2004

Software Fault Tree Analysis for Product Lines.

Josh Dehlinger, Robyn R. Lutz

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

Operational anomalies as a cause of safety-critical requirements evolution.

Robyn R. Lutz, Ines Carmen Mikulski

J. Syst. Softw., 2003

Analysis of a software product line architecture: an experience report.

Robyn R. Lutz, Gerald C. Gannod

J. Syst. Softw., 2003

Better Analysis of Defect Data at NASA.

Tim Menzies, Robyn R. Lutz, Ines Carmen Mikulski

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Resolving Requirements Discovery in Testing and Operations.

Robyn R. Lutz, Ines Carmen Mikulski

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Requirements Discovery during the Testing of Safety-Critical Software.

Robyn R. Lutz, Ines Carmen Mikulski

Proceedings of the 25th International Conference on Software Engineering, 2003

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

Fault Contribution Trees for Product Families.

Dingding Lu, Robyn R. Lutz

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001

Evolution of Safety-Critical Requirements Post-Launch.

Robyn R. Lutz, Ines Carmen Mikulski

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

2000

Extending the product family approach to support safe reuse.

Robyn R. Lutz

J. Syst. Softw., 2000

Software engineering for safety: a roadmap.

Robyn R. Lutz

Proceedings of the 22nd International Conference on on Software Engineering, 2000

An approach to architectural analysis of product lines.

Gerald C. Gannod, Robyn R. Lutz

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Four areas of overlapping interest.

Robyn R. Lutz

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999

Using Immersive Virtual Environments for Certification.

Carolina Cruz-Neira, Robyn R. Lutz

IEEE Softw., 1999

Toward Safe Reuse of Product Family Specifications.

Robyn R. Lutz

Proceedings of the Fifth ACM SIGSOFT Symposium on Software Reusability, 1999

Applying adaptive safety analysis techniques [for embedded software].

Robyn R. Lutz, Hui-Yin Shaw

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

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

Safety Analysis of Requirements for a Product Family.

Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman, David E. Statezni, Stephen R. Tockey

Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

1997

Requirements Analysis Using Forward and backward Search.

Robyn R. Lutz, Robert M. Woodhouse

Ann. Softw. Eng., 1997

1996

Targeting safety-related errors during software requirements analysis.

Robyn R. Lutz

J. Syst. Softw., 1996

Experience Report: Contributions of SFMEA to Requirements Analysis.

Robyn R. Lutz, Robert M. Woodhouse

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1993

Analyzing software requirements errors in safety-critical, embedded systems.

Robyn R. Lutz

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

1992

Detecting Unsafe Error Recovery Schedules.

Robyn R. Lutz, Johnny S. Wong

IEEE Trans. Software Eng., 1992